Merge pull request #1117 from triska/indicate_failed_initialization

ENHANCED: indicate failed initialization/1 goal
This commit is contained in:
Mark Thom
2021-11-28 11:53:54 -05:00
committed by GitHub

View File

@@ -94,7 +94,10 @@ run_initialization_goals(Module) :-
abolish(Module:'$initialization_goals'/1), abolish(Module:'$initialization_goals'/1),
( maplist(Module:call, Goals) -> ( maplist(Module:call, Goals) ->
true 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 ; true
). ).