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

Attachment: signature.asc
Description: Digital signature

_______________________________________________
Glasgow-haskell-users mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Reply via email to