14 Sep
2005
14 Sep
'05
1:09 a.m.
On Tue, Sep 13, 2005 at 08:55:09PM -0400, Cale Gibbard wrote:
I should note that another small thing which would be desirable is a way to construct the derived instance of a class at a given type. Perhaps something along the lines of "instance Show MyType derived" or "derived instance Show MyType" which on its own would be handy sometimes.
this would be useful, but we must be sure that all the constructors for the type are in scope or this could be used to break encapsulation. John -- John Meacham - ⑆repetae.net⑆john⑈