From 42a90b2d40c7ef0fbe6d91f9fc79233ba4fd5e52 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sat, 14 Mar 2020 14:18:01 -0600 Subject: [PATCH] don't emit overwriting warnings for term_expansion/2 or goal_expansion/2 --- src/prolog/machine/mod.rs | 10 +++++++++- src/prolog/machine/term_expansion.rs | 2 +- 2 files changed, 10 insertions(+), 2 deletions(-) diff --git a/src/prolog/machine/mod.rs b/src/prolog/machine/mod.rs index 64bc4dd9..8ee64136 100644 --- a/src/prolog/machine/mod.rs +++ b/src/prolog/machine/mod.rs @@ -150,7 +150,15 @@ impl SubModuleUser for IndexStore { fn insert_dir_entry(&mut self, name: ClauseName, arity: usize, idx: CodeIndex) { if let Some(ref code_idx) = self.code_dir.get(&(name.clone(), arity)) { if !code_idx.is_undefined() { - println!("Warning: overwriting {}/{}", &name, arity); + match (name.as_str(), arity) { + ("term_expansion", 2) => { + } + ("goal_expansion", 2) => { + } + _ => { + println!("Warning: overwriting {}/{}", &name, arity); + } + } } let (p, module_name) = idx.0.borrow().clone(); diff --git a/src/prolog/machine/term_expansion.rs b/src/prolog/machine/term_expansion.rs index 969e00c2..94ad5951 100644 --- a/src/prolog/machine/term_expansion.rs +++ b/src/prolog/machine/term_expansion.rs @@ -380,7 +380,7 @@ impl MachineState { self.reset_with_heap_preservation(); - Some(output.result())) + Some(output.result()) } } } -- 2.54.0