#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: | -------------------------------------+------------------------------------- Changes (by dreixel): * owner: dreixel => * priority: low => normal * component: Compiler => Compiler (Parser) * related: => #8486 Comment: I don't think this is low priority; #8486 (inability to derive `Typeable` for promoted `:`), in particular, is rather annoying. But I'm removing myself as the owner, as I don't really feel comfortable hacking around in the parser... -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/5682#comment:8 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler