[GHC] #10775: Enable PolyKinds in GHC.Generics

[GHC]

#10775: Enable PolyKinds in GHC.Generics
-------------------------------------+-------------------------------------
        Reporter:  RyanGlScott       |                   Owner:
                                     |  RyanGlScott
            Type:  feature request   |                  Status:  new
        Priority:  normal            |               Milestone:
       Component:  libraries/base    |                 Version:  7.10.2
      Resolution:                    |                Keywords:
Operating System:  Unknown/Multiple  |            Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |               Test Case:
      Blocked By:                    |                Blocking:
 Related Tickets:                    |  Differential Revisions:  Phab:D1166
-------------------------------------+-------------------------------------

Comment (by Ben Gamari <ben@…>):

 In [changeset:"a6826c5d18675a783acce39352eea283e462bf8b/ghc" a6826c5/ghc]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="a6826c5d18675a783acce39352eea283e462bf8b"
 Make Generic (Proxy t) instance poly-kinded (fixes #10775)

 This amounts to enabling PolyKinds in GHC.Generics. However, explicit
 kind signatures must be applied to the datatypes and typeclasses in
 GHC.Generics to ensure that the Core which TcGenGenerics generates
 is properly kinded.

 Several of the typeclasses in GHC.Generics could be poly-kinded, but
 this differential does not attempt to address this, since D493 already
 addresses this.

 Test Plan: ./validate

 Reviewers: hvr, austin, dreixel, bgamari

 Reviewed By: austin, dreixel, bgamari

 Subscribers: goldfire, thomie

 Differential Revision: https://phabricator.haskell.org/D1166

 GHC Trac Issues: #10775
 }}}

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