From: Mark Thom <markjordanthom@gmail.com>
Date: Fri, 17 Feb 2023 07:20:15 +0000 (-0700)
Subject: keep phrase goal qualified even if qualifier is a variable
X-Git-Tag: v0.9.2~186
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=601ff567e3b3175fed08b36c4f078c514daecfb3;p=scryer-prolog.git

keep phrase goal qualified even if qualifier is a variable
---

diff --git a/src/lib/dcgs.pl b/src/lib/dcgs.pl
index 08870316..33b4c129 100644
--- a/src/lib/dcgs.pl
+++ b/src/lib/dcgs.pl
@@ -215,6 +215,9 @@ user:goal_expansion(phrase(GRBody, S, S0), GRBody2) :-
           E,
           dcgs:error_goal(E, GRBody1)
          ),
-    module_call_qualified(M, GRBody1, GRBody2).
+    (  GRBody = (_:_) ->
+       GRBody2 = M:GRBody1
+    ;  GRBody2 = GRBody1
+    ).
 
 user:goal_expansion(phrase(GRBody, S), phrase(GRBody, S, [])).