X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypes%2FType.lhs;h=60537216a2c5e6c8df5c7ac7abe3f1429226e736;hb=f240e9ab07f30e6e5b19bb902d0e76b4f141b2ef;hp=630340a4bf865d57b8cb41867a052edb4e23a90d;hpb=cd0e2c0cc3005c3f5e74eeda57dc9cebbe1bac7e;p=ghc-hetmet.git

diff --git a/compiler/types/Type.lhs b/compiler/types/Type.lhs
index 630340a..6053721 100644
--- a/compiler/types/Type.lhs
+++ b/compiler/types/Type.lhs
@@ -427,8 +427,8 @@ splitAppTys ty = split ty ty []
     split _       (AppTy ty arg)        args = split ty ty (arg:args)
     split _       (TyConApp tc tc_args) args
       = let -- keep type families saturated
-            n | isDecomposableTyCon tc = tyConArity tc
-              | otherwise              = 0
+            n | isDecomposableTyCon tc = 0
+              | otherwise              = tyConArity tc
             (tc_args1, tc_args2) = splitAt n tc_args
         in
         (TyConApp tc tc_args1, tc_args2 ++ args)