[GHC] #8706: Kind operators not parsed
GHC
ghc-devs at haskell.org
Wed Feb 12 20:28:46 UTC 2014
#8706: Kind operators not parsed
-------------------------------------+------------------------------------
Reporter: goldfire | Owner:
Type: bug | Status: merge
Priority: normal | Milestone:
Component: Documentation | Version: 7.7
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture: Unknown/Multiple
Type of failure: None/Unknown | Difficulty: Unknown
Test Case: | Blocked By:
Blocking: | Related Tickets:
-------------------------------------+------------------------------------
Comment (by goldfire):
I do think that would work, but it seems a little unprincipled. And, it
was a design decision I wasn't prepared to make without discussion.
My general thought is that we're (in my humble opinion) heading to a
future where the kind parser and the type parser are no longer distinct,
because types and kinds will no longer be distinct. What does parsing in
that world look like? I don't know, but I think we should try to future-
proof any decision made here.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8706#comment:5>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list