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

GHC ghc-devs at haskell.org
Wed Feb 12 15:59:41 UTC 2014


#5682: Properly parse promoted data constructor 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 dreixel):

 Richard, I agree that parsing promoted type operators (thus when parsing
 kinds) is trickier. Let's make this ticket be only about parsing promoted
 constructor operators (thus when parsing types), and leave #8706 for
 kinds.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5682#comment:10>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler


More information about the ghc-tickets mailing list