From: Mark Thom <markjordanthom@gmail.com>
Date: Mon, 1 Mar 2021 02:01:36 +0000 (-0700)
Subject: apply expand_module_names to call(A) goals
X-Git-Tag: v0.9.0~148
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=54c142fc0d46a37277294473018eaf20b4292295;p=scryer-prolog.git

apply expand_module_names to call(A) goals
---

diff --git a/src/loader.pl b/src/loader.pl
index 8f1ef7e4..4bd88e37 100644
--- a/src/loader.pl
+++ b/src/loader.pl
@@ -657,7 +657,7 @@ expand_goal_cases((Module:Goals0), _, ExpandedGoals, HeadVars) :-
 
 expand_goal(UnexpandedGoals, Module, ExpandedGoals, HeadVars) :-
     (  var(UnexpandedGoals) ->
-       call(Module:UnexpandedGoals) = ExpandedGoals
+       expand_module_names(call(UnexpandedGoals), [0], Module, ExpandedGoals, HeadVars)
     ;  goal_expansion(UnexpandedGoals, Module, UnexpandedGoals1),
        (  Module \== user ->
           goal_expansion(UnexpandedGoals1, user, Goals)