From: Mark <markjordanthom@gmail.com>
Date: Tue, 18 Jul 2023 18:10:27 +0000 (-0600)
Subject: catch errors thrown from tabling Worker (#1526, #1888)
X-Git-Tag: v0.9.2~43
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=db43d461b9ec70b1868c824966dd8d50b886794e;p=scryer-prolog.git

catch errors thrown from tabling Worker (#1526, #1888)
---

diff --git a/src/lib/tabling.pl b/src/lib/tabling.pl
index 606635fb..e9008085 100644
--- a/src/lib/tabling.pl
+++ b/src/lib/tabling.pl
@@ -164,7 +164,9 @@ activate(Wrapper,Worker,T) :-
 
 delim(Wrapper,Worker,Table) :-
 %   debug(tabling, 'ACT: ~p on ~p', [Wrapper, Table]),
-    reset(Worker,SourceCall,Continuation),
+    catch(reset(Worker,SourceCall,Continuation),
+          _,
+          fail),
    ( Continuation = none ->
      (	 add_answer(Table,Wrapper)
      ->	 true %debug(tabling, 'ADD: ~p', [Wrapper])