X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FsimplCore%2FFoldrBuildWW.lhs;fp=ghc%2Fcompiler%2FsimplCore%2FFoldrBuildWW.lhs;h=55a0e318141f4edf5ce1c7d2c52b5d271a4873ab;hb=5cf27e8f1731c52fe63a5b9615f927484164c61b;hp=a456fde4e1c146e7d79067dcd2605b2f958eec80;hpb=68afb16743cafd5b7495771d359891c6dfc5a186;p=ghc-hetmet.git diff --git a/ghc/compiler/simplCore/FoldrBuildWW.lhs b/ghc/compiler/simplCore/FoldrBuildWW.lhs index a456fde..55a0e31 100644 --- a/ghc/compiler/simplCore/FoldrBuildWW.lhs +++ b/ghc/compiler/simplCore/FoldrBuildWW.lhs @@ -14,7 +14,7 @@ import CoreSyn ( CoreBinding(..) ) import Util ( panic{-ToDo:rm?-} ) --import Type ( cloneTyVarFromTemplate, mkTyVarTy, --- splitTypeWithDictsAsArgs, eqTyCon, mkForallTy ) +-- splitFunTyExpandingDicts, eqTyCon, mkForallTy ) --import TysPrim ( alphaTy ) --import TyVar ( alphaTyVar ) -- @@ -137,7 +137,7 @@ try_split_bind id expr = n_ty = alphaTy n_ty_templ = alphaTy - (templ,arg_tys,res) = splitTypeWithDictsAsArgs (idType id) + (templ,arg_tys,res) = splitFunTyExpandingDicts (idType id) expr_ty = getListTy res getListTy res = panic "FoldrBuildWW:getListTy:ToDo" {-LATER:case res of UniData lty [ty] | lty `eqTyCon` listTyCon -> ty