Skip to content
GitLab
Explore
Sign in
Register
Open
0
Merged
5
Closed
43
All
48
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Updated date
Pmc: Improve implementation of -Wincomplete-record-selectors (#24824, #24891)
!12685
· created
May 22, 2024
by
Sebastian Graf
pattern match warnings
Closed
53
updated
Oct 04, 2024
Pmc: Treat `x ~ y @ty` the same as `x ~ y` (#23145)
!10152
· created
Mar 21, 2023
by
Sebastian Graf
pattern match warnings
Closed
9
updated
Sep 10, 2024
Take COMPLETE pragmas into account when computing whether a pattern is fallible in the typechecker
!10565
· created
Jun 01, 2023
by
sheaf
pattern match warnings
Closed
45
3
updated
Jul 15, 2024
Pmc: COMPLETE pragmas associated with Family TyCons should apply to representation TyCons as well (#24326)
!11891
· created
Jan 11, 2024
by
Sebastian Graf
pattern match warnings
Closed
17
Approved
updated
Jan 14, 2024
Pmc: Fix SrcLoc and warning for incomplete irrefutable pats (#24234)
!11701
· created
Dec 01, 2023
by
Sebastian Graf
pattern match warnings
Closed
7
Approved
updated
Dec 06, 2023
Much simpler language for PmCheck
!1851
· created
Oct 01, 2019
by
Sebastian Graf
8.10.1
pattern match warnings
Closed
55
updated
Jul 31, 2023
Respect -XStrict in the pattern-match checker (#21761)
!9469
· created
Dec 02, 2022
by
Sebastian Graf
pattern match warnings
Closed
6
Approved
updated
Dec 14, 2022
Add test for #19271
0 of 5 checklist items completed
!7642
· created
Feb 24, 2022
by
Alex D
pattern match warnings
Closed
8
updated
Feb 26, 2022
Pmc: Do inhabitation test for unlifted vars (#20631)
!6929
· created
Nov 07, 2021
by
Sebastian Graf
UnliftedDatatypes
pattern match warnings
Closed
5
Approved
updated
Feb 01, 2022
PmCheck: Positive info doesn't imply there is an inhabitant (#18960)
!4494
· created
Nov 23, 2020
by
Sebastian Graf
P
high
pattern match warnings
Closed
29
updated
Dec 17, 2021
Pmc: Don't case split on wildcard matches (#20642)
!6957
· created
Nov 10, 2021
by
Sebastian Graf
pattern match warnings
Closed
13
Approved
updated
Nov 17, 2021
Pmc: Don't call exprType on type arguments (#18767)
!4164
· created
Sep 29, 2020
by
Sebastian Graf
pattern match warnings
Closed
6
Approved
updated
Nov 10, 2021
PmCheck: Desugar string literal patterns with -XRebindableSyntax correctly (#18708)
!4108
· created
Sep 22, 2020
by
Sebastian Graf
pattern match warnings
Closed
11
updated
Sep 19, 2021
Pmc: Better SCC annotations and trace output
!6369
· created
Aug 17, 2021
by
Sebastian Graf
pattern match warnings
Closed
11
updated
Aug 23, 2021
Make `tcCheckSatisfiability` incremental (#18645)
!3971
· created
Sep 03, 2020
by
Sebastian Graf
pattern match warnings
typechecker
Closed
19
updated
Jul 26, 2021
Pmc: Implement `considerAccessible` (#18610)
!5100
· created
Feb 23, 2021
by
Sebastian Graf
pattern match warnings
Closed
43
Approved
updated
May 28, 2021
Pmc: Add regression test for #19622
!5437
· created
Apr 01, 2021
by
Sebastian Graf
pattern match warnings
Closed
3
Approved
updated
Apr 02, 2021
Pmc: Consider Required Constraints when guessing PatSyn arg types (#19475)
!5184
· created
Mar 05, 2021
by
Sebastian Graf
pattern match warnings
Closed
29
updated
Mar 14, 2021
Bring back COMPLETE sets filtered by result TyCon (#14422)
!5156
· created
Mar 02, 2021
by
Sebastian Graf
pattern match warnings
Closed
14
Approved
updated
Mar 05, 2021
PmCheck: Disattach COMPLETE pragma lookup from TyCons
!3959
· created
Sep 01, 2020
by
Sebastian Graf
pattern match warnings
Closed
15
updated
Feb 22, 2021
Prev
1
2
3
Next