From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 18 Jun 2022 17:26:31 +0000 (-0600)
Subject: propagate inference_limit_exceeded errors through the loader (#1298)
X-Git-Tag: v0.9.1~5
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=2eec6499ff8e7ea8b95ad803d8061467671cb7aa;p=scryer-prolog.git

propagate inference_limit_exceeded errors through the loader (#1298)
---

diff --git a/src/loader.pl b/src/loader.pl
index 44e05d83..0179bd7b 100644
--- 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,