rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

cut when finished verify_attributes/3 calls

Browse Source
This commit is contained in:
Mark Thom
2019-02-10 11:14:06 -07:00
parent 938ec60379
commit 3a340ed01c
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
src/prolog/machine/attributed_variables.pl
View File

@@ -1,6 +1,7 @@
driver(Vars, Values) :- driver(Vars, Values) :-
iterate(Vars, Values, ListOfListsOfGoalLists), 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), call_goals(ListOfListsOfGoalLists),
'$restore_p_from_sfcp'. '$restore_p_from_sfcp'.
@@ -13,7 +14,7 @@ iterate([], [], []).
call_verify_attributes(Attrs, _, _, []) :- call_verify_attributes(Attrs, _, _, []) :-
var(Attrs), !. var(Attrs), !.
call_verify_attributes([Attr|Attrs], Var, Value, [Goals|ListOfGoalLists]) :- 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), catch(M:verify_attributes(Var, Value, Goals),
error(evaluation_error((M:verify_attributes)/3), verify_attributes/3), error(evaluation_error((M:verify_attributes)/3), verify_attributes/3),
Goals = []), Goals = []),