, preprTyCon :: TyCon
, prTyCon :: TyCon
, prDataCon :: DataCon
- , embedTyCon :: TyCon
- , embedDataCon :: DataCon
+ , uarrTyCon :: TyCon
, sumTyCons :: Array Int TyCon
, closureTyCon :: TyCon
+ , mkPRVar :: Var
, mkClosureVar :: Var
, applyClosureVar :: Var
, mkClosurePVar :: Var
, emptyPAVar :: Var
-- , packPAVar :: Var
-- , combinePAVar :: Var
- , intEqPAVar :: Var
, liftingContext :: Var
}
let [paDataCon] = tyConDataCons paTyCon
preprTyCon <- dsLookupTyCon preprTyConName
prTyCon <- dsLookupTyCon prTyConName
+ uarrTyCon <- dsLookupTyCon uarrTyConName
let [prDataCon] = tyConDataCons prTyCon
- embedTyCon <- dsLookupTyCon embedTyConName
- let [embedDataCon] = tyConDataCons embedTyCon
closureTyCon <- dsLookupTyCon closureTyConName
sum_tcs <- mapM (lookupExternalTyCon nDP_REPR)
let sumTyCons = listArray (2, mAX_NDP_SUM) sum_tcs
+ mkPRVar <- dsLookupGlobalId mkPRName
mkClosureVar <- dsLookupGlobalId mkClosureName
applyClosureVar <- dsLookupGlobalId applyClosureName
mkClosurePVar <- dsLookupGlobalId mkClosurePName
emptyPAVar <- dsLookupGlobalId emptyPAName
-- packPAVar <- dsLookupGlobalId packPAName
-- combinePAVar <- dsLookupGlobalId combinePAName
- intEqPAVar <- dsLookupGlobalId intEqPAName
liftingContext <- liftM (\u -> mkSysLocal FSLIT("lc") u intPrimTy)
newUnique
, preprTyCon = preprTyCon
, prTyCon = prTyCon
, prDataCon = prDataCon
- , embedTyCon = embedTyCon
- , embedDataCon = embedDataCon
+ , uarrTyCon = uarrTyCon
, sumTyCons = sumTyCons
, closureTyCon = closureTyCon
+ , mkPRVar = mkPRVar
, mkClosureVar = mkClosureVar
, applyClosureVar = applyClosureVar
, mkClosurePVar = mkClosurePVar
, emptyPAVar = emptyPAVar
-- , packPAVar = packPAVar
-- , combinePAVar = combinePAVar
- , intEqPAVar = intEqPAVar
, liftingContext = liftingContext
}
builtinPRs bi =
[
mk (tyConName unitTyCon) nDP_REPR FSLIT("dPR_Unit")
- , mk embedTyConName nDP_REPR FSLIT("dPR_Embed")
, mk closureTyConName nDP_CLOSURE FSLIT("dPR_Clo")
-- temporary