summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
f50706e)
* Fix trivial bug in WwLib.mkWWfixup,
which showed up when booting the compiler.
)
import IdInfo ( CprInfo(..), noCprInfo, vanillaIdInfo )
import Const ( Con(..), DataCon )
)
import IdInfo ( CprInfo(..), noCprInfo, vanillaIdInfo )
import Const ( Con(..), DataCon )
-import DataCon ( splitProductType_maybe, isExistentialDataCon, dataConArgTys )
+import DataCon ( isExistentialDataCon, dataConArgTys )
import Demand ( Demand(..) )
import PrelInfo ( realWorldPrimId, aBSENT_ERROR_ID )
import TysPrim ( realWorldStatePrimTy )
import TysWiredIn ( unboxedTupleCon, unboxedTupleTyCon )
import Demand ( Demand(..) )
import PrelInfo ( realWorldPrimId, aBSENT_ERROR_ID )
import TysPrim ( realWorldStatePrimTy )
import TysWiredIn ( unboxedTupleCon, unboxedTupleTyCon )
-import Type ( isUnLiftedType, mkTyVarTys, mkTyVarTy, mkFunTys,
+import Type ( isUnLiftedType,
splitForAllTys, splitFunTys, splitFunTysN,
splitForAllTys, splitFunTys, splitFunTysN,
- splitAlgTyConApp_maybe, splitAlgTyConApp,
- mkTyConApp, splitNewType_maybe,
+ splitAlgTyConApp_maybe, splitNewType_maybe,
+ mkTyConApp,
Type
)
import TyCon ( isNewTyCon, isProductTyCon, TyCon )
Type
)
import TyCon ( isNewTyCon, isProductTyCon, TyCon )
let
void_arg = mk_ww_local void_arg_uniq realWorldStatePrimTy
in
let
void_arg = mk_ww_local void_arg_uniq realWorldStatePrimTy
in
- returnUs (\ call_to_worker -> App call_to_worker (Var void_arg),
+ returnUs (\ call_to_worker -> App call_to_worker (Var realWorldPrimId),
\ worker_body -> Lam void_arg worker_body)
| otherwise
\ worker_body -> Lam void_arg worker_body)
| otherwise