From 34ae56e319d89ae636f024c3f98744969d3d9114 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Thu, 30 Apr 2020 15:30:55 -0600 Subject: [PATCH] correct queue_len += queue_len; to queue_len += queue.len(); (#416) --- src/prolog/machine/compile.rs | 14 +++----------- 1 file changed, 3 insertions(+), 11 deletions(-) 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) -- 2.54.0