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

ensure environment after goal execution in call_cleanup #106

Browse Source
This commit is contained in:
Vitor Santos Costa 2009-06-01 23:43:59 -05:00
parent 484595df5b
commit 627a4f8b1f
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pl/utils.yap
View File

@ -105,6 +105,8 @@ setup_call_catcher_cleanup(Setup, Goal, Catcher, Cleanup) :-
yap_hacks:enable_interrupts, yap_hacks:enable_interrupts,
yap_hacks:current_choice_point(CP0), yap_hacks:current_choice_point(CP0),
'$execute'(Goal), '$execute'(Goal),
% ensure environment for delayed variables in Goal
'$true',
yap_hacks:current_choice_point(CPF), yap_hacks:current_choice_point(CPF),
( (
CP0 =:= CPF -> CP0 =:= CPF ->