
9 Oct
2006
9 Oct
'06
12:19 p.m.
| > I propose to add a top-level declaration on the form: | > | > 'deriving' qtycls 'for' qtycon | > | > which produces the same instance as a deriving clause in the | > declaration of the datatype or newtype would. | | If this is added (whatever the syntax), you'd also want to permit multiple | identical derived instances. Perhaps so. This might generate duplicate code (one for each decl) but it'd be guaranteed identical since it's generated by a deriving clause. It'd require some .hi file support, to record that an instance came from a 'deriving' decl. I'm inclined to wait until someone asks for it "for real" as it were. Simon