Changes between Version 3 and Version 4 of Records/OverloadedRecordFields

Show
Ignore:
Timestamp:
10/20/11 09:35:03 (19 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Records/OverloadedRecordFields

    v3 v4  
    322322= Relationship to Type Directed Name Resolution = 
    323323 
    324 This proposal is quite closely related to the [wiki:TypeDirectedNameResolution Type Directed Name Resolution] idea, becuase TDNR  
     324This proposal is quite closely related to the [http://hackage.haskell.org/trac/haskell-prime/wiki/TypeDirectedNameResolution Type Directed Name Resolution] idea, becuase TDNR  
    325325would internally generate `Has` constraints exactly as described above.  The difference is 
    326326that TDNR wasn't intended to support ''abstraction'' over the constraint, and was explained