X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcTyDecls.lhs;fp=ghc%2Fcompiler%2Ftypecheck%2FTcTyDecls.lhs;h=a0d019a48a4baef226f2cdba3f7e8d119d0bad14;hb=23f40f0e9be6d4aa5cf9ea31d73f4013f8e7b4bd;hp=1501d56f7e38ff87b446d7eaae8f03356ffccb42;hpb=9b6858cb53438a2651ab00202582b13f95036058;p=ghc-hetmet.git diff --git a/ghc/compiler/typecheck/TcTyDecls.lhs b/ghc/compiler/typecheck/TcTyDecls.lhs index 1501d56..a0d019a 100644 --- a/ghc/compiler/typecheck/TcTyDecls.lhs +++ b/ghc/compiler/typecheck/TcTyDecls.lhs @@ -28,7 +28,7 @@ import TyCon ( TyCon, ArgVrcs, tyConArity, tyConDataCons, tyConTyVars getSynTyConDefn, isSynTyCon, isAlgTyCon, isHiBootTyCon, tyConName, isNewTyCon, isProductTyCon, tyConArgVrcs, newTyConRhs ) import Class ( classTyCon ) -import DataCon ( dataConRepArgTys, dataConOrigArgTys ) +import DataCon ( dataConOrigArgTys ) import Var ( TyVar ) import VarSet import Name ( Name, isTyVarName ) @@ -362,7 +362,7 @@ calcTyConArgVrcs tyclss where data_cons = tyConDataCons tc vs = tyConTyVars tc - argtys = concatMap dataConRepArgTys data_cons -- Rep? or Orig? + argtys = concatMap dataConOrigArgTys data_cons -- Rep? or Orig? tcaoIter oi tc | isSynTyCon tc = let (tyvs,ty) = getSynTyConDefn tc