simonpj 2005/09/05 08:28:07 PDT
Modified files:
ghc/compiler/typecheck TcTyClsDecls.lhs
Log:
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.
MERGE TO STABLE
Revision Changes Path
1.127 +13 -5 fptools/ghc/compiler/typecheck/TcTyClsDecls.lhs
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
