#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:                        |  
-------------------------------------+--------------------------------------
Changes (by goldfire):

 * cc: eir@… (added)


Comment:

 I agree with dreixel's examples in spirit, but generally {{{'}}} is not
 applied to kinds.

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

_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Reply via email to