#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 Ben Gamari <ben@…>): In [changeset:"bbb8cb92b66d83bb7d472e7905c84c28cbb0997c/ghc" bbb8cb92/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="bbb8cb92b66d83bb7d472e7905c84c28cbb0997c" users-guide: Mention changes necessary due to #13391 Some variant of this should also be added to the migration guide. [skip ci] Test Plan: Read it Reviewers: goldfire, austin Reviewed By: goldfire Subscribers: rwbarton, thomie GHC Trac Issues: #13391 Differential Revision: https://phabricator.haskell.org/D3966 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13391#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler