#8813: further support deriving instances Typeable1, Typeable2, etc ----------------------------------------------+---------------------------- Reporter: maeder | Owner: dreixel Type: task | Status: closed Priority: normal | Milestone: 7.8.1 Component: libraries/base | Version: Resolution: fixed | 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 George): It seems this fix might allow quickspec to compile unmodified in RC2. In RC1 it fails with {{{ [ 3 of 20] Compiling Test.QuickSpec.Utils.Typeable ( src/Test/QuickSpec/Utils/Typeable.hs, dist/build/Test/QuickSpec/Utils/Typeable.o ) src/Test/QuickSpec/Utils/Typeable.hs:9:59: Not in scope: type constructor or class ‛T.Typeable1’ Perhaps you meant ‛T.Typeable’ (imported from Data.Typeable) src/Test/QuickSpec/Utils/Typeable.hs:9:72: Not in scope: type constructor or class ‛T.Typeable2’ Perhaps you meant ‛T.Typeable’ (imported from Data.Typeable) Failed to install quickspec-0.9.2 }}} Just thought you might want to know of examples where this fix is indeed helpful -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8813#comment:41 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler