[GHC] #5985: Type operators are not accepted as variables in contexts

[GHC]

#5985: Type operators are not accepted as variables in contexts
--------------------------------+-------------------------------------------
 Reporter:  mikhail.vorozhtsov  |          Owner:                  
     Type:  bug                 |         Status:  new             
 Priority:  normal              |      Component:  Compiler        
  Version:  7.5                 |       Keywords:                  
       Os:  Unknown/Multiple    |   Architecture:  Unknown/Multiple
  Failure:  None/Unknown        |       Testcase:                  
Blockedby:                      |       Blocking:                  
  Related:                      |  
--------------------------------+-------------------------------------------
 The following code is accepted by 7.4.1 (and 7.2/7.0/6.12), but rejected
 by HEAD:
 {{{
 $ ghci-7.5.20120402 -XTypeOperators
 GHCi, version 7.5.20120402: http://www.haskell.org/ghc/  :? for help
 Loading package ghc-prim ... linking ... done.
 Loading package integer-gmp ... linking ... done.
 Loading package base ... linking ... done.
 λ> import Control.Category
 λ> let f :: Category (->>) => (a ->> b); f = undefined

 <interactive>:3:19: Not in scope: type constructor or class `->>'

 <interactive>:3:31: Not in scope: type constructor or class `->>'
 }}}

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