From 8582d4ff4590155f1ae66f26a3db4cd50ff3c07d Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Sun, 28 Feb 2010 10:08:01 +0000 Subject: [PATCH] term_expansion can be called from the current_module, as well as from user. --- pl/boot.yap | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/pl/boot.yap b/pl/boot.yap index f2b342d6b..dd638a359 100755 --- a/pl/boot.yap +++ b/pl/boot.yap @@ -1131,12 +1131,14 @@ access_file(F,Mode) :- 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)) ; '$expand_term_grammar'(Term,Expanded) ), -!. + !. %