From eabf04b78e41b2b4b614b3e8ee83a3eb0d2722d6 Mon Sep 17 00:00:00 2001 From: "simonpj@microsoft.com" Date: Mon, 23 Aug 2010 15:30:45 +0000 Subject: [PATCH] Correct type signatures --- compiler/typecheck/TcGenDeriv.lhs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/compiler/typecheck/TcGenDeriv.lhs b/compiler/typecheck/TcGenDeriv.lhs index cc0adaf..2c0b89d 100644 --- a/compiler/typecheck/TcGenDeriv.lhs +++ b/compiler/typecheck/TcGenDeriv.lhs @@ -1689,7 +1689,7 @@ genAuxBind loc (GenTag2Con tycon) 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 @@ -1699,7 +1699,7 @@ genAuxBind loc (GenMaxTag 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) -- 1.7.10.4