don't emit overwriting warnings for term_expansion/2 or goal_expansion/2
This commit is contained in:
@@ -150,8 +150,16 @@ impl SubModuleUser for IndexStore {
|
|||||||
fn insert_dir_entry(&mut self, name: ClauseName, arity: usize, idx: CodeIndex) {
|
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 let Some(ref code_idx) = self.code_dir.get(&(name.clone(), arity)) {
|
||||||
if !code_idx.is_undefined() {
|
if !code_idx.is_undefined() {
|
||||||
|
match (name.as_str(), arity) {
|
||||||
|
("term_expansion", 2) => {
|
||||||
|
}
|
||||||
|
("goal_expansion", 2) => {
|
||||||
|
}
|
||||||
|
_ => {
|
||||||
println!("Warning: overwriting {}/{}", &name, arity);
|
println!("Warning: overwriting {}/{}", &name, arity);
|
||||||
}
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
let (p, module_name) = idx.0.borrow().clone();
|
let (p, module_name) = idx.0.borrow().clone();
|
||||||
set_code_index!(code_idx, p, module_name);
|
set_code_index!(code_idx, p, module_name);
|
||||||
|
|||||||
@@ -380,7 +380,7 @@ impl MachineState {
|
|||||||
|
|
||||||
self.reset_with_heap_preservation();
|
self.reset_with_heap_preservation();
|
||||||
|
|
||||||
Some(output.result()))
|
Some(output.result())
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|||||||
Reference in New Issue
Block a user