fix broken quoting in writeq/1 (#1498)

This commit is contained in:
Mark Thom
2022-05-31 18:12:19 -06:00
parent 4b7c2ba6c8
commit 5e1faeb5d2

View File

@@ -1102,11 +1102,12 @@ impl<'a, Outputter: HCValueOutputter> HCPrinter<'a, Outputter> {
let iter = HeapPStrIter::new(self.iter.heap, focus); let iter = HeapPStrIter::new(self.iter.heap, focus);
let char_to_string = |c: char| { let char_to_string = |c: char| {
// refrain from quoting characters other than '"' and '\'. // refrain from quoting characters other than '"' and '\'
// unless self.quoted is true.
match c { match c {
'\\' => "\\\\".to_string(), '\\' => "\\\\".to_string(),
'"' => "\\\"".to_string(), '"' => "\\\"".to_string(),
_ => char_to_string(false, c) _ => char_to_string(self.quoted, c),
} }
}; };