RE: [Haskell] Proposal: Allow "\=" for field update in record updatesyntax
"Simon Peyton-Jones" <[email protected]> Mon, 7 Mar 2005 08:39:08 -0000
| Newsgroups | gmane.comp.lang.haskell.template |
|---|---|
| Message-ID | <036EAC76E7F5EC4996A3B3C3657D411601DBE7E0@EUR-MSG-21.europe.corp.microsoft.com> |
| 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