wiki:Records/OverloadedRecordFields

OverloadedRecordFields

The OverloadedRecordFields extension for GHC will allow multiple record datatypes to share the same field names, and make it possible for type information to disambiguate them. For more information, see:

Content previously on this page has been moved to the SORF page.

Issues

Open Tickets:

#4479
Implement TDNR
#11228
Interaction between ORF and record pattern synonyms needs to be resolved.
#11343
Unable to infer type when using DuplicateRecordFields
#11352
Allow applying type to label
#11671
Allow labels starting with uppercase with OverloadedLabels
#12243
RebindableSyntax and OverloadedLabels
#12459
UnboxedTuple makes overloaded labels fail to parse

Closed Tickets:

#11103
DuplicateRecordFields + TemplateHaskell
#11167
Fixity of field-deconstructors incorrect
#11173
Infix declarations for record fields with DuplicateRecordFields are broken
#11227
Interaction between ORF and record pattern synonyms needs to be resolved.
#11328
Auto complete in ghci shows $sel:function:Type for DuplicateRecordFields fields
#11662
Regression using NamedFieldPuns with qualified field names
#12097
DuplicateRecordFields appears not to work in GHCi
#12609
unused-top-binds wrongly warns about underscore-prefixed field names when DuplicateRecordFields enabled

Add ORF to the ticket's keywords to include it in these lists.

Code

History

The extension was implemented in 2013 as a Google Summer of Code project, by Adam Gundry under the mentorship of Simon Peyton Jones.

Last modified 3 months ago Last modified on Sep 12, 2016 7:37:21 PM