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

debugger: fix bad uses of metacall.

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@312 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc
2002-01-19 16:10:53 +00:00
parent d413b1906c
commit 71f276e5db
2 changed files with 10 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
pl/debug.yap
View File

@@ -491,7 +491,7 @@ debugging :-
CP is '$last_choice_pt',
(
'$fetch_clause'(G,M,Cl,Clause),
(Clause = true -> true ; '$call'(Clause,M,CP) )
(Clause = true -> true ; '$call'(Clause,CP,Clause,M) )
;
Next is Cl+1, '$set_value'(spy_cl,Next), fail
).
@@ -512,7 +512,7 @@ debugging :-
'$fetch_reference_from_index'(Index, Cl1, Ref),
instance(Ref, (G :- Clause))
),
(Clause = true -> true ; '$call'(Clause,M,CP) )
(Clause = true -> true ; '$call'(Clause,CP,Clause,M) )
;
Next is Cl+1, '$set_value'(spy_cl,Next), fail
).
@@ -531,7 +531,7 @@ debugging :-
(
'$db_nb_to_ref'(Cl,M:G,Ref),
instance(Ref, (G :- Clause)),
(Clause = true -> true ; '$call'(Clause,M,CP) )
(Clause = true -> true ; '$call'(Clause,CP,Clause,M) )
;
Next is Cl+1, '$set_value'(spy_cl,Next), fail
).
@@ -571,7 +571,7 @@ debugging :-
),
(Clause = true -> true ;
% otherwise fast skip may try to interpret assembly builtins.
'$get_value'(spy_fs,1) -> '$call'(Clause,M,CP) ;
'$get_value'(spy_fs,1) -> '$call'(Clause,CP,Clause,M) ;
'$creep_call'(Clause,M,CP)
)
;
@@ -587,7 +587,7 @@ debugging :-
instance(Ref, (G :- Clause)),
(Clause = true -> true ;
% otherwise fast skip may try to interpret assembly builtins.
'$get_value'(spy_fs,1) -> '$call'(Clause,M,CP) ;
'$get_value'(spy_fs,1) -> '$call'(Clause,CP,Clause,M) ;
'$creep_call'(Clause,M,CP)
)
;