#5682: Properly parse kind operators (from promoted type operators) -------------------------------------+------------------------------------- Reporter: lunaris | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.6.2 Component: Compiler | Version: 7.3 (Parser) | Keywords: PolyKinds, ghc- Resolution: | kinds Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: GHC rejects | Difficulty: Unknown valid program | Blocked By: Test Case: | Related Tickets: #8486 Blocking: | -------------------------------------+------------------------------------- Comment (by goldfire): There seems to be two different (but closely related) issues here: (1) parsing promoted data constructor operators, and (2) parsing promoted type constructor operators. The motivating example at the top of the report is only about issue (1). And, I believe that Pedro (dreixel)'s recent comment is also only about (1). Pedro's first comment to this ticket, however, is about issue (2). I think issue (2) is unsolvable, due to the presence of `*` in the grammar of kinds. See #8706. But, I do think (1) should be doable. Do I feel ''comfortable'' in the parser? By no means. But I've done a little poking about in there and might be able to fix this. Hopefully tomorrow. If someone out there does feel comfortable in the parser, I'm happy to let you do it! -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/5682#comment:9 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler