From: Mark Thom <markjordanthom@gmail.com>
Date: Wed, 24 Mar 2021 22:56:48 +0000 (-0600)
Subject: call '$erase_ball' before running cleanup code in setup_call_cleanup (#886)
X-Git-Tag: v0.9.0~105
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=10e92eec32ac043fb9e398482ae20f9921c7eee4;p=scryer-prolog.git

call '$erase_ball' before running cleanup code in setup_call_cleanup (#886)
---

diff --git a/src/lib/iso_ext.pl b/src/lib/iso_ext.pl
index 4d064193..be44099f 100644
--- a/src/lib/iso_ext.pl
+++ b/src/lib/iso_ext.pl
@@ -86,8 +86,8 @@ scc_helper(C, G, Bb) :-
 scc_helper(_, _, Bb) :-
     '$reset_block'(Bb),
     '$get_ball'(Ball),
-    '$call_with_default_policy'(run_cleaners_with_handling),
     '$erase_ball',
+    '$call_with_default_policy'(run_cleaners_with_handling),
     '$call_with_default_policy'(throw(Ball)).
 scc_helper(_, _, _) :-
     '$get_cp'(Cp),