dpt at lotus.bostoncoop.net
Wed Oct 20 12:31:42 EDT 2004
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.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Size: 189 bytes
Desc: Digital signature
Url : http://www.haskell.org//pipermail/glasgow-haskell-users/attachments/20041020/922dbad5/attachment-0001.bin
More information about the Glasgow-haskell-users