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

don't debug !(_)

Browse Source
This commit is contained in:
Vítor Santos Costa 2015-11-05 17:26:04 +00:00
parent 9ed0389186
commit e162ec9ef9
2 changed files with 9 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pl/arith.yap
View File

@ -215,7 +215,7 @@ do_c_built_metacall(G1, Mod, _, call(Mod:G1)).
'$composed_built_in'(V) :- var(V), !, '$composed_built_in'(V) :- var(V), !,
fail. fail.
'$composed_built_in'((yap_hacks:current_choice_point(_),NG,'$$cut_by'(_))) :- !, '$composed_built_in'(('$current_choice_point'(_),NG,'$$cut_by'(_))) :- !,
'$composed_built_in'(NG). '$composed_built_in'(NG).
'$composed_built_in'((_,_)). '$composed_built_in'((_,_)).
'$composed_built_in'((_;_)). '$composed_built_in'((_;_)).

9
pl/debug.yap
View File

@ -479,6 +479,9 @@ be lost.
% %
% skip a goal or a port % skip a goal or a port
% %
'$zip'(_GoalNumber, _G, _Module) :-
current_prolog_flag(debug, false),
!.
'$zip'(GoalNumber, G, Module) :- '$zip'(GoalNumber, G, Module) :-
'__NB_getval__'('$debug_run',StopPoint,fail), '__NB_getval__'('$debug_run',StopPoint,fail),
% zip mode off, we cannot zip % zip mode off, we cannot zip
@ -796,6 +799,10 @@ be lost.
%'$continue_debugging'(Exit, Debugger) :- %'$continue_debugging'(Exit, Debugger) :-
% writeln('$continue_debugging'(Exit, Debugger)), fail. % writeln('$continue_debugging'(Exit, Debugger)), fail.
% that's what follows % that's what follows
'$continue_debugging'(_, _) :-
false,
current_prolog_flag( debug, false ),
!.
'$continue_debugging'(_, debugger) :- !. '$continue_debugging'(_, debugger) :- !.
% do not need to debug! % do not need to debug!
% go back to original sequence. % go back to original sequence.
@ -829,7 +836,7 @@ be lost.
'$execute_clause'(G, M, R, CP). '$execute_clause'(G, M, R, CP).
'$show_ancestors'(HowMany) :- '$show_ancestors'(HowMany) :-
'__NB_getval__'('$spy_glist',[_|History]), '__NB_getval__'('$spy_glist',[_|History], fail),
( (
History == [] History == []
-> ->