Issues · Glasgow Haskell Compiler / GHC · GitLab

PmCheck: Long-distance info and where clause "refactorings" are strange

#18823 · opened Oct 09, 2020 by Sebastian Graf needs triage pattern match warnings
- 1
updated Oct 09, 2020
Empty unlifted sums are always uninhabited

#18773 · opened Sep 29, 2020 by David Feuer Pnormal UnboxedSums bug pattern match warnings
- 4
updated Sep 30, 2020
TypeError and GADT pattern matching exhaustiveness

#18766 · opened Sep 29, 2020 by Ziyang Liu Pnormal bug custom type errors pattern match warnings
- 3
updated Oct 01, 2020
PmCheck: Inhabitation testing through set approximations

#18735 · opened Sep 22, 2020 by Sebastian Graf feature request pattern match warnings
- 1
updated Sep 30, 2020
COMPLETE pragmas orphan and recompilation semantics

#18675 · opened Sep 10, 2020 by Sebastian Graf pattern match warnings
- 9
updated Sep 27, 2020
PmCheck: Mutually incompatible residual COMPLETE matches

#18667 · opened Sep 08, 2020 by Sebastian Graf Pnormal bug pattern match warnings
- 2
updated Sep 14, 2020
documentation (and naming) of -Woverlapping-patterns

#18643 · opened Sep 02, 2020 by jwaldmann needs triage pattern match warnings
- 3
updated Sep 08, 2020
Add mechanism to suppress pattern-match exhaustiveness checking at a finer granularity

#18610 · opened Aug 26, 2020 by Ryan Scott feature request pattern match warnings
- 2
updated Aug 26, 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
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 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
A shorter COMPLETE pragma syntax for pattern synonyms that replace specific constructors

#17095 · opened Aug 21, 2019 by Simon Jakobi PatternSynonyms feature request pattern match warnings
- 1
updated Sep 01, 2020
COMPLETE sets don't get type-checked

#16957 · opened Jul 19, 2019 by Sebastian Graf Plow PatternSynonyms pattern match warnings
- 4
updated Sep 25, 2020
enable typechecker plugins within tcCheckSatisfiability

#16639 · opened May 08, 2019 by nfrisby bug pattern match warnings plugins typechecker plugins
- 7
updated May 03, 2020
Exhaustivity checking GADT with free variables

#16278 · opened Feb 02, 2019 by Andrew Martin GADTs Pnormal Trac import TypeFamilies bug pattern match warnings 5
- 7
updated Jun 17, 2020
Exhaustivity check should suggest when COMPLETE could be helpful

#15014 · opened Apr 08, 2018 by Edward Z. Yang 8.4.3 Pnormal PatternSynonyms Trac import bug error messages pattern match warnings typechecker 5
- 0
updated Jul 07, 2019