20 Oct
2004
20 Oct
'04
4:31 p.m.
On Tue, Oct 19, 2004 at 08:08:49PM +0200, Andres Loeh wrote:
Simon Peyton-Jones wrote:
derive( Typeable (T a) )
But that means adding 'derive' as a keyword. Other possibilities:
deriving( Typeable (T a) ) ... Any other ideas?
instance Typeable (T a) deriving
Why not even simply
instance Typeable (T a)
This already has a meaning in Haskell 98: it means that all class members are undefined. This is sometimes useful. Peace, Dylan