diff --git a/pl/arith.yap b/pl/arith.yap index 00a40a070..a927942ad 100644 --- a/pl/arith.yap +++ b/pl/arith.yap @@ -215,7 +215,7 @@ do_c_built_metacall(G1, Mod, _, call(Mod:G1)). '$composed_built_in'(V) :- var(V), !, fail. -'$composed_built_in'((yap_hacks:current_choice_point(_),NG,'$$cut_by'(_))) :- !, +'$composed_built_in'(('$current_choice_point'(_),NG,'$$cut_by'(_))) :- !, '$composed_built_in'(NG). '$composed_built_in'((_,_)). '$composed_built_in'((_;_)). diff --git a/pl/debug.yap b/pl/debug.yap index 144cf0b10..66b78a5a9 100644 --- a/pl/debug.yap +++ b/pl/debug.yap @@ -479,6 +479,9 @@ be lost. % % skip a goal or a port % +'$zip'(_GoalNumber, _G, _Module) :- + current_prolog_flag(debug, false), + !. '$zip'(GoalNumber, G, Module) :- '__NB_getval__'('$debug_run',StopPoint,fail), % zip mode off, we cannot zip @@ -796,6 +799,10 @@ be lost. %'$continue_debugging'(Exit, Debugger) :- % writeln('$continue_debugging'(Exit, Debugger)), fail. % that's what follows +'$continue_debugging'(_, _) :- + false, + current_prolog_flag( debug, false ), + !. '$continue_debugging'(_, debugger) :- !. % do not need to debug! % go back to original sequence. @@ -829,7 +836,7 @@ be lost. '$execute_clause'(G, M, R, CP). '$show_ancestors'(HowMany) :- - '__NB_getval__'('$spy_glist',[_|History]), + '__NB_getval__'('$spy_glist',[_|History], fail), ( History == [] ->