X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FsimplStg%2FSatStgRhs.lhs;fp=ghc%2Fcompiler%2FsimplStg%2FSatStgRhs.lhs;h=eab32d0016e8a996ea484ae56bb859c799dda59c;hb=5cf27e8f1731c52fe63a5b9615f927484164c61b;hp=c8d2144c83c0b7fee38c8bbf35a5a3b7ff0e25ed;hpb=68afb16743cafd5b7495771d359891c6dfc5a186;p=ghc-hetmet.git diff --git a/ghc/compiler/simplStg/SatStgRhs.lhs b/ghc/compiler/simplStg/SatStgRhs.lhs index c8d2144..eab32d0 100644 --- a/ghc/compiler/simplStg/SatStgRhs.lhs +++ b/ghc/compiler/simplStg/SatStgRhs.lhs @@ -71,7 +71,7 @@ import Id ( idType, getIdArity, addIdArity, mkSysLocal, ) import IdInfo ( arityMaybe ) import SrcLoc ( mkUnknownSrcLoc ) -import Type ( splitSigmaTy, splitForAllTy, splitFunTyWithDictsAsArgs ) +import Type ( splitSigmaTy, splitForAllTy, splitFunTyExpandingDicts ) import UniqSupply ( returnUs, thenUs, mapUs, getUnique, UniqSM(..) ) import Util ( panic, assertPanic ) @@ -167,7 +167,7 @@ satRhs top env (b, StgRhsClosure cc bi fv u args body) -- get type info for this function: (_, rho_ty) = splitForAllTy (idType b) - (all_arg_tys, _) = splitFunTyWithDictsAsArgs rho_ty + (all_arg_tys, _) = splitFunTyExpandingDicts rho_ty -- now, we already have "args"; we drop that many types args_we_dont_have_tys = drop num_args all_arg_tys