#13391: PolyKinds is more permissive in GHC 8 -------------------------------------+------------------------------------- Reporter: crockeea | Owner: (none) Type: bug | Status: patch Priority: normal | Milestone: Component: Compiler | Version: 8.0.2 Resolution: | Keywords: TypeInType Operating System: Unknown/Multiple | Architecture: Type of failure: GHC accepts | Unknown/Multiple invalid program | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D3859 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Richard Eisenberg <rae@…>): In [changeset:"7aa000b625c677534c87da43de31c27a2b969183/ghc" 7aa000b6/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="7aa000b625c677534c87da43de31c27a2b969183" Fix #13391 by checking for kind-GADTs The check is a bit gnarly, but I couldn't think of a better way. See the new code in TcTyClsDecls. test case: polykinds/T13391 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13391#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler