[GHC] #5682: Properly parse kind operators (from promoted type operators)
GHC
ghc-devs at haskell.org
Wed Feb 12 15:11:55 UTC 2014
#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
More information about the ghc-tickets
mailing list