Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Menu
Open sidebar
Glasgow Haskell Compiler
GHC
Issues
Open
41
Closed
121
All
162
New issue
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
Current
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
None
Any
{{title}}
None
Any
{{title}}
&{{id}}
Created date
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
Title
Weight
Blocking
[Feature Request] Can GHC report implicit constructor matches?
#21572
· created
May 14, 2022
by
Levent Erkök
P
normal
T
feature 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
P
normal
T
bug
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
P
normal
T
bug
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
P
normal
T
bug
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
P
low
T
bug
pattern match warnings
2
updated
Jan 05, 2022
Per-definition control over pattern completeness (= coverage) checker
#20643
· created
Nov 08, 2021
by
Andreas Abel
P
normal
T
feature 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
P
normal
T
bug
error messages
pattern match warnings
7
updated
Apr 29, 2022
Pattern match warnings suggest internal constructors
#20311
· created
Aug 31, 2021
by
BinderDavid
⊥
P
low
T
task
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
P
normal
T
bug
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
P
high
T
bug
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
P
normal
T
bug
pattern match warnings
testsuite
0
updated
Feb 24, 2021
Deprecate `-Winaccessible-code`
#19428
· created
Feb 23, 2021
by
Sebastian Graf
T
task
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
P
normal
T
bug
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
P
normal
T
feature 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
T
task
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
P
normal
T
bug
pattern match warnings
1
1
updated
Nov 07, 2021
Empty unlifted sums are always uninhabited
#18773
· created
Sep 29, 2020
by
David Feuer
P
normal
T
bug
UnboxedSums
pattern match warnings
4
updated
Sep 30, 2020
TypeError and GADT pattern matching exhaustiveness
#18766
· created
Sep 29, 2020
by
Ziyang Liu
P
normal
T
bug
custom type errors
pattern match warnings
7
updated
Aug 16, 2021
Prev
1
2
3
Next