fix : erase doubtful rule

hotman78 · Aug 4, 2021 · 203e26c · 203e26c
1 parent 78e399d
commit 203e26c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Jikka/Core/Convert/EqualitySolving.hs b/src/Jikka/Core/Convert/EqualitySolving.hs
@@ -41,7 +41,7 @@ rule = simpleRewriteRule $ \case
   -- reduce injective function
   Equal' t (Minus' (Negate' a) (Negate' b)) Lit0 -> Just $ Equal' t (Minus' a b) Lit0
   Equal' t (Minus' (Not' a) (Not' b)) Lit0 -> Just $ Equal' t (Minus' a b) Lit0
-  Equal' t (Minus' (BitNot' a) (BitNot' b)) Lit0 -> Just $ Equal' t (Minus' a b) Lit0
+  Equal' BoolTy (Minus' (BitNot' a) (BitNot' b)) Lit0 -> Just $ Equal' BoolTy (Minus' a b) Lit0
   Equal' t (Minus' (Fact' a) (Fact' b)) Lit0 -> Just $ Equal' t (Minus' a b) Lit0
   -- unpack list equality
   Equal' _ (Nil' _) (Cons' _ _ _) -> Just LitFalse