simonmar 2006/02/10 04:53:16 PST
Modified files: (Branch: ghc-6-4-branch)
ghc/compiler/typecheck TcTyClsDecls.lhs
Log:
merge this patch:
* [project @ 2005-09-05 15:28:07 by simonpj]
GHC claims to lift the H98 restriction that a class method must not
add a constraint on the class type variable (manual 7.4.2.1 "Class
method types"). But the validity check was incorrect in the case
where the class method had a forall. E.g.
class C a where
op :: forall b. (Show b, Show a) => ...
This commit fixes the bug.
tcrun037, and tcfail149, test with and without -fglasgow-exts.
Revision Changes Path
1.120.2.4 +13 -5 fptools/ghc/compiler/typecheck/TcTyClsDecls.lhs
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
