import BasicTypes ( Arity )
import FiniteMap ( lookupFM )
import CostCentre
-import Util ( eqListBy )
+import Util ( eqListBy, lengthIs )
import Outputable
\end{code}
-> UfTuple (mk_hs_tup_con tc dc) tup_args
where
val_args = dropWhile isTypeArg as
- saturated = length val_args == idArity v
+ saturated = val_args `lengthIs` idArity v
tup_args = map toUfExpr val_args
tc = dataConTyCon dc
;