fix redundant pattern match warning

unisonweb · Jun 25, 2024 · 4b9945d · 4b9945d
1 parent cfda33f
commit 4b9945d
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/parser-typechecker/src/Unison/PatternMatchCoverage/Solve.hs b/parser-typechecker/src/Unison/PatternMatchCoverage/Solve.hs
@@ -518,11 +518,7 @@ addConstraint con0 nc = do
     C.PosLit var pmlit ->
       let updateLiteral pos neg lit
             | Just lit1 <- pos,
-              lit1 == lit = case lit1 == lit of
-                -- we already have this positive constraint
-                True -> (pure (), Ignore)
-                -- contradicts positive info
-                False -> (contradiction, Ignore)
+              lit1 == lit = (pure (), Ignore)  -- we already have this positive constraint
             -- the constraint contradicts negative info
             | Set.member lit neg = (contradiction, Ignore)
             | otherwise = (pure (), Update (Just lit, neg))