import Maybes ( maybeToBool, Maybe(..), MaybeErr )
import SaLib
import SrcLoc ( mkUnknownSrcLoc )
import Maybes ( maybeToBool, Maybe(..), MaybeErr )
import SaLib
import SrcLoc ( mkUnknownSrcLoc )
-import Type ( mkTyVarTy, mkFunTys, isPrimType,
- maybeDataTyCon, quantifyTy
+import Type ( mkTyVarTys, mkFunTys, isPrimType,
+ maybeAppDataTyCon, quantifyTy
| new_max_extra_args > 0 -- Check that we are prepared to add arguments
= -- this is the complicated one.
--pprTrace "Unpack; num_wrkr_args=" (ppCat [ppInt num_wrkr_args, ppStr "; new_max=", ppInt new_num_wrkr_args, ppStr "; arg=", ppr PprDebug arg, ppr PprDebug (WwUnpack cmpnt_infos)]) (
| new_max_extra_args > 0 -- Check that we are prepared to add arguments
= -- this is the complicated one.
--pprTrace "Unpack; num_wrkr_args=" (ppCat [ppInt num_wrkr_args, ppStr "; new_max=", ppInt new_num_wrkr_args, ppStr "; arg=", ppr PprDebug arg, ppr PprDebug (WwUnpack cmpnt_infos)]) (