This commit is contained in:
Vitor Santos Costa 2015-01-17 02:41:30 -08:00
parent 45e3711ca2
commit e69c9fc056

View File

@ -136,8 +136,12 @@ mode and the existing spy-points, when the debugger is on.
'$exec_spy'( M, G, Action ) :- '$exec_spy'( M, G, Action ) :-
'$import_chain'( M, G, M0, S0 ), '$follow_import_chain'( M, G, M0, G0 ),
'$system_predicate'(S0,M0), '$exec_spy2'( M0, G0, Action ).
'$exec_spy2'( M0, S0, Action ) :-
'$system_predicate'(S0,M0), 1,
'$flags'(S0,M0,F,F), '$flags'(S0,M0,F,F),
( (
F /\ 0x118dd080 =\= 0 F /\ 0x118dd080 =\= 0
@ -149,6 +153,8 @@ mode and the existing spy-points, when the debugger is on.
true true
), ),
'$suspy2'(Action, S0, M0 ). '$suspy2'(Action, S0, M0 ).
'$exec_spy2'( M0, S0, Action ) :-
'$suspy2'(Action, S0, M0 ).
'$suspy2'(spy,T,M) :- '$suspy2'(spy,T,M) :-
recorded('$spy','$spy'(T,M),_), !, recorded('$spy','$spy'(T,M),_), !,