Changes between Version 44 and Version 45 of Records/OverloadedRecordFields


Ignore:
Timestamp:
Feb 3, 2018 3:49:46 PM (9 months ago)
Author:
adamgundry
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Records/OverloadedRecordFields

    v44 v45  
    11= OverloadedRecordFields =
    22
    3 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:
     3The `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:
    44
    55 * [https://github.com/ghc-proposals/ghc-proposals/pull/6 GHC proposal for OverloadedRecordFields] (2016 - most up to date)
     
    77    * Part 1: [wiki:Records/OverloadedRecordFields/DuplicateRecordFields DuplicateRecordFields] (in GHC 8.0)
    88    * Part 2: [wiki:Records/OverloadedRecordFields/OverloadedLabels OverloadedLabels] (in GHC 8.0)
    9     * Part 3: [wiki:Records/OverloadedRecordFields/MagicClasses Magic type classes] (not yet in GHC HEAD)
     9    * Part 3: [wiki:Records/OverloadedRecordFields/MagicClasses Magic type classes] (partly in GHC 8.2)
    1010    * [http://www.well-typed.com/blog/2015/03/overloadedrecordfields-revived/ Adam Gundry's blog post]
    1111 * [https://ghc.haskell.org/trac/ghc/wiki/Records/OverloadedRecordFields/Design Original design] (2013)
     
    2727 * Phab:D761, Phab:D1391, Phab:D1486, Phab:D1586, Phab:D1600: `DuplicateRecordFields` extension
    2828 * Phab:D1331, Phab:D1623: `OverloadedLabels` extension
    29  * Phab:D1687: magic classes
     29 * Phab:D1687, Phab:D2708: magic classes
    3030 * [https://github.com/adamgundry/records-prototype Prototype implementation of the magic typeclasses]
    3131