[GHC] #11363: Parser groups "::" and "*" together in kind signature (a::*)
GHC
ghc-devs at haskell.org
Wed Jan 6 22:32:51 UTC 2016
#11363: Parser groups "::" and "*" together in kind signature (a::*)
--------------------------------------+---------------------------
Reporter: Iceland_jack | Owner:
Type: bug | Status: new
Priority: lowest | Milestone:
Component: Compiler (Parser) | Version: 8.1
Resolution: | Keywords:
Operating System: Linux | Architecture: x86
Type of failure: None/Unknown | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s):
Wiki Page: |
--------------------------------------+---------------------------
Comment (by rwbarton):
Why does it matter? If `+` is a type operator and `::*` is a type operator
and `data A (a +)` is a parse error then `data A (a ::*)` should be a
parse error. Anything else seems terribly confusing!
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11363#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list