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

stop write_canonical from printing numbervars.

Browse Source
This commit is contained in:
Mark Thom
2018-10-23 23:11:13 -06:00
parent 32fecca45d
commit 036d248eb0
1 changed files with 8 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
src/prolog/heap_print.rs
View File

@@ -247,8 +247,8 @@ impl<'a, Outputter: HCValueOutputter> HCPrinter<'a, Outputter>
state_stack: vec![], state_stack: vec![],
heap_locs: ReverseHeapVarDict::new(), heap_locs: ReverseHeapVarDict::new(),
printed_vars: HashSet::new(), printed_vars: HashSet::new(),
numbervars: true, numbervars: false,
quoted: true, quoted: false,
ignore_ops: false } ignore_ops: false }
} }
@@ -377,13 +377,17 @@ impl<'a, Outputter: HCValueOutputter> HCPrinter<'a, Outputter>
s => if fixity.is_some() || !self.quoted || non_quoted_token(s.chars()) { s => if fixity.is_some() || !self.quoted || non_quoted_token(s.chars()) {
self.outputter.append(atom.as_str()) self.outputter.append(atom.as_str())
} else { } else {
self.outputter.push_char('\''); if self.quoted {
self.outputter.push_char('\'');
}
for c in atom.as_str().chars() { for c in atom.as_str().chars() {
self.print_char(c); self.print_char(c);
} }
self.outputter.push_char('\''); if self.quoted {
self.outputter.push_char('\'');
}
} }
} }
} }