Why not allow empty record updates?

Simon Peyton-Jones simonpj at microsoft.com
Tue Nov 15 16:52:40 CET 2011


| > > Trouble is, what type does this have?
| > >
| > > 	f x = x {}
| >
| > f :: a -> a
| 
| That wouldn't help the original poster, as it is incompatible with
| f :: Foo Clean -> Foo Dirty

Ah!  *That* is why I said it was awkward.  Thanks Ian. 

Simon



More information about the Glasgow-haskell-users mailing list