improve cmp_BinInt

johnynek · Apr 10, 2024 · d7d1e03 · d7d1e03
1 parent 1a249de
commit d7d1e03
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/test_workspace/BinInt.bosatsu b/test_workspace/BinInt.bosatsu
@@ -26,10 +26,7 @@ def cmp(a: BinInt, b: BinInt) -> Comparison:
       match b:
         case BWNot(b):
           # -a - 1 <> -b - 1 == (a <> b).invert
-          match cmp_BinNat(a, b):
-            case GT: LT
-            case LT: GT
-            case EQ: EQ
+          cmp_BinNat(b, a)
         case FromBinNat(_): LT
 
 def eq(a: BinInt, b: BinInt) -> Bool: