rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

don't add default index for dynamic predicates unless defined at toplevel

Browse Source
This commit is contained in:
Mark Thom
2019-10-02 22:30:00 -06:00
parent a2655864c6
commit 02d1ed237f
1 changed files with 5 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
src/prolog/machine/compile.rs
View File

@@ -407,8 +407,11 @@ impl ClauseCodeGenerator {
for ((name, arity), _) in dynamic_code_dir {
wam.indices.dynamic_code_dir.insert((name.owning_module(), name.clone(), arity),
DynamicPredicateInfo::default());
wam.indices.code_dir.entry((name, arity))
.or_insert(CodeIndex::dynamic_undefined(self.module_name.clone()));
if self.module_name.as_str() == "user" {
wam.indices.code_dir.entry((name, arity))
.or_insert(CodeIndex::dynamic_undefined(self.module_name.clone()));
}
}
for ((name, arity), p) in self.pi_to_loc {