Changes between Version 12 and Version 13 of Records/OverloadedRecordFields/Design


Ignore:
Timestamp:
Mar 20, 2015 3:19:36 PM (5 years ago)
Author:
adamgundry
Comment:

link to redesign page

Legend:

Unmodified
Added
Removed
Modified
  • Records/OverloadedRecordFields/Design

    v12 v13  
    11= OverloadedRecordFields design =
    22
    3 '''This page describes the design of the `OverloadedRecordFields` extension, as implemented. It is targeted at GHC power users.'''
     3'''This page describes the design of the `OverloadedRecordFields` extension, as implemented in 2013. It has been superseded by the [wiki:Records/OverloadedRecordFields/Redesign 2015 redesign], but may be useful for background context.'''
    44
    55Separate [wiki:Records/OverloadedRecordFields/Implementation notes on the implementation] are available, but not necessarily comprehensible. See the [wiki:Records/OverloadedRecordFields OverloadedRecordFields overview page] for information about the history and current status of the extension.