ENHANCED: indicate failed initialization/1 goal

This addresses #1109.
This commit is contained in:
Markus Triska
2021-11-28 14:47:25 +01:00
parent a87f0481b8
commit fc8205d375

View File

@@ -94,7 +94,10 @@ run_initialization_goals(Module) :-
abolish(Module:'$initialization_goals'/1),
( maplist(Module:call, Goals) ->
true
; true %% initialization goals can fail without thwarting the load.
; %% initialization goals can fail without thwarting the load.
write('Warning: initialization/1 failed for: '),
writeq(maplist(Module:call, Goals)),
nl
)
; true
).