Issues · Glasgow Haskell Compiler / GHC · GitLab

[Feature Request] Can GHC report implicit constructor matches?

#21572 · created May 14, 2022 by Levent Erkök Pnormal Tfeature request pattern match warnings
- 4
updated May 16, 2022
GHC 9.0 or later gives duplicate -Wincomplete-uni-patterns warnings

#21451 · created Apr 28, 2022 by Ryan Scott 9.6.1 Pnormal Tbug pattern match warnings
- 2
updated Apr 29, 2022
Gratuitous -Wincomplete-record-updates warning in do-notation

#21360 · created Apr 07, 2022 by Jakob Brünker Pnormal Tbug pattern match warnings program incorrectly rejected
- 0
updated Apr 12, 2022
Unexpected warning "redundant constraint" when a Constraint type family is used to limit GADT patterns

#20896 · created Jan 02, 2022 by Evgeny Poberezkin GADTs Pnormal Tbug pattern match warnings typechecker
- 11
updated Jan 05, 2022
Different -Woverlapping-patterns warnings in GHCi versus compiled code

#20883 · created Dec 29, 2021 by Ryan Scott GHCi Plow Tbug pattern match warnings
- 2
updated Jan 05, 2022
Per-definition control over pattern completeness (= coverage) checker

#20643 · created Nov 08, 2021 by Andreas Abel Pnormal Tfeature request pattern match warnings proposal pending
- 2
- 1
updated Nov 15, 2021
Exhaustive check does not show enough pattern information for view patterns

#20595 · created Nov 01, 2021 by ksqsf Pnormal Tbug error messages pattern match warnings
- 7
updated Apr 29, 2022
Pattern match warnings suggest internal constructors

#20311 · created Aug 31, 2021 by BinderDavid ⊥ Plow Ttask error messages pattern match warnings
- 9
updated Dec 15, 2021
Pattern match checker can be very slow

#20251 · created Aug 19, 2021 by Jaro Reinders Pnormal Tbug compiler perf pattern match warnings
- 13
updated May 10, 2022
Type.Reflection code takes long to compile (48s on 8.10, 12s on 9.3)

#20106 · created Jul 12, 2021 by Icelandjack Phigh Tbug compiler perf generics info needed pattern match warnings
- 15
updated Nov 30, 2021
wording of compile-time warning/run-time error message for binding with "| False"

#20037 · created Jun 24, 2021 by jwaldmann info needed pattern match warnings
- 4
updated Jun 29, 2021
Follow-up from "Fix the binder-swap transformation in OccurAnal" 0 of 1 task completed

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

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

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

#19384 · created 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 · created Feb 05, 2021 by Hai / @BestYeen Pnormal Tfeature request error messages pattern match warnings
- 1
- 2
updated Feb 22, 2022
E-Graphs for representation of normalised refinement types in the pattern-match checker

#19272 · created Jan 28, 2021 by Sebastian Graf Ttask pattern match warnings simplifier typechecker
- 3
updated Sep 24, 2021
PmCheck: Long-distance info and where clause "refactorings" are strange

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

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

#18766 · created Sep 29, 2020 by Ziyang Liu Pnormal Tbug custom type errors pattern match warnings
- 7
updated Aug 16, 2021

Prev
1
2
3
Next