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

GHC cvs-ghc at haskell.org
Fri Dec 7 10:04:52 CET 2012


#5682: Properly parse kind operators (from promoted type operators)
-------------------------------------+--------------------------------------
    Reporter:  lunaris               |       Owner:  dreixel                  
        Type:  bug                   |      Status:  new                      
    Priority:  low                   |   Milestone:  7.6.2                    
   Component:  Compiler              |     Version:  7.3                      
    Keywords:  PolyKinds, ghc-kinds  |          Os:  Unknown/Multiple         
Architecture:  Unknown/Multiple      |     Failure:  GHC rejects valid program
  Difficulty:  Unknown               |    Testcase:                           
   Blockedby:                        |    Blocking:                           
     Related:                        |  
-------------------------------------+--------------------------------------

Comment(by dreixel):

 Replying to [comment:5 goldfire]:
 > generally {{{'}}} is not applied to kinds.

 Oh, yes, that's true. I think only `Sum0` should parse, in fact.

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



More information about the Glasgow-haskell-bugs mailing list