fix module dereferencing.
This commit is contained in:
parent
067d6d3f4f
commit
2bfc88db98
@ -137,7 +137,6 @@ module(N) :-
|
|||||||
'$import'([PS|L],_,_) :-
|
'$import'([PS|L],_,_) :-
|
||||||
'$do_error'(domain_error(predicate_spec,PS),import([PS|L])).
|
'$do_error'(domain_error(predicate_spec,PS),import([PS|L])).
|
||||||
|
|
||||||
$use_preds(Imports,Publics,Mod,M) :- writeln(),fail.
|
|
||||||
'$use_preds'(Imports,Publics,Mod,M) :- var(Imports), !,
|
'$use_preds'(Imports,Publics,Mod,M) :- var(Imports), !,
|
||||||
'$import'(Publics,Mod,M).
|
'$import'(Publics,Mod,M).
|
||||||
'$use_preds'(M:L,Publics,Mod,_) :-
|
'$use_preds'(M:L,Publics,Mod,_) :-
|
||||||
@ -150,6 +149,7 @@ $use_preds(Imports,Publics,Mod,M) :- writeln(),fail.
|
|||||||
( lists:memberchk(N/K,Publics) ->
|
( lists:memberchk(N/K,Publics) ->
|
||||||
true ;
|
true ;
|
||||||
print_message(warning,import(N/K,Mod,M,private))
|
print_message(warning,import(N/K,Mod,M,private))
|
||||||
|
),
|
||||||
'$do_import'(N, K, M, Mod).
|
'$do_import'(N, K, M, Mod).
|
||||||
'$use_preds'(N//K0,Publics,M,Mod) :-
|
'$use_preds'(N//K0,Publics,M,Mod) :-
|
||||||
K is K0+2,
|
K is K0+2,
|
||||||
|
Reference in New Issue
Block a user