reexport
This commit is contained in:
parent
3b186a064a
commit
4a28e5861a
@ -1347,8 +1347,11 @@ account the following observations:
|
||||
*/
|
||||
'$reexport'( TOpts, File, Reexport, Imports, OldF ) :-
|
||||
( Reexport == false -> true ;
|
||||
'$lf_opt'('$parent_topts', TOpts, OldTOpts),
|
||||
'$lf_opt'('$context_module', OldTOpts, OldContextModule),
|
||||
( '$lf_opt'('$parent_topts', TOpts, OldTOpts),
|
||||
'$lf_opt'('$context_module', OldTOpts, OldContextModule)
|
||||
;
|
||||
OldContextModule = user
|
||||
),
|
||||
'$import_to_current_module'(File, OldContextModule, Imports, _, TOpts),
|
||||
'$extend_exports'(File, Imports, OldF )
|
||||
).
|
||||
|
@ -429,6 +429,7 @@ export_list(Module, List) :-
|
||||
'$do_import'(T, Module, ContextModule),
|
||||
'$add_to_imports'(Tab, Module, ContextModule).
|
||||
|
||||
%'$do_import'(K, _, _) :- writeln(K), fail.
|
||||
'$do_import'(op(Prio,Assoc,Name), _Mod, ContextMod) :-
|
||||
op(Prio,Assoc,ContextMod:Name).
|
||||
'$do_import'(N0/K0-N0/K0, Mod, Mod) :- !.
|
||||
|
Reference in New Issue
Block a user