#5863: Deriving Typeable for data families -------------------------------+-------------------------------------------- Reporter: simonpj | Owner: dreixel Type: bug | Status: closed Priority: normal | Milestone: 7.6.2 Component: Compiler | Version: 7.4.1 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- Changes (by dreixel): * status: new => closed * resolution: => fixed Comment: Fixed. The error now is: {{{ T5863a.hs:9:31: Can't make a derived instance of ‛Typeable * (T Int)’: Deriving Typeable is not allowed for family instances; derive Typeable for ‛T’ alone In the data instance declaration for ‛T’ T5863a.hs:12:32: Can't make a derived instance of ‛Typeable * (T Bool)’: Deriving Typeable is not allowed for family instances; derive Typeable for ‛T’ alone In the data instance declaration for ‛T’ }}} As apparently there is already a test named T5863, I named this one T5863a. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5863#comment:9 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler