From 2eec6499ff8e7ea8b95ad803d8061467671cb7aa Mon Sep 17 00:00:00 2001
From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 18 Jun 2022 11:26:31 -0600
Subject: [PATCH] propagate inference_limit_exceeded errors through the loader
 (#1298)

---
 src/loader.pl | 3 +++
 1 file changed, 3 insertions(+)

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,
-- 
2.54.0