correct comma printing

2019-03-31 02:13:58 -06:00
parent 35e91ee47c
commit a2f531eeb7
5 changed files with 49 additions and 38 deletions
--- a/src/prolog/machine/mod.rs
+++ b/src/prolog/machine/mod.rs
@@ -272,7 +272,13 @@ impl Machine {

    #[inline]
    pub fn add_batched_ops(&mut self, op_dir: OpDir) {
-        self.indices.op_dir.extend(op_dir.into_iter());
+        for ((name, fixity), info) in op_dir {
+            if info.1 == 0 {
+                self.indices.op_dir.remove(&(name, fixity));
+            } else {
+                self.indices.op_dir.insert((name, fixity), info);
+            }
+        }
    }

    #[inline]