fix spy and t option :-(.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@171 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
parent
c327cafdaa
commit
2cd48bde1a
@ -45,7 +45,7 @@
|
|||||||
'$suspy'(A,nospy) :- '$noclausesfor'(A), !,
|
'$suspy'(A,nospy) :- '$noclausesfor'(A), !,
|
||||||
throw(error(existence_error(procedure,A),nospy(A))).
|
throw(error(existence_error(procedure,A),nospy(A))).
|
||||||
'$suspy'(A,M) :- current_predicate(A,T),
|
'$suspy'(A,M) :- current_predicate(A,T),
|
||||||
\+ '$undefined'(T), \+ '$system_predicate'(T), !,
|
\+ '$undefined'(T), \+ '$system_predicate'(T),
|
||||||
functor(T,F,N),
|
functor(T,F,N),
|
||||||
'$suspy2'(M,F,N,T).
|
'$suspy2'(M,F,N,T).
|
||||||
|
|
||||||
@ -332,7 +332,7 @@ debugging :-
|
|||||||
'$trace'(redo,G,L), /* inform user_error */
|
'$trace'(redo,G,L), /* inform user_error */
|
||||||
fail /* to backtrack to spycalls */
|
fail /* to backtrack to spycalls */
|
||||||
).
|
).
|
||||||
'do_spy'(G) :- '$execute0'(G). /* this clause applies when we do not want
|
'$do_spy'(G) :- '$execute0'(G). /* this clause applies when we do not want
|
||||||
to spy the goal */
|
to spy the goal */
|
||||||
|
|
||||||
'$cont_creep' :- '$get_value'('$trace',1), '$set_yap_flags'(10,1), fail.
|
'$cont_creep' :- '$get_value'('$trace',1), '$set_yap_flags'(10,1), fail.
|
||||||
|
Reference in New Issue
Block a user