Thu Jun 28 01:11:05 PDT 2007 [EMAIL PROTECTED]
* Fix typechecking bug with implicit parameters (Trac #1445)
tcSplitFunTy_maybe wasn't dealing with types like
(?x::Bool) => Int
Here, tcSplitFunTy_maybe should fail (as it would if there
was a for-all), because the type is a quantified type.
See Trac #1445, and test tc230.
M ./compiler/typecheck/TcType.lhs -3 +10
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
