[GHC] #8534: DeriveFunctor and PolyKinds

[GHC]

#8534: DeriveFunctor and PolyKinds
-------------------------------------+-------------------------------------
       Reporter:  monoidal           |             Owner:
           Type:  bug                |            Status:  new
       Priority:  low                |         Milestone:
      Component:  Compiler (Type     |           Version:  7.6.3
  checker)                           |  Operating System:  Unknown/Multiple
       Keywords:                     |   Type of failure:  GHC rejects
   Architecture:  Unknown/Multiple   |  valid program
     Difficulty:  Unknown            |         Test Case:
     Blocked By:                     |          Blocking:
Related Tickets:                     |
-------------------------------------+-------------------------------------
 A tiny infelicity:

 {{{
 {-# LANGUAGE DeriveFunctor #-}
 data A a = A deriving Functor
 }}}

 works only if `PolyKinds` is disabled, otherwise it reports that `A` has
 kind `k -> *` instead of expected `* -> *`. On the other hand, standalone
 deriving works fine.

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