#3265: Type operators can be defined without the TypeOperators extension flag
-----------------------------+----------------------------------------------
Reporter: nibro | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 6.10.2 | Severity: normal
Keywords: | Testcase:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
-----------------------------+----------------------------------------------
The following code is accepted without any extension flags given:
{{{
data a :*: b = Foo a b
type a :+: b = Either a b
}}}
However, to use the defined types we need the TypeOperators flag, without
it the following code will not be accepted:
{{{
f :: Int :*: Int -> Int
f (Foo x y) = x+y
}}}
It seems clear to me that GHC should not accept the former either without
the TypeOperators extension enabled.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3265>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
