From: Mark Thom <markjordanthom@gmail.com>
Date: Thu, 30 Apr 2020 21:30:55 +0000 (-0600)
Subject: correct queue_len += queue_len; to queue_len += queue.len(); (#416)
X-Git-Tag: v0.8.123~88
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=34ae56e319d89ae636f024c3f98744969d3d9114;p=scryer-prolog.git

correct queue_len += queue_len; to queue_len += queue.len(); (#416)
---

diff --git a/src/prolog/machine/compile.rs b/src/prolog/machine/compile.rs
index a8fad967..636fc67c 100644
--- a/src/prolog/machine/compile.rs
+++ b/src/prolog/machine/compile.rs
@@ -904,22 +904,14 @@ impl ListingCompiler {
                 .entry(key.clone())
                 .or_insert((Predicate::new(), VecDeque::from(vec![])));
 
-            if let Some(ref mut module) = &mut self.module {
-                module.add_expansion_record(hook, clause.clone(), queue.clone());
-                module.add_local_expansion(hook, clause.clone(), queue.clone());
-            }
-
             len += 1;
-            queue_len += queue_len;
+            queue_len += queue.len();
 
-            (preds.0).0.push(clause.clone());
-            preds.1.extend(queue.iter().cloned());
+            (preds.0).0.push(clause);
+            preds.1.extend(queue.into_iter());
 
             (preds.0).0.extend((module_preds.0).0.iter().cloned());
             preds.1.extend(module_preds.1.iter().cloned());
-
-            (module_preds.0).0.push(clause);
-            module_preds.1.extend(queue.into_iter());
         }
 
         (len, queue_len)