
Hi, I've been trying to use `deriving (Typeable, Data)' on some datatypes with arity 8 and 15, but GHC has been complaining. There aren't any Typeable<n> classes defined in Data.Typeable that go beyond 7. Is there a reason for this particular limit? If not, could it be extended further e.g. to 15? Is this likely to let GHC derive Typeable instances for my data types? Thanks, Matthew

No reason in principle. If anyone wants to add the Typeable classes for 8-15 that'd be fine. Simon | -----Original Message----- | From: libraries-bounces@haskell.org [mailto:libraries- | bounces@haskell.org] On Behalf Of Matthew Pocock | Sent: 20 July 2007 16:52 | To: libraries@haskell.org | Subject: Typeable<n> classes | | Hi, | | I've been trying to use `deriving (Typeable, Data)' on some datatypes | with | arity 8 and 15, but GHC has been complaining. There aren't any | Typeable<n> | classes defined in Data.Typeable that go beyond 7. | | Is there a reason for this particular limit? | | If not, could it be extended further e.g. to 15? | | Is this likely to let GHC derive Typeable instances for my data types? | | | Thanks, | | Matthew | | _______________________________________________ | Libraries mailing list | Libraries@haskell.org | http://www.haskell.org/mailman/listinfo/libraries
participants (2)
-
Matthew Pocock
-
Simon Peyton-Jones