Changes between Version 45 and Version 46 of Records/OverloadedRecordFields


Ignore:
Timestamp:
Jan 28, 2019 3:40:43 PM (7 months ago)
Author:
adamgundry
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Records/OverloadedRecordFields

    v45 v46  
    11= OverloadedRecordFields =
    22
    3 The `OverloadedRecordFields` family of extensions for GHC allow multiple record datatypes to share the same field names, and make it possible for type information to disambiguate selectors. For more information, see:
     3The Overloaded Record Fields family of extensions for GHC allow multiple record datatypes to share the same field names, and make it possible for type information to disambiguate selectors. In the design as implemented, there is no single `OverloadedRecordFields` extension, but there are extensions for `DuplicateRecordFields` and `OverloadedLabels`.
    44
    5  * [https://github.com/ghc-proposals/ghc-proposals/pull/6 GHC proposal for OverloadedRecordFields] (2016 - most up to date)
     5For more information, see:
     6
     7 * GHC proposals (most up to date):
     8    * [https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0042-record-set-field.rst Adding setField to HasField] (2018, not yet implemented)
     9    * [https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0002-overloaded-record-fields.rst Adding HasField class, changes to OverloadedLabels] (2016, implemented in GHC 8.2 without `IsLabel x (r -> a)` instance)
    610 * [wiki:Records/OverloadedRecordFields/Redesign Redesigned variant involving three extensions] (2015)
    711    * Part 1: [wiki:Records/OverloadedRecordFields/DuplicateRecordFields DuplicateRecordFields] (in GHC 8.0)