genericTyConNames = [crossTyConName, plusTyConName, genUnitTyConName]
ndpNames :: [Name]
-ndpNames = [ parrayTyConName, paTyConName, reprTyConName, embedTyConName
+ndpNames = [ parrayTyConName, paTyConName, preprTyConName, embedTyConName
, closureTyConName
, mkClosureName, applyClosureName
, mkClosurePName, applyClosurePName
-- NDP stuff
parrayTyConName = tcQual nDP_PARRAY FSLIT("PArray") parrayTyConKey
paTyConName = tcQual nDP_PARRAY FSLIT("PA") paTyConKey
-reprTyConName = tcQual nDP_PARRAY FSLIT("Repr") reprTyConKey
+preprTyConName = tcQual nDP_PARRAY FSLIT("PRepr") preprTyConKey
embedTyConName = tcQual nDP_PARRAY FSLIT("Embed") embedTyConKey
lengthPAName = varQual nDP_PARRAY FSLIT("lengthPA") lengthPAIdKey
replicatePAName = varQual nDP_PARRAY FSLIT("replicatePA") replicatePAIdKey
parrayTyConKey = mkPreludeTyConUnique 135
closureTyConKey = mkPreludeTyConUnique 136
paTyConKey = mkPreludeTyConUnique 137
-reprTyConKey = mkPreludeTyConUnique 138
+preprTyConKey = mkPreludeTyConUnique 138
embedTyConKey = mkPreludeTyConUnique 139
parrayTyCon :: TyCon
, paTyCon :: TyCon
, paDataCon :: DataCon
- , reprTyCon :: TyCon
+ , preprTyCon :: TyCon
, embedTyCon :: TyCon
, embedDataCon :: DataCon
, crossTyCon :: TyCon
parrayTyCon <- dsLookupTyCon parrayTyConName
paTyCon <- dsLookupTyCon paTyConName
let paDataCon = case tyConDataCons paTyCon of [dc] -> dc
- reprTyCon <- dsLookupTyCon reprTyConName
+ preprTyCon <- dsLookupTyCon preprTyConName
embedTyCon <- dsLookupTyCon embedTyConName
let embedDataCon = case tyConDataCons embedTyCon of [dc] -> dc
crossTyCon <- dsLookupTyCon crossTyConName
parrayTyCon = parrayTyCon
, paTyCon = paTyCon
, paDataCon = paDataCon
- , reprTyCon = reprTyCon
+ , preprTyCon = preprTyCon
, embedTyCon = embedTyCon
, embedDataCon = embedDataCon
, crossTyCon = crossTyCon
buildPReprTyCon :: TyCon -> TyCon -> VM TyCon
buildPReprTyCon orig_tc vect_tc
= do
- name <- cloneName mkPReprTyConOcc (tyConName orig_tc)
- rhs_ty <- buildPReprRhsTy vect_tc
- repr_tc <- builtin reprTyCon
+ name <- cloneName mkPReprTyConOcc (tyConName orig_tc)
+ rhs_ty <- buildPReprRhsTy vect_tc
+ prepr_tc <- builtin preprTyCon
liftDs $ buildSynTyCon name
tyvars
(SynonymTyCon rhs_ty)
- (Just $ mk_fam_inst repr_tc vect_tc)
+ (Just $ mk_fam_inst prepr_tc vect_tc)
where
tyvars = tyConTyVars vect_tc