From: Markus Triska Date: Sun, 28 Nov 2021 13:47:25 +0000 (+0100) Subject: ENHANCED: indicate failed initialization/1 goal X-Git-Tag: v0.9.0~17^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=fc8205d375827ce643300b86d7c9e1777122ac93;p=scryer-prolog.git ENHANCED: indicate failed initialization/1 goal This addresses #1109. --- diff --git a/src/loader.pl b/src/loader.pl index 8ab46bf0..b64b9553 100644 --- a/src/loader.pl +++ b/src/loader.pl @@ -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 ).