From fc8205d375827ce643300b86d7c9e1777122ac93 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Sun, 28 Nov 2021 14:47:25 +0100 Subject: [PATCH] ENHANCED: indicate failed initialization/1 goal This addresses #1109. --- src/loader.pl | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) 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 ). -- 2.54.0