On 09 August 2005 17:16, Simon Peyton-Jones wrote:
> I'm not against this, although you can work around the problem by
> adding a library that defines the missing type classes (Typeable8,
> Typeable9 etc), and making your compiler generate the instance
> itself. There is nothing magic about 'deriving'; it's just
> convenient.
If the arity is >7, couldn't we just generate a Typeable instance,
rather than the TypeableN instance? It would mean you wouldn't get the
benefits of TypeableN, but at least you'd have Typeable.
Cheers,
Simon
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
