call_with_inference_limit/3 should fail if inference limit is exceeded and R term is not inference_limit_exceeded (#1977)

2023-09-05 11:51:06 -06:00
parent 5585e83fd6
commit 83ebce86b6
1 changed files with 2 additions and 1 deletions
--- 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),