From b703303dd4347c6e5696e13564b0d782f014d25a Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Thu, 20 Jan 2022 00:48:30 +0100 Subject: [PATCH] omit module prefix, because the goals are already module-qualified --- src/loader.pl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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: '), -- 2.54.0