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

don't show inner preds in stack dump.

Browse Source 
debugger should never show (a,b).


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@673 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2002-11-05 19:14:42 +00:00
parent ab4168aff5
commit 7be5341ee0
2 changed files with 15 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pl/debug.yap
View File

@ -273,7 +273,6 @@ debugging :-
% '$format'(user_error,"$spym(~w,~w)~n",[Module,G]), % '$format'(user_error,"$spym(~w,~w)~n",[Module,G]),
'$is_push_pred_mod'(G,Module), '$is_push_pred_mod'(G,Module),
!, !,
/* called from prolog module */
'$creep', '$creep',
'$execute0'(G,Module). '$execute0'(G,Module).
'$spy'([Mod|G]) :- '$spy'([Mod|G]) :-
@ -290,7 +289,7 @@ debugging :-
'$creep', '$creep',
'$wake_up_goal'(G, LG). '$wake_up_goal'(G, LG).
'$direct_spy'([M|G]) :- '$direct_spy'([M|G]) :-
'$hidden'(G), '$hidden_predicate'(G,M),
!, !,
( (
G = '$leave_creep' G = '$leave_creep'
@ -301,6 +300,11 @@ debugging :-
'$execute0'(G,M), '$execute0'(G,M),
'$creep' '$creep'
). ).
'$direct_spy'([M|G]) :-
'$is_push_pred_mod'(G,M),
!,
'$creep',
'$execute0'(G,M).
'$direct_spy'([Mod|G]) :- '$direct_spy'([Mod|G]) :-
'$do_spy'(G, Mod). '$do_spy'(G, Mod).

10
pl/errors.yap
View File

@ -167,6 +167,10 @@ print_message(Level, Mss) :-
% The user should never know these exist. % The user should never know these exist.
'$beautify_hidden_goal'('$csult',_,prolog,ClNo,Gs,NGs) :- !, '$beautify_hidden_goal'('$csult',_,prolog,ClNo,Gs,NGs) :- !,
'$preprocess_stack'(Gs, NGs). '$preprocess_stack'(Gs, NGs).
'$beautify_hidden_goal'('$use_module',2,prolog,ClNo,Gs,NGs) :- !,
'$preprocess_stack'(Gs, NGs).
'$beautify_hidden_goal'('$ensure_loaded',_,prolog,ClNo,Gs,NGs) :- !,
'$preprocess_stack'(Gs, NGs).
'$beautify_hidden_goal'('$recordedp',_,prolog,ClNo,Gs,NGs) :- !, '$beautify_hidden_goal'('$recordedp',_,prolog,ClNo,Gs,NGs) :- !,
'$preprocess_stack'(Gs, NGs). '$preprocess_stack'(Gs, NGs).
'$beautify_hidden_goal'('$continue_with_command',_,prolog,ClNo,Gs,NGs) :- !, '$beautify_hidden_goal'('$continue_with_command',_,prolog,ClNo,Gs,NGs) :- !,
@ -199,10 +203,12 @@ print_message(Level, Mss) :-
'$preprocess_stack'(Gs, NGs). '$preprocess_stack'(Gs, NGs).
'$beautify_hidden_goal'('$consult',1,prolog,ClNo,Gs,NGs) :- !, '$beautify_hidden_goal'('$consult',1,prolog,ClNo,Gs,NGs) :- !,
'$preprocess_stack'(Gs, NGs). '$preprocess_stack'(Gs, NGs).
'$beautify_hidden_goal'('$reconsult',1,prolog,ClNo,Gs,NGs) :- !, '$beautify_hidden_goal'('$reconsult',_,prolog,ClNo,Gs,NGs) :- !,
'$preprocess_stack'(Gs, NGs). '$preprocess_stack'(Gs, NGs).
'$beautify_hidden_goal'('$undefp',1,prolog,ClNo,Gs,NGs) :- !, '$beautify_hidden_goal'('$undefp',1,prolog,ClNo,Gs,NGs) :- !,
'$preprocess_stack'(Gs, NGs). '$preprocess_stack'(Gs, NGs).
'$beautify_hidden_goal'('$use_module',2,prolog,ClNo,Gs,NGs) :- !,
'$preprocess_stack'(Gs, NGs).
'$beautify_hidden_goal'('$repeat',0,prolog,ClNo,Gs,[cl(repeat,0,prolog,ClNo)|NGs]) :- !, '$beautify_hidden_goal'('$repeat',0,prolog,ClNo,Gs,[cl(repeat,0,prolog,ClNo)|NGs]) :- !,
'$preprocess_stack'(Gs, NGs). '$preprocess_stack'(Gs, NGs).
'$beautify_hidden_goal'('$recorded_with_key',3,prolog,ClNo,Gs,[cl(recorded,3,prolog,ClNo)|NGs]) :- !, '$beautify_hidden_goal'('$recorded_with_key',3,prolog,ClNo,Gs,[cl(recorded,3,prolog,ClNo)|NGs]) :- !,
@ -223,6 +229,8 @@ print_message(Level, Mss) :-
'$preprocess_stack'(Gs, NGs). '$preprocess_stack'(Gs, NGs).
'$beautify_hidden_goal'('$list_clauses',_,prolog,ClNo,Gs,[cl(listing,1,prolog,ClNo)|NGs]) :- !, '$beautify_hidden_goal'('$list_clauses',_,prolog,ClNo,Gs,[cl(listing,1,prolog,ClNo)|NGs]) :- !,
'$preprocess_stack'(Gs, NGs). '$preprocess_stack'(Gs, NGs).
'$beautify_hidden_goal'('$use_module',1,prolog,ClNo,Gs,[cl(use_module,1,prolog,ClNo)|NGs]) :- !,
'$preprocess_stack'(Gs, NGs).
'$beautify_hidden_goal'(Name,Args,Mod,ClNo,Gs,[cl(Name,Args,Mod,ClNo)|NGs]) :- '$beautify_hidden_goal'(Name,Args,Mod,ClNo,Gs,[cl(Name,Args,Mod,ClNo)|NGs]) :-
'$preprocess_stack'(Gs, NGs). '$preprocess_stack'(Gs, NGs).