Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds
http://hackage.haskell.org/trac/ghc/changeset/b7984cf3593c71b1290552ff01ee7e57bd9d2eff >--------------------------------------------------------------- commit b7984cf3593c71b1290552ff01ee7e57bd9d2eff Author: Simon Peyton Jones <simo...@microsoft.com> Date: Mon Nov 7 15:13:02 2011 +0000 Comment wibble >--------------------------------------------------------------- compiler/typecheck/TcTyClsDecls.lhs | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/compiler/typecheck/TcTyClsDecls.lhs b/compiler/typecheck/TcTyClsDecls.lhs index d2505ce..d2e1cb4 100755 --- a/compiler/typecheck/TcTyClsDecls.lhs +++ b/compiler/typecheck/TcTyClsDecls.lhs @@ -721,7 +721,7 @@ tcDefaultAssocDecl fam_tc clas_tvs (L loc decl) -- See Note [Checking consistent instantiation] -- We only want to check this on the *class* TyVars, -- not the *family* TyVars (there may be more of these) -MOVE TO CHECK VALID CLASS +-- JPM: MOVE TO CHECK VALID CLASS ; zipWithM_ check_arg (tyConTyVars fam_tc) at_tys ; return (ATD at_tvs at_tys at_rhs) } _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc