fix incremental compilation and multifile bugs

diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl
index 83d248bcfd89772a33bc43020a0d7f1ea9104d0c..bddcabf5759fbe624280b01f08be4b27363d2012 100644 (file)
--- a/src/lib/builtins.pl
+++ b/src/lib/builtins.pl
@@ -834,8 +834,13 @@ asserta_clause(Head, Body) :-
        ( Name == (:),
          Arity =:= 2 ->
             arg(1, Head, Module),
-            arg(2, Head, F),
-            module_asserta_clause(F, Body, Module)
+            arg(2, Head, HeadAndBody),
+         (  HeadAndBody = (F :- Body1) ->
+            true
+         ;  F = HeadAndBody,
+            Body1 = true
+         ),
+            module_asserta_clause(F, Body1, Module)
        ; '$head_is_dynamic'(user, Head) ->
           call_asserta(Head, Body, Name, Arity, user)
        ; '$no_such_predicate'(user, Head) ->
@@ -883,8 +888,13 @@ assertz_clause(Head, Body) :-
        (  Name == (:),
           Arity =:= 2 ->
              arg(1, Head, Module),
-             arg(2, Head, F),
-             module_assertz_clause(F, Body, Module)
+             arg(2, Head, HeadAndBody),
+          (  HeadAndBody = (F :- Body1) ->
+             true
+          ;  F = HeadAndBody,
+             Body1 = true
+          ),
+             module_assertz_clause(F, Body1, Module)
        ;  '$head_is_dynamic'(user, Head) ->
              call_assertz(Head, Body, Name, Arity, user)
        ;  '$no_such_predicate'(user, Head) ->
@@ -973,8 +983,13 @@ retract_clause(Head, Body) :-
        (  Name == (:),
           Arity =:= 2 ->
              arg(1, Head, Module),
-             arg(2, Head, F),
-             retract_module_clause(F, Body, Module)
+             arg(2, Head, HeadAndBody),
+          (  HeadAndBody = (F :- Body1) ->
+             true
+          ;  F = HeadAndBody,
+             Body1 = true
+          ),
+             retract_module_clause(F, Body1, Module)
        ;  '$no_such_predicate'(user, Head) ->
           '$fail'
        ;  '$head_is_dynamic'(user, Head) ->

diff --git a/src/lib/os.pl b/src/lib/os.pl
index b5d9608aec9d7751579903e5afa6afe7a618db5f..f12997b2af18608a62e7736c83b32ff3544bbc59 100644 (file)
--- a/src/lib/os.pl
+++ b/src/lib/os.pl
@@ -1,4 +1,4 @@
-/* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
+ /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    Predicates for reasoning about the operating system (OS) environment.
    Written July 2020 by Markus Triska ([email protected]).
 

diff --git a/src/loader.pl b/src/loader.pl
index de6e8c538eea44ec5c02c199ff9e2d3458074050..7915ae3747949036fcdcd7890ddda8b31560de9c 100644 (file)
--- a/src/loader.pl
+++ b/src/loader.pl
@@ -90,7 +90,7 @@ unload_evacuable(Evacuable) :-
 run_initialization_goals :-
     prolog_load_context(module, Module),
     (  predicate_property(Module:'$initialization_goals'(_), dynamic) ->
-       findall(Goal, '$call'(builtins:retract(Module:'$initialization_goals'(Goal))), Goals),
+       findall(Module:Goal, '$call'(builtins:retract(Module:'$initialization_goals'(Goal))), Goals),
        abolish(Module:'$initialization_goals'/1),
        (  maplist(Module:call, Goals) ->
           true

diff --git a/src/machine/compile.rs b/src/machine/compile.rs
index 987e88da4a9da44a48422b95b7c5a3f8cfb12dc4..bb09fcda4a3e1f275865bc178675e72ace25e2b4 100644 (file)
--- a/src/machine/compile.rs
+++ b/src/machine/compile.rs
@@ -103,12 +103,28 @@ fn lower_bound_of_target_clause(skeleton: &PredicateSkeleton, target_pos: usize)
         return target_pos - 1;
     }
 
-    for index in (0..target_pos - 1).rev() {
+    let mut index_loc_opt = None;
+
+    for index in (0..target_pos).rev() {
         let current_arg_num = skeleton.clauses[index].opt_arg_index_key.arg_num();
 
         if current_arg_num == 0 || current_arg_num != arg_num {
             return index + 1;
         }
+
+        if let Some(index_loc) = index_loc_opt {
+            let current_index_loc = skeleton.clauses[index]
+                .opt_arg_index_key
+                .switch_on_term_loc();
+
+            if Some(index_loc) != current_index_loc {
+                return index + 1;
+            }
+        } else {
+            index_loc_opt = skeleton.clauses[index]
+                .opt_arg_index_key
+                .switch_on_term_loc();
+        }
     }
 
     0
@@ -1195,7 +1211,7 @@ fn append_compiled_clause(
                     retraction_info,
                 );
 
-                if lower_bound == 0 {
+                if lower_bound == 0 && !skeleton.core.is_dynamic {
                     code_ptr_opt = Some(target_pos_clause_start);
                 }
             }

diff --git a/src/machine/load_state.rs b/src/machine/load_state.rs
index fd034a8b9b5b7b68768e948cf42a0f71d4481ef9..d0a0d126470fd0f45daede7a24926ebadf32eed8 100644 (file)
--- a/src/machine/load_state.rs
+++ b/src/machine/load_state.rs
@@ -461,13 +461,21 @@ impl<'a> LoadState<'a> {
         }
     }
 
-    pub(super) fn remove_replaced_module(&mut self, module_name: ClauseName) {
+    pub(super) fn remove_replaced_in_situ_module(&mut self, module_name: ClauseName) {
         let removed_module = match self.wam.indices.modules.remove(&module_name) {
             Some(module) => module,
             None => return,
         };
 
         for (key, code_index) in &removed_module.code_dir {
+            match removed_module
+                .local_extensible_predicates
+                .get(&(CompilationTarget::User, key.clone()))
+            {
+                Some(skeleton) if skeleton.is_multifile => continue,
+                _ => {}
+            }
+
             if code_index.get() != IndexPtr::Undefined {
                 let old_index_ptr = code_index.replace(IndexPtr::Undefined);
 
@@ -919,7 +927,7 @@ impl<'a> LoadState<'a> {
         let module_name = module_decl.name.clone();
 
         self.remove_module_exports(module_name.clone());
-        self.remove_replaced_module(module_name.clone());
+        self.remove_replaced_in_situ_module(module_name.clone());
 
         match self.wam.indices.modules.get_mut(&module_name) {
             Some(module) => {