#7704: Phantom types break new polykind Typeable with either StandaloneDeriving or AutoDeriveTypeable -----------------------------+---------------------------------------------- Reporter: nwf | Owner: dreixel Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.7 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- Comment(by jpm@…): commit 25234646e96922e3f39e85134521da8552da42ad {{{ Author: Jose Pedro Magalhaes <jpm@cs.ox.ac.uk> Date: Fri Mar 8 08:35:11 2013 +0000 Properly instantiate the kind of the tycon when deriving Typeable (FIX #7704) compiler/typecheck/TcDeriv.lhs | 51 ++++++++++++++++++++++++--------------- 1 files changed, 31 insertions(+), 20 deletions(-) }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7704#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler