Issues · Glasgow Haskell Compiler / GHC · GitLab

COMPLETE sets don't interact well with type family-returning pattern synonyms

#18371 · opened Jun 21, 2020 by Ryan Scott PatternSynonyms TypeFamilies pattern match warnings
- 2
updated Jul 02, 2020
PmCheck: Forcing a strict field can't lead to divergence

#18341 · opened Jun 16, 2020 by Sebastian Graf Pnormal bug pattern match warnings program incorrectly accepted
- 1
- 1
- 1
updated Jul 03, 2020
Bring `AnnotatedTree` structure in line with Lower Your Guards

#18316 · opened Jun 09, 2020 by Sebastian Graf pattern match warnings task
- 2
updated Jul 02, 2020
COMPLETE pragma doesn't expand type synonyms

#18277 · opened Jun 01, 2020 by isovector Pnormal bug pattern match warnings
- 4
updated Jul 03, 2020
COMPLETE pragma insufficiently documented

#18276 · opened Jun 01, 2020 by isovector Pnormal bug documentation pattern match warnings
- 8
updated Jun 06, 2020
Reordering alternatives in case expression causes exhaustive function to become non-exhaustive

#18273 · opened May 31, 2020 by Ryan Scott 8.12.1 bug pattern match warnings
- 1
- 1
updated Jul 03, 2020
Pattern match checking for unlifted types

#18249 · opened May 28, 2020 by Sebastian Graf feature request pattern match warnings
- 1
- 2
updated Jun 30, 2020
Coverage checker throws "tyOracle" panic on 8.10.1 or later

#17977 · opened Mar 29, 2020 by Ryan Scott 8.10.2 BangPatterns backport needed:8.10 bug compiler crash pattern match warnings
- 3
- 10
updated Jun 04, 2020
PM check time regression in 8.10-rc1

#17836 · opened Feb 14, 2020 by Adam Sandberg Eriksson 8.12.1 Phigh bug compiler perf pattern match warnings
- 11
updated Jul 02, 2020
Pattern match checking, bang patterns and newtypes

#17725 · opened Jan 21, 2020 by Sebastian Graf pattern match warnings
- 2
updated Jul 03, 2020
Missing overlapping pattern warning for pattern with required constraint

#17416 · opened Oct 29, 2019 by sheaf Pnormal bug pattern match warnings program incorrectly accepted
- 3
updated Oct 31, 2019
Consider handling of `not` in the pattern match checker.

#17361 · opened Oct 15, 2019 by Andreas Klebinger feature request pattern match warnings
- 1
- 1
updated Oct 31, 2019
Strictness of pattern synonym matches and pattern-match checking

#17357 · opened Oct 14, 2019 by Sebastian Graf pattern match warnings
- 10
updated Jul 03, 2020
Slow Typechecking (Followup of #14987)

#17223 · opened Sep 20, 2019 by Victor Cacciari Miraldo bug compiler perf pattern match warnings typechecker
- 1
- 24
updated Feb 27, 2020
Pattern match exhaustivity warnings for overloaded lists are weirdly redundant

#17219 · opened Sep 20, 2019 by Sebastian Graf pattern match warnings 3
- 0
updated Oct 01, 2019
Pattern match exhaustiveness check only suggets constructors from the vanilla COMPLETE set

#17218 · opened Sep 20, 2019 by Sebastian Graf PatternSynonyms pattern match warnings 3
- 0
updated Oct 01, 2019
Pattern exhaustivity check for simple arithmetic

#17216 · opened Sep 19, 2019 by Guillaume Bouchard ⊥ feature request pattern match warnings
- 1
updated Oct 01, 2019
Recursive exhaustivity checker for pattern

#17215 · opened Sep 19, 2019 by Guillaume Bouchard feature request pattern match warnings
- 1
updated Apr 20, 2020
Trivial exhaustiveness checking for view patterns and guards

#17208 · opened Sep 18, 2019 by Sebastian Graf Pnormal bug pattern match warnings program incorrectly rejected 5
- 1
- 2
updated Oct 09, 2019
PatternSynonyms on data family and COMPLETE signature lead to incorrect warning

#17207 · opened Sep 18, 2019 by Sebastian Graf Plow PatternSynonyms bug pattern match warnings 0
- 2
updated Jul 02, 2020