From: Mark Thom <markjordanthom@gmail.com>
Date: Tue, 15 Feb 2022 01:46:15 +0000 (-0700)
Subject: don't unify module-qualified variables to ! (#1281)
X-Git-Tag: v0.9.0^2~23
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=68ac92a616478ed581a3279aa55030df338643cf;p=scryer-prolog.git

don't unify module-qualified variables to ! (#1281)
---

diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl
index 94ff77d0..f88fef3a 100644
--- a/src/lib/builtins.pl
+++ b/src/lib/builtins.pl
@@ -240,7 +240,7 @@ comma_dispatch_prep(Gs, B, [Cont|Conts]) :-
           comma_dispatch_prep(G1, B, IConts1),
           cont_list_goal(IConts1, Cont),
           comma_dispatch_prep(G2, B, Conts)
-       ;  ( Gs = ! ; Gs = _:! ) ->
+       ;  Gs == ! ->
           Cont = builtins:set_cp(B),
           Conts = []
        ;  functor(Gs, ';', 2) ->