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

$notrace should call $execute and disable interrupts below.

Browse Source
This commit is contained in:
Vitor Santos Costa 2009-05-21 22:35:24 -05:00
parent d7135f06e9
commit 3736ba5793
1 changed files with 22 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
pl/boot.yap
View File

@ -1190,8 +1190,28 @@ throw(Ball) :-
% %
% just leave this around to show the debugger. % just leave this around to show the debugger.
% %
'$notrace'(M:G) :- '$notrace'(G) :-
'$execute_nonstop'(G, M). yap_hacks:disable_interrupts,
(
yap_hacks:current_choice_point(CP0),
'$execute'(G),
yap_hacks:current_choice_point(CP1),
( CP0 == CP1 ->
!,
yap_hacks:enable_interrupts
;
(
yap_hacks:enable_interrupts
;
yap_hacks:disable_interrupts,
fail
)
)
;
yap_hacks:enable_interrupts,
fail
).
'$oncenotrace'(M:G) :- '$oncenotrace'(M:G) :-
'$execute_nonstop'(G, M), !. '$execute_nonstop'(G, M), !.