inference count call_inline, fail on undefined index

2022-07-20 13:31:44 -06:00
parent 6b05ee5130
commit 0aec980aa8
3 changed files with 11 additions and 10 deletions
--- a/src/machine/system_calls.rs
+++ b/src/machine/system_calls.rs
@@ -1018,7 +1018,7 @@ impl Machine {
                    let index_cell = self.machine_st.heap[s+goal_arity+1];

                    if let Some(code_index) = get_structure_index(index_cell) {
-                        if code_index.is_undefined() || code_index.is_dynamic_undefined() {
+                        if code_index.is_undefined() {
                            self.machine_st.fail = true;
                            return Ok(());
                        }