[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