handle user:goal_expansion, but not Target:goal_expansion, explicitly in loader.pl

diff --git a/src/loader.pl b/src/loader.pl
index 548d0e46f61f0e13a5440fe33db43bd6b27bb560..c34c57f4ba2e7ef9039028b953b4d775f2c001ad 100644 (file)
--- a/src/loader.pl
+++ b/src/loader.pl
@@ -231,15 +231,15 @@ compile_dispatch(user:term_expansion(Term, Terms), Evacuable, VNs) :-
 compile_dispatch((user:term_expansion(Term, Terms) :- Body), Evacuable, VNs) :-
     '$add_term_expansion_clause'((term_expansion(Term, Terms) :- Body), Evacuable, VNs).
 compile_dispatch(goal_expansion(Term, Terms), Evacuable, VNs) :-
-    prolog_load_context(module, Target),
-    '$add_goal_expansion_clause'(Target, goal_expansion(Term, Terms), Evacuable, VNs).
+    prolog_load_context(module, user),
+    '$add_goal_expansion_clause'(user, goal_expansion(Term, Terms), Evacuable, VNs).
 compile_dispatch((goal_expansion(Term, Terms) :- Body), Evacuable, VNs) :-
-    prolog_load_context(module, Target),
-    '$add_goal_expansion_clause'(Target, (goal_expansion(Term, Terms) :- Body), Evacuable, VNs).
-compile_dispatch(Target:goal_expansion(Term, Terms), Evacuable, VNs) :-
-    '$add_goal_expansion_clause'(Target, goal_expansion(Term, Terms), Evacuable, VNs).
-compile_dispatch((Target:goal_expansion(Term, Terms) :- Body), Evacuable, VNs) :-
-    '$add_goal_expansion_clause'(Target, (goal_expansion(Term, Terms) :- Body), Evacuable, VNs).
+    prolog_load_context(module, user),
+    '$add_goal_expansion_clause'(user, (goal_expansion(Term, Terms) :- Body), Evacuable, VNs).
+compile_dispatch(user:goal_expansion(Term, Terms), Evacuable, VNs) :-
+    '$add_goal_expansion_clause'(user, goal_expansion(Term, Terms), Evacuable, VNs).
+compile_dispatch((user:goal_expansion(Term, Terms) :- Body), Evacuable, VNs) :-
+    '$add_goal_expansion_clause'(user, (goal_expansion(Term, Terms) :- Body), Evacuable, VNs).
 
 
 compile_declaration(use_module(Module), Evacuable) :-