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

This commit is contained in:
Markus Triska
2022-01-20 00:48:30 +01:00
parent 0da9d1c036
commit b703303dd4

View File

@@ -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: '),