Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
10
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Open sidebar
Glasgow Haskell Compiler
GHC
Issues
Open
32
Closed
110
All
142
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
Weight
Blocking
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
P
normal
T
bug
pattern match warnings
testsuite
0
updated
Feb 24, 2021
Deprecate `-Winaccessible-code`
#19428
· opened
Feb 23, 2021
by
Sebastian Graf
T
task
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
P
normal
T
bug
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
P
normal
T
feature 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
T
task
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
P
normal
T
feature request
pattern match warnings
0
updated
Jan 29, 2021
False positives from -Wincomplete-record-updates
#19084
· opened
Dec 18, 2020
by
Joseph C. Sible
P
normal
T
bug
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
P
normal
T
bug
pattern match warnings
1
updated
Nov 09, 2020
Empty unlifted sums are always uninhabited
#18773
· opened
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
· opened
Sep 29, 2020
by
Ziyang Liu
P
normal
T
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
T
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
P
normal
T
bug
pattern match warnings
2
updated
Sep 14, 2020
documentation (and naming) of -Woverlapping-patterns
#18643
· opened
Sep 02, 2020
by
jwaldmann
P
low
T
bug
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
P
normal
T
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
T
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
3
pattern match warnings
0
updated
Oct 01, 2019
Prev
1
2
Next