Changes between Version 46 and Version 47 of Records


Ignore:
Timestamp:
Feb 22, 2012 4:02:06 AM (2 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Records

    v46 v47  
    4848 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. 
    4949 3. '''[wiki:Records/NameSpacing Agda-derived Records] (ADR)''' Pure (Plan A) 
    50  4. '''[wiki:Records/NameSpacing Frege-derived Records] (FDR)'''.  Uses (Plan A) + (Plan B). 
     50 4. '''[wiki:Records/NameSpacing Frege-derived Records] (FDR)'''.  Uses (Plan A) + (Plan B).[[BR]]-- errm as at 22-Feb-2012 3. and 4. point to the same page. Confused? I was -- AntC 
    5151 5. '''[wiki:Records/DeclaredOverloadedRecordFields Declared Overloaded Record Fields] (DORF)'''. Tweak to SORF. (Plan B) 
    5252