fix repeated import declarations
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@337 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
parent
e5022b9c2a
commit
0fa942e238
@ -251,9 +251,10 @@ module(N) :-
|
|||||||
( '$check_import'(M,T,N,K) ->
|
( '$check_import'(M,T,N,K) ->
|
||||||
% '$format'(user_error,"[vsc1: Importing ~w to ~w]~n",[M:N/K,T]),
|
% '$format'(user_error,"[vsc1: Importing ~w to ~w]~n",[M:N/K,T]),
|
||||||
( T = user ->
|
( T = user ->
|
||||||
recordz('$import','$import'(M,user,N,K),_)
|
( recordzifnot('$import','$import'(M,user,N,K),_) -> write(importing(M,T,N,K)),nl
|
||||||
|
; true)
|
||||||
;
|
;
|
||||||
recorda('$import','$import'(M,T,N,K),_)
|
( recordaifnot('$import','$import'(M,T,N,K),_) -> write(importing(M,T,N,K)),nl ; true )
|
||||||
)
|
)
|
||||||
;
|
;
|
||||||
true
|
true
|
||||||
@ -291,9 +292,9 @@ module(N) :-
|
|||||||
% '$trace_module'(importing(M:N/K,Mod)),
|
% '$trace_module'(importing(M:N/K,Mod)),
|
||||||
% '$format'(user_error,"[vsc2: Importing ~w to ~w]~n",[M:N/K,T]),
|
% '$format'(user_error,"[vsc2: Importing ~w to ~w]~n",[M:N/K,T]),
|
||||||
(Mod = user ->
|
(Mod = user ->
|
||||||
recordz('$import','$import'(M,user,N,K),_)
|
( recordzifnot('$import','$import'(M,user,N,K),_) -> write(importing(M,T,N,K)),nl ; true )
|
||||||
;
|
;
|
||||||
recorda('$import','$import'(M,Mod,N,K),_)
|
( recordaifnot('$import','$import'(M,Mod,N,K),_) -> write(importing(M,T,N,K)),nl ; true )
|
||||||
)
|
)
|
||||||
;
|
;
|
||||||
true
|
true
|
||||||
|
Reference in New Issue
Block a user