Merge requests · Glasgow Haskell Compiler / GHC · GitLab

Pmc: Improve implementation of -Wincomplete-record-selectors (#24824, #24891)

!12685 · created May 22, 2024 by Sebastian Graf
pattern match warnings
- Closed
- 53
updated Oct 15, 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
Phigh 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