[commit: ghc] overlapping-tyfams: Bugfix (d8aa577)

[Richard Eisenberg]

Repository : http://darcs.haskell.org/ghc.git/

On branch  : overlapping-tyfams

https://github.com/ghc/ghc/commit/d8aa5770fe20d1f859a3b434a5cc635cc1150299

>---------------------------------------------------------------

commit d8aa5770fe20d1f859a3b434a5cc635cc1150299
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Wed Jun 19 13:22:06 2013 +0100

    Bugfix

>---------------------------------------------------------------

 compiler/typecheck/TcTyClsDecls.lhs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/typecheck/TcTyClsDecls.lhs b/compiler/typecheck/TcTyClsDecls.lhs
index badfef4..06b434b 100644
--- a/compiler/typecheck/TcTyClsDecls.lhs
+++ b/compiler/typecheck/TcTyClsDecls.lhs
@@ -912,7 +912,7 @@ tcFamTyPats fam_tc_name kind
          -- Note that we don't have enough information at hand to do a full check,
          -- as that requires the full declared arity of the family, which isn't
          -- nearby.
-       ; let max_args = length (fst $ splitKindFunTys kind)
+       ; let max_args = length (fst $ splitKindFunTys fam_body)
        ; checkTc (length arg_pats <= max_args) $
            wrongNumberOfParmsErrTooMany max_args