Re: [GHC] #7704: Phantom types break new polykind Typeable with either StandaloneDeriving or AutoDeriveTypeable

8 Mar 2013


      #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 
 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