From f152092a099cfbd8cbe48997db29d540f3bd519c Mon Sep 17 00:00:00 2001 From: vsc Date: Tue, 26 Feb 2002 21:03:15 +0000 Subject: [PATCH] handle unbound meta-calls git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@384 b08c6af1-5177-4d33-ba66-4b1c6b8b522a --- pl/debug.yap | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/pl/debug.yap b/pl/debug.yap index b90402015..ad9687232 100644 --- a/pl/debug.yap +++ b/pl/debug.yap @@ -731,13 +731,15 @@ debugging :- '$handle_signals'(Signals), G=[M|Goal], '$execute'(M:Goal). -'$creep'([_|'$execute_in_mod'(G,ModNum)]) :- !, +'$creep'([M|V]) :- var(V), !, + throw(error(instantiation_error,M:call(M:V))). +'$creep'([M|'$execute_in_mod'(G,ModNum)]) :- !, '$module_number'(Mod,ModNum), '$creep'([Mod|G]). '$creep'([M|'$execute_within'(G)]) :- !, '$creep'([M|G]). '$creep'([M|'$last_execute_within'(G)]) :- !, - '$creep'([M|G]). + '$creep'([M|G])). '$creep'(G) :- '$direct_spy'(G). '$trace'(P,'!'(_),Mod,L,NC) :- !,