• simonpj's avatar
    [project @ 2005-09-05 15:28:07 by simonpj] · 6ac7eb25
    simonpj authored
    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
    6ac7eb25
TcTyClsDecls.lhs 29.4 KB