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

triska · Aug 14, 2023 · f02cd0a · f02cd0a
1 parent a36df33
commit f02cd0a
Showing 1 changed file with 9 additions and 3 deletions.
diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
@@ -7488,9 +7488,15 @@
  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)
 %