[Template-haskell] RE: [Haskell] Proposal: Allow "\=" for field
update in record updatesyntax
Simon Peyton-Jones
simonpj at microsoft.com
Mon Mar 7 03:39:08 EST 2005
| That would be:
|
| (using 6.4 syntax)
|
| AppT (AppT (ConT (mkName "Bogus")) (ConT ''Int)) (ConT ''Char)
Yes, it is a bit odd. In many ways it'd be better if the instance
constructor was
InstanceD Cxt Name [Type] [Dec]
The Name would be the class name, the [Type] would be its args in the
instance decl.
I'm not sure why it is strange now. I'd change it, but it'd break
people's code.
TH folk: let me know if you'd prefer it changed in the next iteration.
Simon
More information about the template-haskell
mailing list