- remove some debugging code that crept in with the last commit.
)
import Util ( isIn, mapAccumL )
import Outputable
-import GlaExts --tmp
\end{code}
The ``wrapper'' data type for closure information:
-> fun_result_ty (arity - n_arg_tys) rep_ty
where
([rep_ty], _) = splitFunTys (applyTys (idType con) tycon_arg_tys)
- Just (_,_,cons) -> trace (showSDoc (ppr ty) ++ showSDoc(ppr cons)) $ panic "fun_result_ty"
where
(_, rho_ty) = splitForAllTys ty
(arg_tys, res_ty) = splitFunTys rho_ty