From 3a340ed01cd6fd14ca05fdaa756db2e04d20618a Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sun, 10 Feb 2019 11:14:06 -0700 Subject: [PATCH] cut when finished verify_attributes/3 calls --- src/prolog/machine/attributed_variables.pl | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/prolog/machine/attributed_variables.pl b/src/prolog/machine/attributed_variables.pl index dfadfb20..c72c9e24 100644 --- a/src/prolog/machine/attributed_variables.pl +++ b/src/prolog/machine/attributed_variables.pl @@ -1,6 +1,7 @@ driver(Vars, Values) :- iterate(Vars, Values, ListOfListsOfGoalLists), - '$redo_attr_var_bindings', %% the bindings list is emptied here. + '$redo_attr_var_bindings', % the bindings list is emptied here. + !, call_goals(ListOfListsOfGoalLists), '$restore_p_from_sfcp'. @@ -13,7 +14,7 @@ iterate([], [], []). call_verify_attributes(Attrs, _, _, []) :- var(Attrs), !. call_verify_attributes([Attr|Attrs], Var, Value, [Goals|ListOfGoalLists]) :- - '$module_of'(M, Attr), % write the owning module Attr to M. + '$module_of'(M, Attr), % write the owning module of Attr to M. catch(M:verify_attributes(Var, Value, Goals), error(evaluation_error((M:verify_attributes)/3), verify_attributes/3), Goals = []), -- 2.54.0