Changes between Version 3 and Version 4 of Records/OverloadedRecordFields


Ignore:
Timestamp:
Oct 20, 2011 4:35:03 PM (3 years 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