diogo
/
yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix copy_term and frozen (obs from Ulrich).

This commit is contained in:
Vitor Santos Costa 2009-05-18 07:07:42 -07:00
parent a1203e56dd
commit cfec78de06
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pl/corout.yap
View File

@ -500,7 +500,7 @@ when(_,Goal) :-
frozen(V, G) :- nonvar(V), !,
'$do_error'(type_error(variable,V),frozen(V,G)).
frozen(V, LG) :-
'$get_goalist_from_attvars'([V], LG).
'$get_conj_from_attvars'([V], LG).
'$find_att_vars'([], []).
'$find_att_vars'([V|LGs], [V|AttVars]) :- attvar(V), !,
@ -578,7 +578,7 @@ call_residue_vars(Goal,Residue) :-
copy_term(Term, Copy, Goals) :-
term_variables(Term, TVars),
'$get_conj_from_attvars'(TVars, Goals0),
'$get_goalist_from_attvars'(TVars, Goals0),
copy_term_nat([Term|Goals0], [Copy|Goals]).