rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

convert append to push_char when applicable

Browse Source
This commit is contained in:
Mark Thom
2018-12-18 21:54:18 -07:00
parent 5c12c3047c
commit 6234ae6ef1
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/prolog/heap_print.rs
View File

@@ -572,18 +572,18 @@ impl<'a, Outputter: HCValueOutputter> HCPrinter<'a, Outputter>
TokenOrRedirect::Redirect =>
self.handle_heap_term(&mut iter, None),
TokenOrRedirect::Close =>
self.outputter.append(")"),
self.outputter.push_char(')'),
TokenOrRedirect::Open =>
self.outputter.append("("),
self.outputter.push_char('('),
TokenOrRedirect::OpenList(delimit) =>
if !self.at_cdr(", ") {
self.outputter.append("[");
self.outputter.push_char('[');
} else {
delimit.set(false);
},
TokenOrRedirect::CloseList(delimit) =>
if !self.ignore_ops && delimit.get() {
self.outputter.append("]");
self.outputter.push_char(']');
},
TokenOrRedirect::HeadTailSeparator =>
if !self.ignore_ops {