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
signature.asc
Description: Digital signature
_______________________________________________ Glasgow-haskell-users mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-users