Issues · Glasgow Haskell Compiler / GHC · GitLab

Non-exhaustive patern matches in function declarations generated by QuasiQuotes don't report the warning

#19721 · opened Apr 20, 2021 by Geometer1729 needs triage pattern match warnings
- 2
updated Apr 20, 2021
Follow-up from "Fix the binder-swap transformation in OccurAnal" 0 of 1 task completed

#19585 · opened Mar 24, 2021 by Sebastian Graf pattern match warnings
- 0
updated Mar 24, 2021
GivenCheck fails in hpc way

#19430 · opened Feb 24, 2021 by Ben Gamari HPC Pnormal Tbug pattern match warnings testsuite
- 0
updated Feb 24, 2021
Deprecate `-Winaccessible-code`

#19428 · opened Feb 23, 2021 by Sebastian Graf Ttask pattern match warnings typechecker
- 3
updated Mar 02, 2021
Pattern mach checking for Rationals seems to be broken.

#19384 · opened Feb 15, 2021 by Andreas Klebinger Pnormal Tbug pattern match warnings
- 1
updated Feb 21, 2021
Missing warning for a run-time pattern match failure

#19327 · opened Feb 05, 2021 by Hai / @BestYeen Pnormal Tfeature request error messages pattern match warnings
- 1
- 1
updated Feb 21, 2021
E-Graphs for representation of normalised refinement types in the pattern-match checker

#19272 · opened Jan 28, 2021 by Sebastian Graf Ttask pattern match warnings simplifier typechecker
- 1
updated Jan 29, 2021
Enumerate potential cases in an EmptyCase error message

#19271 · opened Jan 28, 2021 by parsonsmatt Pnormal Tfeature request pattern match warnings
- 0
updated Jan 29, 2021
False positives from -Wincomplete-record-updates

#19084 · opened Dec 18, 2020 by Joseph C. Sible Pnormal Tbug error messages pattern match warnings program incorrectly rejected
- 3
updated Jan 12, 2021
PmCheck: Long-distance info and where clause "refactorings" are strange

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

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

#18766 · opened Sep 29, 2020 by Ziyang Liu Pnormal Tbug 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 Tfeature 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 Tbug pattern match warnings
- 2
updated Sep 14, 2020
documentation (and naming) of -Woverlapping-patterns

#18643 · opened Sep 02, 2020 by jwaldmann Plow Tbug documentation pattern match warnings
- 4
updated Feb 16, 2021
Missing overlapping pattern warning for pattern with required constraint

#17416 · opened Oct 29, 2019 by sheaf Pnormal Tbug 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 Tfeature 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 3 pattern match warnings
- 0
updated Oct 01, 2019