@@ -285,9 +285,9 @@ instance Ord (Bits n) where
285285 (MkBits x) >= (MkBits y) = boolOp gte x y
286286 (MkBits x) > (MkBits y) = boolOp gt x y
287287 compare (MkBits x) (MkBits y) =
288− if (x `lt` y) /= 0
288+ if boolOp lt x y
289289 then LT
290− else if (x `eq` y) /= 0
290+ else if boolOp eq x y
291291 then EQ
292292 else GT
293293