[GHC] #5682: Properly parse kind operators (from promoted type operators)

[GHC]

#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