Changes between Version 14 and Version 15 of ExistingRecords


Ignore:
Timestamp:
Jul 16, 2009 4:27:25 PM (6 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.