]> Repositorios git - scryer-prolog.git/commitdiff
fix tests
authorMark Thom <[email protected]>
Thu, 25 Oct 2018 05:16:49 +0000 (23:16 -0600)
committerMark Thom <[email protected]>
Thu, 25 Oct 2018 05:16:49 +0000 (23:16 -0600)
Cargo.lock
Cargo.toml
src/prolog/machine/machine_state_impl.rs
src/prolog/machine/term_expansion.rs
src/tests.rs

index 544dcb55377c19e1af648a124c27505be77adf2e..22eb0d0d22cb6e152d501ee2d0f0cd233fc8e9b5 100644 (file)
@@ -108,7 +108,7 @@ dependencies = [
 
 [[package]]
 name = "rusty-wam"
-version = "0.7.14"
+version = "0.7.15"
 dependencies = [
  "downcast 0.9.1 (registry+https://github.com/rust-lang/crates.io-index)",
  "num 0.2.0 (registry+https://github.com/rust-lang/crates.io-index)",
index bb46aaf839b608dcdf0851b7b34f91394743a496..ca9e2fe509594e310dd34aa6c7877ebdf9e94ae7 100644 (file)
@@ -1,6 +1,6 @@
 [package]
 name = "rusty-wam"
-version = "0.7.14"
+version = "0.7.15"
 authors = ["Mark Thom <[email protected]>"]
 repository = "https://github.com/mthom/rusty-wam"
 description = "The Warren Abstract Machine in Rust."
index 9d2beb5e29b16f6f5b5f004b03d8c08955488a19..851e9800024e55982470d321e9856abcb8afe1ce 100644 (file)
@@ -132,7 +132,9 @@ impl MachineState {
         output.append(" = ");
 
         let mut printer = HCPrinter::from_heap_locs(&self, output, var_dir);
+        
         printer.numbervars = false;
+        printer.quoted = true;
             
         let mut output = printer.print(addr);
 
index e815711ae08424d307331267a875424b1a821231..1727638024332e6ff303db1363cb922b70fe1dd5 100644 (file)
@@ -126,6 +126,10 @@ impl MachineState {
         } else {
             let mut output  = {
                 let mut printer = HCPrinter::new(&self, PrinterOutputter::new());
+                
+                printer.quoted = true;
+                printer.numbervars = true;
+                
                 printer.print(Addr::HeapCell(h))
             };
 
index d963f39204d30b36257ddfc84095dc1ad5a4d6c8..4910ff263ba55295cf706d284d73bb5a02b598e4 100644 (file)
@@ -1871,7 +1871,7 @@ fn test_queries_on_dcgs()
 
     submit(&mut wam, ":- use_module(library(dcgs)).");
     
-    // test case by YeGoblynQueene on hacker news.
+    // test case by YeGoblynQueene from hacker news.
     compile_user_module(&mut wam,
     " ability(destroy, X) --> destroy(X).
       destroy(X) --> [destroy], target(X).