From: Markus Triska <triska@metalevel.at>
Date: Wed, 19 Jan 2022 23:48:30 +0000 (+0100)
Subject: omit module prefix, because the goals are already module-qualified
X-Git-Tag: v0.9.0^2~49^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=b703303dd4347c6e5696e13564b0d782f014d25a;p=scryer-prolog.git

omit module prefix, because the goals are already module-qualified
---

diff --git a/src/loader.pl b/src/loader.pl
index 7c33d51e..10e083f0 100644
--- a/src/loader.pl
+++ b/src/loader.pl
@@ -92,12 +92,12 @@ run_initialization_goals(Module) :-
        % FIXME: failing here. also, see add_module.
        findall(Module:Goal, '$call'(builtins:retract(Module:'$initialization_goals'(Goal))), Goals),
        abolish(Module:'$initialization_goals'/1),
-       maplist(loader:success_or_warning(Module), Goals)
+       maplist(loader:success_or_warning, Goals)
     ;  true
     ).
 
-success_or_warning(Module, Goal) :-
-    (   Module:call(Goal) ->
+success_or_warning(Goal) :-
+    (   call(Goal) ->
         true
     ;   %% initialization goals can fail without thwarting the load.
         write('Warning: initialization/1 failed for: '),