[GHC] #8563: Deriving with PolyKinds broken

[GHC]

#8563: Deriving with PolyKinds broken
-------------------------------------+------------------------------------
        Reporter:  edsko             |            Owner:  nomeata
            Type:  bug               |           Status:  new
        Priority:  high              |        Milestone:
       Component:  Compiler          |          Version:  7.7
      Resolution:                    |         Keywords:
Operating System:  Unknown/Multiple  |     Architecture:  Unknown/Multiple
 Type of failure:  None/Unknown      |       Difficulty:  Unknown
       Test Case:                    |       Blocked By:
        Blocking:                    |  Related Tickets:
-------------------------------------+------------------------------------

Comment (by nomeata):

 The problem seems to be in `toHsType` in `HsUtils`; if I do
 {{{
     to_hs_type (TyConApp tc args) = nlHsTyConApp (getRdrName tc) (map
 toHsType args')
        where args' = filter (not . isKind) args
 }}}
 it works. (Which make sense: In Core types, we want kinds; in the user-
 visible type that `toHsType` provides us, we don’t want them). Do you
 agree?

 Running validate right now...

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8563#comment:5>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler