fix a(X) :- m:X.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@219 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
parent
43550a67a8
commit
2ea16c2512
@ -362,6 +362,7 @@ module(N) :-
|
|||||||
% if I don't know what the module is, I cannot do anything to the goal,
|
% if I don't know what the module is, I cannot do anything to the goal,
|
||||||
% so I just put a call for later on.
|
% so I just put a call for later on.
|
||||||
'$module_expansion'(M:G,call(M:G),call(M:G),_,_,_,_) :- var(M), !.
|
'$module_expansion'(M:G,call(M:G),call(M:G),_,_,_,_) :- var(M), !.
|
||||||
|
'$module_expansion'(M:G,call(M:G),call(M:G),_,_,_,_) :- var(G), !.
|
||||||
% if M1 is given explicitly process G within M1's context.
|
% if M1 is given explicitly process G within M1's context.
|
||||||
'$module_expansion'(M:G,G1,GO,_Mod,_MM,TM,HVars) :- !,
|
'$module_expansion'(M:G,G1,GO,_Mod,_MM,TM,HVars) :- !,
|
||||||
% is this imported from some other module M1?
|
% is this imported from some other module M1?
|
||||||
|
Reference in New Issue
Block a user