Changes between Version 11 and Version 12 of Records/OverloadedRecordFields/MagicClasses


Ignore:
Timestamp:
Jan 4, 2018 2:53:25 PM (2 years ago)
Author:
ulysses4ever
Comment:

more specific note on the merged part

Legend:

Unmodified
Added
Removed
Modified
  • Records/OverloadedRecordFields/MagicClasses

    v11 v12  
    77This page describes new built-in magic typeclasses that form part 3 of the [wiki:Records/OverloadedRecordFields OverloadedRecordFields proposal]. These are not a language extension as such, rather they are classes with special-purpose solver behaviour (like `Coercible` and `Typeable`).
    88
    9 These is merged into GHC, see Phab:D2708.
     9The `HasField`-part or the proposal is merged into GHC, see Phab:D2708.
    1010
    1111== Design ==