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

fix backtracking in timeout.

Browse Source
This commit is contained in:
Vitor Santos Costa 2009-05-21 01:30:24 -05:00
parent 56fa3499b1
commit f9533c8757
1 changed files with 16 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
library/timeout.yap
View File

@ -44,12 +44,24 @@ run_goal(Goal, Result0) :-
% we can only enable interrupts after alarm was been enabled. % we can only enable interrupts after alarm was been enabled.
yap_hacks:enable_interrupts, yap_hacks:enable_interrupts,
Result0 = success, Result0 = success,
yap_hacks:current_choice_point(CP0),
call(Goal), call(Goal),
!, yap_hacks:current_choice_point(CP1),
% make sure we're not getting an extraneous interrupt if we terminate early.... % make sure we're not getting an extraneous interrupt if we terminate early....
yap_hacks:disable_interrupts, alarm(0,_,RT),
alarm(0,_,_), (
true. CP0 == CP1
->
true
;
(
true
;
alarm(RT,throw(time_out),_),
fail
)
).
run_goal(Goal, Result0) :- run_goal(Goal, Result0) :-
yap_hacks:disable_interrupts, yap_hacks:disable_interrupts,
% make sure we're not getting an extraneous interrupt if we terminate early.... % make sure we're not getting an extraneous interrupt if we terminate early....