gfoldl_RDR, gunfold_RDR, toConstr_RDR, dataTypeOf_RDR, mkConstr_RDR,
mkDataType_RDR, conIndex_RDR, prefix_RDR, infix_RDR,
- dataCast1_RDR, dataCast2_RDR, gcast1_RDR, gcast2_RDR :: RdrName
+ dataCast1_RDR, dataCast2_RDR, gcast1_RDR, gcast2_RDR,
+ constr_RDR, dataType_RDR :: RdrName
gfoldl_RDR = varQual_RDR gENERICS (fsLit "gfoldl")
gunfold_RDR = varQual_RDR gENERICS (fsLit "gunfold")
toConstr_RDR = varQual_RDR gENERICS (fsLit "toConstr")
nlHsApp (nlHsVar tagToEnum_RDR) a_Expr)],
L loc (TypeSig (L loc rdr_name) sig_ty))
where
- sig_ty = nlHsTyVar (getRdrName intPrimTyCon)
+ sig_ty = nlHsTyVar (getRdrName intTyCon)
`nlHsFunTy` (nlHsTyVar (getRdrName tycon))
rdr_name = tag2con_RDR tycon
L loc (TypeSig (L loc rdr_name) sig_ty))
where
rdr_name = maxtag_RDR tycon
- sig_ty = nlHsTyVar (getRdrName intPrimTyCon)
+ sig_ty = nlHsTyVar (getRdrName intTyCon)
rhs = nlHsApp (nlHsVar intDataCon_RDR) (nlHsLit (HsIntPrim max_tag))
max_tag = case (tyConDataCons tycon) of
data_cons -> toInteger ((length data_cons) - fIRST_TAG)