X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=ghc%2Fcompiler%2FsimplCore%2FSimplUtils.lhs;fp=ghc%2Fcompiler%2FsimplCore%2FSimplUtils.lhs;h=478503905147eb72619e57451484a440097aca39;hp=975f6a50e831d2cfb7cfa115fd1b3c8a09b63bba;hb=36436bc62a98f53e126ec02fe946337c4c766c3f;hpb=8761b73561019d5514194fc8b0eee2b13f0e0ec9 diff --git a/ghc/compiler/simplCore/SimplUtils.lhs b/ghc/compiler/simplCore/SimplUtils.lhs index 975f6a5..4785039 100644 --- a/ghc/compiler/simplCore/SimplUtils.lhs +++ b/ghc/compiler/simplCore/SimplUtils.lhs @@ -46,7 +46,7 @@ import Type ( Type, splitFunTys, dropForAlls, isStrictType, ) import Name ( mkSysTvName ) import TyCon ( tyConDataCons_maybe, isAlgTyCon, isNewTyCon ) -import DataCon ( dataConRepArity, dataConTyVars, dataConArgTys, isVanillaDataCon ) +import DataCon ( dataConRepArity, dataConTyVars, dataConInstArgTys, isVanillaDataCon ) import Var ( tyVarKind, mkTyVar ) import VarSet import BasicTypes ( TopLevelFlag(..), isTopLevel, isNotTopLevel, OccInfo(..), isLoopBreaker, isOneOcc, @@ -1188,7 +1188,7 @@ prepareDefault case_bndr handled_cons Nothing mk_args missing_con inst_tys = mk_tv_bndrs missing_con inst_tys `thenSmpl` \ (tv_bndrs, inst_tys') -> getUniquesSmpl `thenSmpl` \ id_uniqs -> - let arg_tys = dataConArgTys missing_con inst_tys' + let arg_tys = dataConInstArgTys missing_con inst_tys' arg_ids = zipWith (mkSysLocal FSLIT("a")) id_uniqs arg_tys in returnSmpl (tv_bndrs ++ arg_ids)