#13399: Location of `forall` matters with higher-rank kind polymorphism -------------------------------------+------------------------------------- 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 rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D3860 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Ben Gamari <ben@…>): In [changeset:"dc42c0dc91e29ca0eba3ee299f5feba03e401483/ghc" dc42c0dc/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="dc42c0dc91e29ca0eba3ee299f5feba03e401483" Fix #13399 by documenting higher-rank kinds. Test Plan: Read it. Reviewers: simonpj, RyanGlScott, austin, bgamari Reviewed By: RyanGlScott Subscribers: rwbarton, thomie GHC Trac Issues: #13399 Differential Revision: https://phabricator.haskell.org/D3860 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13399#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler