From: Mark Date: Tue, 5 Sep 2023 17:51:06 +0000 (-0600) Subject: call_with_inference_limit/3 should fail if inference limit is exceeded and R term... X-Git-Tag: remove~114 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=83ebce86b62a86832767b671fede17f3b50cab29;p=scryer-prolog.git call_with_inference_limit/3 should fail if inference limit is exceeded and R term is not inference_limit_exceeded (#1977) --- diff --git a/src/lib/iso_ext.pl b/src/lib/iso_ext.pl index 0a5798ae..a53ac991 100644 --- a/src/lib/iso_ext.pl +++ b/src/lib/iso_ext.pl @@ -226,8 +226,9 @@ end_block(B, _Bb, NBb, L) :- :- non_counted_backtracking handle_ile/3. -handle_ile(B, inference_limit_exceeded(B), inference_limit_exceeded) :- +handle_ile(B, inference_limit_exceeded(B), R) :- !, + R = inference_limit_exceeded, '$pop_ball_stack'. handle_ile(B, _, _) :- '$remove_call_policy_check'(B),