From: Mark Thom <markjordanthom@gmail.com>
Date: Wed, 24 Oct 2018 05:11:13 +0000 (-0600)
Subject: stop write_canonical from printing numbervars.
X-Git-Tag: v0.8.110~325
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=036d248eb0a81cba1ec60e59a43dc1a8c0933ca9;p=scryer-prolog.git

stop write_canonical from printing numbervars.
---

diff --git a/src/prolog/heap_print.rs b/src/prolog/heap_print.rs
index 69ae852b..174e9cc0 100644
--- a/src/prolog/heap_print.rs
+++ b/src/prolog/heap_print.rs
@@ -247,8 +247,8 @@ impl<'a, Outputter: HCValueOutputter> HCPrinter<'a, Outputter>
                     state_stack: vec![],
                     heap_locs: ReverseHeapVarDict::new(),
                     printed_vars: HashSet::new(),
-                    numbervars: true,
-                    quoted: true,
+                    numbervars: false,
+                    quoted: 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()) {
                 self.outputter.append(atom.as_str())
             } else {
-                self.outputter.push_char('\'');
+                if self.quoted {
+                    self.outputter.push_char('\'');
+                }
 
                 for c in atom.as_str().chars() {
                     self.print_char(c);
                 }
 
-                self.outputter.push_char('\'');
+                if self.quoted {
+                    self.outputter.push_char('\'');
+                }
             }
         }
     }