module processing should also send the sources back.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@762 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
parent
1fc139ed4b
commit
f59cc22c5d
@ -423,11 +423,11 @@ 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,G1,G2,M,CM,TM,HVars) ;
|
'$module_expansion'(Gi,Gi,G2,M,CM,TM,HVars) ;
|
||||||
TM = M ->
|
TM = M ->
|
||||||
G2 = G
|
G2 = G, G1 = G,
|
||||||
;
|
;
|
||||||
G2 = M:G % atts:
|
G2 = M:G, G1 = M:G % atts:
|
||||||
).
|
).
|
||||||
'$complete_goal_expansion'(G, Mod, _, Mod, G, G, _) :- !.
|
'$complete_goal_expansion'(G, Mod, _, Mod, G, G, _) :- !.
|
||||||
'$complete_goal_expansion'(G, GMod, _, _, GMod:G, GMod:G, _).
|
'$complete_goal_expansion'(G, GMod, _, _, GMod:G, GMod:G, _).
|
||||||
|
Reference in New Issue
Block a user