term_expansion can be called from the current_module, as well as from user.
This commit is contained in:
parent
db2bee6b9b
commit
8582d4ff45
@ -1131,12 +1131,14 @@ access_file(F,Mode) :-
|
|||||||
|
|
||||||
|
|
||||||
expand_term(Term,Expanded) :-
|
expand_term(Term,Expanded) :-
|
||||||
( \+ '$undefined'(term_expansion(_,_), user),
|
( '$current_module'(Mod), \+ '$undefined'(term_expansion(_,_), Mod),
|
||||||
|
'$notrace'(Mod:term_expansion(Term,Expanded))
|
||||||
|
; \+ '$undefined'(term_expansion(_,_), user),
|
||||||
'$notrace'(user:term_expansion(Term,Expanded))
|
'$notrace'(user:term_expansion(Term,Expanded))
|
||||||
;
|
;
|
||||||
'$expand_term_grammar'(Term,Expanded)
|
'$expand_term_grammar'(Term,Expanded)
|
||||||
),
|
),
|
||||||
!.
|
!.
|
||||||
|
|
||||||
|
|
||||||
%
|
%
|
||||||
|
Reference in New Issue
Block a user