From: Mark Thom <mark.thom@unb.ca>
Date: Thu, 3 Oct 2019 04:30:00 +0000 (-0600)
Subject: don't add default index for dynamic predicates unless defined at toplevel
X-Git-Tag: v0.8.110~22
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=02d1ed237fbd2d7c64dc10efac92387fc572780c;p=scryer-prolog.git

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

diff --git a/src/prolog/machine/compile.rs b/src/prolog/machine/compile.rs
index 58cbcfc5..2554e256 100644
--- a/src/prolog/machine/compile.rs
+++ b/src/prolog/machine/compile.rs
@@ -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 {