#13399: Location of `forall` matters with higher-rank kind polymorphism -------------------------------------+------------------------------------- Reporter: crockeea | Owner: (none) Type: bug | Status: new 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): Wiki Page: | -------------------------------------+------------------------------------- Comment (by RyanGlScott): Thanks Richard, that's a tremendously helpful explanation. So to recap, there are three bugs: * crockeea was unable to figure out that this is expected behavior. We should document this behavior of higher-rank kinds. * There is a bug in how higher-rank kinds are pretty-printed (comment:5) * Type synonyms don't obey the "one-equation-rule" (as defined in comment:6) Should we open separate tickets for the last two? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13399#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler