OverloadedRecordFields extension for GHC allows multiple record datatypes to share the same field names, and uses type information to disambiguate them. For more information, see:
Content previously on this page has been moved to the SORF page.
Lennart: I've implemented 2&3 in the Mu compiler, and I'll add some comments about it.
Phab:D761 (merged) and Phab:D1391 (being reviewed):
Phab:D1331 (being reviewed):
- Prototype implementation of the magic typeclasses
The extension was implemented in 2013 as a Google Summer of Code project, by Adam Gundry under the mentorship of Simon Peyton Jones.