improve performance of depth_limit call.

This commit is contained in:
Vitor Santos Costa 2010-01-17 00:03:55 +00:00
parent d3f0410c7d
commit e86b28911f
1 changed files with 3 additions and 0 deletions

View File

@ -50,6 +50,9 @@ do_not_compile_expressions :- set_value('$c_arith',[]).
nonvar(G),
G = (Mod:G1), !,
'$do_c_built_metacall'(G1, Mod, OUT).
'$do_c_built_in'(call(G), Mod, OUT) :-
var(G), !,
'$do_c_built_metacall'(G, Mod, OUT).
'$do_c_built_in'(depth_bound_call(G,D), M, OUT) :- !,
'$do_c_built_in'(G, M, NG),
% make sure we don't have something like (A,B) -> $depth_next(D), A, B.