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

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