Stand-alone deriving declarations added

Simon Peyton-Jones simonpj at microsoft.com
Fri Oct 6 04:28:40 EDT 2006


| Good points. The only remaining argument that I can see is then that
| it would make Greg Fitzgerald's suggestion to allow this:
| 
| deriving Data, Typable for Person, Team, Department, Company
| 
| difficult to do as far as I can see. Though we could still allow
| multiple derivings in one declaration, just not the cartesian product
| version above:
| 
| deriving Data Person, Typeable Person, Data Team, Typeable Team
| deriving Data Department, Typeable Department, Data Company, Typeable
| Company

Yes, I'd be happy with requiring the programmer to enumerate the
instances s/he wants, rather than having an implicit Cartesian product.

S


More information about the Cvs-ghc mailing list