[GHC] #7800: Error message when deriving Typeable without PolyKinds

[GHC]

#7800: Error message when deriving Typeable without PolyKinds
-------------------------------------------------+-------------------------
        Reporter:  monoidal                      |            Owner:
            Type:  bug                           |           Status:  patch
        Priority:  normal                        |        Milestone:  7.8.1
       Component:  Compiler                      |          Version:  7.7
      Resolution:                                |         Keywords:
Operating System:  Unknown/Multiple              |     Architecture:
 Type of failure:  Incorrect warning at          |  Unknown/Multiple
  compile-time                                   |       Difficulty:
       Test Case:                                |  Unknown
        Blocking:                                |       Blocked By:
                                                 |  Related Tickets:
-------------------------------------------------+-------------------------

Comment (by Simon Peyton Jones <simonpj@…>):

 In [changeset:86033a00d6af909be1f8ac3a638529144ccc26d2/ghc]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="86033a00d6af909be1f8ac3a638529144ccc26d2"
 Improve error message for deriving polykinded Typeable (Trac #7800)

 Thanks to Krzysztof Gogolewski (monoidal) for the first draft of this
 patch
 }}}

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