[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