VM,
noV, tryV, maybeV, traceMaybeV, orElseV, fixV, localV, closedV, initV,
+ liftDs,
cloneName, cloneId,
newExportedVar, newLocalVar, newDummyVar, newTyVar,
parrayTyCon :: TyCon
, paTyCon :: TyCon
, paDataCon :: DataCon
+ , preprTyCon :: TyCon
+ , embedTyCon :: TyCon
+ , embedDataCon :: DataCon
+ , crossTyCon :: TyCon
+ , plusTyCon :: TyCon
, closureTyCon :: TyCon
, mkClosureVar :: Var
, applyClosureVar :: Var
, lengthPAVar :: Var
, replicatePAVar :: Var
, emptyPAVar :: Var
- , packPAVar :: Var
- , combinePAVar :: Var
+ -- , packPAVar :: Var
+ -- , combinePAVar :: Var
, intEqPAVar :: Var
, liftingContext :: Var
}
parrayTyCon <- dsLookupTyCon parrayTyConName
paTyCon <- dsLookupTyCon paTyConName
let paDataCon = case tyConDataCons paTyCon of [dc] -> dc
+ preprTyCon <- dsLookupTyCon preprTyConName
+ embedTyCon <- dsLookupTyCon embedTyConName
+ let embedDataCon = case tyConDataCons embedTyCon of [dc] -> dc
+ crossTyCon <- dsLookupTyCon crossTyConName
+ plusTyCon <- dsLookupTyCon plusTyConName
closureTyCon <- dsLookupTyCon closureTyConName
mkClosureVar <- dsLookupGlobalId mkClosureName
lengthPAVar <- dsLookupGlobalId lengthPAName
replicatePAVar <- dsLookupGlobalId replicatePAName
emptyPAVar <- dsLookupGlobalId emptyPAName
- packPAVar <- dsLookupGlobalId packPAName
- combinePAVar <- dsLookupGlobalId combinePAName
+ -- packPAVar <- dsLookupGlobalId packPAName
+ -- combinePAVar <- dsLookupGlobalId combinePAName
intEqPAVar <- dsLookupGlobalId intEqPAName
liftingContext <- liftM (\u -> mkSysLocal FSLIT("lc") u intPrimTy)
parrayTyCon = parrayTyCon
, paTyCon = paTyCon
, paDataCon = paDataCon
+ , preprTyCon = preprTyCon
+ , embedTyCon = embedTyCon
+ , embedDataCon = embedDataCon
+ , crossTyCon = crossTyCon
+ , plusTyCon = plusTyCon
, closureTyCon = closureTyCon
, mkClosureVar = mkClosureVar
, applyClosureVar = applyClosureVar
, lengthPAVar = lengthPAVar
, replicatePAVar = replicatePAVar
, emptyPAVar = emptyPAVar
- , packPAVar = packPAVar
- , combinePAVar = combinePAVar
+ -- , packPAVar = packPAVar
+ -- , combinePAVar = combinePAVar
, intEqPAVar = intEqPAVar
, liftingContext = liftingContext
}