Changes between Version 14 and Version 15 of ExistingRecords

Show
Ignore:
Timestamp:
07/16/09 09:27:25 (4 years ago)
Author:
simonpj@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • ExistingRecords

    v14 v15  
    7171 
    7272'''SLPJ:''' That isn't true.  Haskell 98 already supports what you suggest here, and the code above compiles with GHC without flags.   
    73  
    7473However I would like to argue for ''removing'' this feature.  It causes a quite unreasonable amount of 
    7574pain in the type checker, especially once we start thinking about GADTs and existentials.  And I think the benefit is modest at best.  I don't think programmers generally expect record update to be a type-changing operation.