propagate inference_limit_exceeded errors through the loader (#1298)

2022-06-18 11:26:31 -06:00
parent cd1150c11d
commit 2eec6499ff
1 changed files with 3 additions and 0 deletions
--- a/src/loader.pl
+++ b/src/loader.pl
@@ -33,6 +33,9 @@ write_error(Error) :-
    ),
    write('.').

+'$print_message_and_fail'(inference_limit_exceeded(B)) :-
+    integer(B),
+    throw(inference_limit_exceeded(B)).
 '$print_message_and_fail'(Error) :-
    write_error(Error),
    nl,