unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-19 06:17:33 +03:00
Code Issues Projects Releases Wiki Activity

Update parser-typechecker/src/Unison/PatternMatchCoverage/Solve.hs

Browse Source
This commit is contained in:
Arya Irani 2024-06-25 15:33:22 -04:00 committed by GitHub
parent 364b7790ca
commit 627acb7f3a
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
parser-typechecker/src/Unison/PatternMatchCoverage/Solve.hs
View File

@ -519,8 +519,8 @@ addConstraint con0 nc = do
let updateLiteral pos neg lit
| Just lit1 <- pos,
lit1 == lit =
(pure (), Ignore) -- we already have this positive constraint
-- the constraint contradicts negative info
-- we already have this positive constraint
(pure (), Ignore)
| Set.member lit neg = (contradiction, Ignore)
| otherwise = (pure (), Update (Just lit, neg))
in modifyLiteralC var pmlit updateLiteral nc