#10775: Enable PolyKinds in GHC.Generics -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: 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: -------------------------------------+------------------------------------- Comment (by dreixel): I think what you're after is a very small subset of the changes to GHC.Generics.hs here: https://phabricator.haskell.org/D493?vs=on&id=1690&whitespace=ignore- most#15796e19 Probably just adding the `:: *` kind signatures in the definitions of the representation types, I think. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10775#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler