From: Roman Leshchinskiy <rl@cse.unsw.edu.au>
Date: Thu, 19 Nov 2009 10:26:39 +0000 (+0000)
Subject: Fix splitAppTys
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=f240e9ab07f30e6e5b19bb902d0e76b4f141b2ef

Fix splitAppTys
---

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)