filter our builtins from current_predicate/1 (#153)

mthom · Sep 26, 2023 · 2efe95f · 2efe95f · pmoura · Sep 27, 2023
1 parent 5699257
commit 2efe95f
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/src/machine/system_calls.rs b/src/machine/system_calls.rs
@@ -3908,6 +3908,11 @@ impl Machine {
             }
         );
 
+        if self.indices.builtin_property((name, arity)) {
+            self.machine_st.fail = true;
+            return;
+        }
+
         self.machine_st.fail = self
             .indices
             .get_predicate_code_index(name, arity, module_name)
@@ -3987,6 +3992,10 @@ impl Machine {
         };
 
         for (name, arity) in code_dir.keys() {
+            if self.indices.builtin_property((*name, *arity)) {
+                continue;
+            }
+
             if name_match(pred_atom, *name) && arity_match(pred_arity, *arity) {
                 self.machine_st.heap.extend(functor!(
                     atom!("/"),