From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 9 Feb 2019 21:21:58 +0000 (-0700)
Subject: correct error catching in call_verify_attributes/4
X-Git-Tag: v0.8.110~265
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=938ec603792264306bd44e9b920fd691589c01fc;p=scryer-prolog.git

correct error catching in call_verify_attributes/4
---

diff --git a/src/prolog/machine/attributed_variables.pl b/src/prolog/machine/attributed_variables.pl
index c11ada22..dfadfb20 100644
--- a/src/prolog/machine/attributed_variables.pl
+++ b/src/prolog/machine/attributed_variables.pl
@@ -15,8 +15,8 @@ call_verify_attributes(Attrs, _, _, []) :-
 call_verify_attributes([Attr|Attrs], Var, Value, [Goals|ListOfGoalLists]) :-
     '$module_of'(M, Attr), % write the owning module Attr to M.
     catch(M:verify_attributes(Var, Value, Goals),
-          error(evaluation_error((M:verify_attributes)/3), call_verify_attributes/3),
-          true),
+          error(evaluation_error((M:verify_attributes)/3), verify_attributes/3),
+          Goals = []),
     call_verify_attributes(Attrs, Var, Value, ListOfGoalLists).
 
 call_goals([ListOfGoalLists | ListsCubed]) :-