Changes between Version 40 and Version 41 of Records


Ignore:
Timestamp:
Jan 22, 2012 8:29:14 PM (2 years ago)
Author:
GregWeber
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Records

    v40 v41  
    3939 1. '''[wiki:Records/OverloadedRecordFields Simple Overloaded Record Fields] (SORF)'''.  Pure (Plan B). 
    4040 2. '''[http://hackage.haskell.org/trac/haskell-prime/wiki/TypeDirectedNameResolution Type Directed Name Resolution] (TDNR)'''.  Pure (Plan B), but without abstraction over fields of the same name. 
    41  3. '''[wiki:Records/NameSpacing Agda style Records] (FDR)''' Pure (Plan A) 
     41 3. '''[wiki:Records/NameSpacing Agda-derived Records] (ADR)''' Pure (Plan A) 
    4242 4. '''[wiki:Records/NameSpacing Frege-derived Records] (FDR)'''.  Uses (Plan A) + (Plan B). 
    4343