Changes between Version 14 and Version 15 of ExistingRecords
- 07/16/09 09:27:25 (4 years ago)
v14 v15 71 71 72 72 '''SLPJ:''' That isn't true. Haskell 98 already supports what you suggest here, and the code above compiles with GHC without flags. 73 74 73 However I would like to argue for ''removing'' this feature. It causes a quite unreasonable amount of 75 74 pain 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.