X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2FstgSyn%2FStgSyn.lhs;h=2fc36a1e23ffad3b4db1140fae3fafb8bcd83737;hp=42bcabb9c28c6694c6146debf9c00e237c108cfd;hb=8d6bc9bf51829ea04da5f599b84114ef220f0a19;hpb=35fc429931738f31c60e8a4bb85ef86dd7ce169e

diff --git a/compiler/stgSyn/StgSyn.lhs b/compiler/stgSyn/StgSyn.lhs
index 42bcabb..2fc36a1 100644
--- a/compiler/stgSyn/StgSyn.lhs
+++ b/compiler/stgSyn/StgSyn.lhs
@@ -59,7 +59,6 @@ import CoreSyn		( AltCon )
 import PprCore		( {- instances -} )
 import PrimOp		( PrimOp )
 import Outputable
-import Util             ( count )
 import Type             ( Type )
 import TyCon            ( TyCon )
 import UniqSet
@@ -418,10 +417,9 @@ The second flavour of right-hand-side is for constructors (simple but important)
 
 \begin{code}
 stgRhsArity :: StgRhs -> Int
-stgRhsArity (StgRhsClosure _ _ _ _ _ bndrs _) = count isId bndrs
-  -- The arity never includes type parameters, so
-  -- when keeping type arguments and binders in the Stg syntax 
-  -- (opt_RuntimeTypes) we have to fliter out the type binders.
+stgRhsArity (StgRhsClosure _ _ _ _ _ bndrs _) 
+  = ASSERT( all isId bndrs ) length bndrs
+  -- The arity never includes type parameters, but they should have gone by now
 stgRhsArity (StgRhsCon _ _ _) = 0
 \end{code}