Changes between Version 2 and Version 3 of Records/DeclaredOverloadedRecordFields/ImplementorsView


Ignore:
Timestamp:
Feb 17, 2012 11:41:00 PM (2 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Records/DeclaredOverloadedRecordFields/ImplementorsView

    v2 v3  
    55http://www.haskell.org/pipermail/glasgow-haskell-users/2011-December/021298.html, and SPJ's observations/possible improvements and caveats 
    66http://www.haskell.org/pipermail/glasgow-haskell-users/2012-January/021744.html 
     7 
     8A cut-down prototype is attached to this page. (The ugliest hacks removed.) 
    79 
    810The fact that DORF has been 'faked' in existing GHC is good evidence that it's a modest change. Furthermore, we can implement H98-style records/fields using the same mechanism. 
     
    198200 
    199201The prototype for this proposal does include a method of updating Higher-ranked fields. SPJ has quickly reviewed the prototype: 
    200   "Your trick with SetTy to support update of polymorphic fields is, I belive, an (ingenious) hack that does not scale. I think it works only for fields that are quantified over one type variable with no constraints.[[BR]] 
     202  "Your trick with `SetTy` to support update of polymorphic fields is, I belive, an (ingenious) hack that does not scale. I think it works only for fields that are quantified over one type variable with no constraints.[[BR]] 
    201203  So, I think that update of polymorphic fields remains problematic. " 
    202204