#8813: further support deriving instances Typeable1, Typeable2, etc ----------------------------------------------+---------------------------- Reporter: maeder | Owner: Type: task | Status: new Priority: normal | Milestone: Component: Compiler | Version: Resolution: | 7.8.1-rc1 Operating System: Unknown/Multiple | Keywords: Type of failure: GHC rejects valid program | Architecture: Test Case: | Unknown/Multiple Blocking: | Difficulty: Unknown | Blocked By: | Related Tickets: ----------------------------------------------+---------------------------- Comment (by maeder): Ok, deprecate them. When they are finally gone users could add such synonyms later themselves to easily port their old code. (The release notes should refer to solutions using !KindSignatures and !ConstraintKinds.) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8813#comment:20 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler