From: Markus Triska <triska@metalevel.at>
Date: Mon, 14 Aug 2023 15:54:18 +0000 (+0200)
Subject: ENHANCED: domain error in zcompare/3 (#1723)
X-Git-Tag: v0.9.2~9^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=f02cd0ad3c3303077142b534c32117ea38602052;p=scryer-prolog.git

ENHANCED: domain error in zcompare/3 (#1723)
---

diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index ed01f079..2d991af6 100644
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -7488,9 +7488,15 @@ zcompare(Order, A, B) :-
             propagator_init_trigger([A,B], pzcompare(Order, A, B))
         ).
 
-zcompare_(=, A, B) :- #A #= #B.
-zcompare_(<, A, B) :- #A #< #B.
-zcompare_(>, A, B) :- #A #> #B.
+zcompare_(O, A, B) :-
+        (   member(O, "<=>") -> true
+        ;   domain_error(order, O, zcompare/3)
+        ),
+        zcompare__(O, A, B).
+
+zcompare__(=, A, B) :- #A #= #B.
+zcompare__(<, A, B) :- #A #< #B.
+zcompare__(>, A, B) :- #A #> #B.
 
 %% chain(+Relation, +Zs)
 %