@@ -285,9 +285,9 @@ instance Ord (Bits n) where
285 (MkBits x) >= (MkBits y) = boolOp gte x y
285 (MkBits x) >= (MkBits y) = boolOp gte x y
286 (MkBits x) > (MkBits y) = boolOp gt x y
286 (MkBits x) > (MkBits y) = boolOp gt x y
287 compare (MkBits x) (MkBits y) =
287 compare (MkBits x) (MkBits y) =
288− if (x `lt` y) /= 0
288+ if boolOp lt x y
290− else if (x `eq` y) /= 0
290+ else if boolOp eq x y