#9043: Add missing type class instances for data types in GHC.Generics -------------------------------------+------------------------------------ Reporter: ocharles | Owner: dreixel Type: feature request | Status: patch Priority: normal | Milestone: Component: libraries/base | Version: 7.8.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by dreixel): Replying to [comment:14 simonpj]:
Well I suppose you'd need to derive Typeable for these generated data types.
Ok, I'll do that; I hope it doesn't require much plumbing. Replying to [comment:14 simonpj]:
Mind you, IIRC now that we have `DataKinds` I think the Generics stuff could be done much more neatly, dramatically reducing the number of generated data types.
This is all code you wrote, Pedro, isn't it? So you are definitely free to improve it!
Sure. All I'm worried about is backwards-compatibility, and the lack of #6024 doesn't help. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9043#comment:15 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler