make sure that even if we optimise builtins in a predicate, source

code will still see the original.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@772 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2003-02-13 12:41:35 +00:00
parent 06d65a5be7
commit 9cde858f11

View File

@ -423,7 +423,9 @@ module(N) :-
'$system_predicate'(G,M), !, '$system_predicate'(G,M), !,
'$c_built_in'(G,M,Gi), '$c_built_in'(G,M,Gi),
(Gi \== G -> (Gi \== G ->
'$module_expansion'(Gi,Gi,G2,M,CM,TM,HVars) '$module_expansion'(Gi,_,G2,M,CM,TM,HVars),
% make built-in processing transparent.
(TM = M -> G1 = G ; G1 = M:G)
; TM = M -> ; TM = M ->
G2 = G, G1 = G G2 = G, G1 = G
; ;