Type operators are not accepted as variables in contexts
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 `->>'
Trac metadata
Trac field | Value |
---|---|
Version | 7.5 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |