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

call cleanup

Browse Source
This commit is contained in:
Vitor Santos Costa 2017-09-06 01:13:15 +01:00
parent e3ab36f091
commit b5bfb638a3
1 changed files with 13 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
pl/debug.yap
View File

@ -423,9 +423,9 @@ be lost.
%%% fail just fails. %%% fail just fails.
'$redo_spy'(abort, _G, _Module, _CalledFromDebugger, _GoalNumber, _H) :- '$redo_spy'(abort, _G, _Module, _CalledFromDebugger, _GoalNumber, _H) :-
z !,
abort. abort.
'$redo_spy'('$forward'('$wrapper'(E),G0), _G, _Module, _CalledFromDebugger, _ z'$redo_spy'('$forward'('$fail_spy',G0), __G, __Module, __CalledFromDebugger, GoalNumber, _H) :- '$redo_spy'('$forward'('$wrapper'(E),G0), _G, _Module, _CalledFromDebugger, _ '$redo_spy'('$forward'('$fail_spy',G0), __G, __Module, __CalledFromDebugger, GoalNumber, _H) :-
GoalNumber =< G0, GoalNumber =< G0,
!, !,
fail. fail.
@ -439,9 +439,9 @@ be lost.
Port, Port,
'$spy_port'(Port, GoalNumber, G, Module, CalledFromDebugger, H)), '$spy_port'(Port, GoalNumber, G, Module, CalledFromDebugger, H)),
E, E,
'$redo_spy'( G, Module, CalledFromDebugger, H) throw(E)
). ).
'$redo_spy'('$forward'(C,G0), G, Module, CalledFromDebugger, GoalNumber, H) :- '$redo_spy'('$forward'(C,G0), G, _Module, _CalledFromDebugger, _GoalNumber, _H) :-
throw(C,G0). throw(C,G0).
'$enter_spy'(GoalNumber, G, Module, CalledFromDebugger, H) :- '$enter_spy'(GoalNumber, G, Module, CalledFromDebugger, H) :-
@ -480,9 +480,9 @@ be lost.
%%% - retry: forward throw while the call is newer than goal %%% - retry: forward throw while the call is newer than goal
'$TraceError'( abort, _, _, _, _). '$TraceError'( abort, _, _, _, _).
'$TraceError'('$forward'('$retry_spy'(G0)), _, _, _, _). '$TraceError'('$forward'('$retry_spy'(_G0)), _, _, _, _).
%%% - backtrack long distance %%% - backtrack long distance
'$TraceError'('$forward'('$fail_spy'(G0)), _, _, _, _) :- !, '$TraceError'('$forward'('$fail_spy'(_G0)),GoalNumber, _, _, _) :- !,
throw(error('$fail_spy'(GoalNumber))). throw(error('$fail_spy'(GoalNumber))).
%%% %%%
%%% - forward through the debugger %%% - forward through the debugger