Merge pull request #1119 from mthom/expand_call_goals_as_call_goals

Expand call goals as call goals so that goals in control constructs are qualified properly
2021-11-28 16:16:47 -05:00
parent 5a6a686f42 7dafcb0860
commit b96ae1bac0
1 changed files with 2 additions and 2 deletions
--- a/src/loader.pl
+++ b/src/loader.pl
@@ -795,7 +795,7 @@ call_clause(G, G0) :-
       load_context(M)
    ;  true
    ),
-    expand_goal(M:G1, M, G0).
+    expand_goal(call(M:G1), M, call(G0)).


 call(G) :-
@@ -840,7 +840,7 @@ call_clause(G, Args, _, G0) :-
    ),
    append(As, Args, As1),
    G2 =.. [F | As1],
-    expand_goal(M:G2, M, G0).
+    expand_goal(call(M:G2), M, call(G0)).


 call(A,B) :-