diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix processing of meta-arguments.

Browse Source
This commit is contained in:
Vitor Santos Costa 2009-06-14 22:58:12 -05:00
parent 9aae90680e
commit 557ed169e8
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
pl/modules.yap
View File

@ -294,8 +294,8 @@ module(N) :-
% 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.
'$module_expansion'(M:G,call(M:G),'$execute_wo_mod'(G,M),_,_,_,_) :- var(M), !.
'$module_expansion'(M:G,G1,GO,_,_,HM,HVars) :- !,
'$module_expansion'(G,G1,GO,M,M,HM,HVars).
'$module_expansion'(M:G,G1,GO,_,CM,HM,HVars) :- !,
'$module_expansion'(G,G1,GO,M,CM,HM,HVars).
'$module_expansion'(G, G1, GO, CurMod, MM, HM, HVars) :-
'$pred_goal_expansion_on',
( user:goal_expansion(G, CurMod, GI)
@ -387,9 +387,9 @@ module(N) :-
NFlags is Fl \/ 0x200004,
'$flags'(P, M, Fl, NFlags).
'$is_mt'(M,H0,B,(context_module(CM),B),CM) :-
'$module_transparent'(_,M,_,H), !.
'$is_mt'(M,_,B,B,M).
'$is_mt'(M, H0, B, (context_module(CM),B), CM) :-
'$module_transparent'(_, M, _, H), !.
'$is_mt'(M, _, B, B, M).
% meta_predicate declaration
% records $meta_predicate(SourceModule,Functor,Arity,Declaration)