Merge requests · Glasgow Haskell Compiler / GHC · GitLab

Desugar record notation with correct multiplicities 0 of 8 checklist items completed

!13647 · created Nov 25, 2024 by Arnaud Spiwack
LinearTypes records
- Closed
- 7
- Approved
updated Nov 25, 2024
Correct -Wpartial-fields warning to say "Definition" rather than "Use"

!12502 · created Apr 25, 2024 by Adam Gundry 9.12.1
diagnostic quality records
- Closed
- 18
- Approved
updated Jul 04, 2024
Fix non-compiling extensible record HasField example

!12758 · created May 30, 2024 by George Thomas
documentation records
- Closed
- 3
- Approved
updated Jun 12, 2024
OverloadedRecordFields: mention parent name in 'ambiguous occurrence' error

!8232 · created May 15, 2022 by Alex D
OverloadedRecordFields error messages records
- Closed
- 5
- 1
- Approved
updated Aug 16, 2022
Implement NoFieldSelectors 4 of 5 checklist items completed

!4017 · created Sep 10, 2020 by Fumiaki Kinoshita
ghc proposal records
- Closed
- 131
updated Feb 16, 2021
Renamer refactor

!4467 · created Nov 18, 2020 by Adam Gundry
OverloadedRecordFields PatternSynonyms records renamer
- Closed
- 44
- 1
updated Feb 03, 2021
Fix desugaring of record updates on data families

!4222 · created Oct 06, 2020 by Ryan Scott
TypeFamilies records
- Closed
- 33
- Approved
updated Oct 14, 2020
Use conLikeUserTyVarBinders to quantify field selector types

!3052 · created Apr 07, 2020 by Ryan Scott 9.0.1
GADTs records
- Closed
- 7
- Approved
updated Apr 12, 2020
Enable ImpredicativeTypes internally when typechecking selector bindings

!3030 · created Apr 03, 2020 by Ryan Scott 9.0.1
PatternSynonyms RankNTypes records
- Closed
- 4
- Approved
updated Apr 04, 2020