From: Mark Thom Date: Sun, 28 Nov 2021 17:27:50 +0000 (-0700) Subject: expand call goals as call goals (#1114) X-Git-Tag: v0.9.0~16^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=refs%2Fremotes%2Forigin%2Fexpand_call_goals_as_call_goals;p=scryer-prolog.git expand call goals as call goals (#1114) --- diff --git a/src/loader.pl b/src/loader.pl index b64b9553..8872e6f4 100644 --- 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) :-