diff options
author | simonpj <unknown> | 2001-07-20 16:48:21 +0000 |
---|---|---|
committer | simonpj <unknown> | 2001-07-20 16:48:21 +0000 |
commit | 5d095cc1308afc5e539174f33fd3ff2bd9788bbd (patch) | |
tree | 0f18125d2d44db43074fa757cd6173628c2779d5 /ghc/compiler/coreSyn/CoreLint.lhs | |
parent | e3defabc698eb976504f750eee1258fe400a8352 (diff) | |
download | haskell-5d095cc1308afc5e539174f33fd3ff2bd9788bbd.tar.gz |
[project @ 2001-07-20 16:48:20 by simonpj]
This commit adds the very convenient function
Subst.substTyWith :: [TyVar] -> [Type] -> Type -> Type
and uses it in various places.
Diffstat (limited to 'ghc/compiler/coreSyn/CoreLint.lhs')
-rw-r--r-- | ghc/compiler/coreSyn/CoreLint.lhs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ghc/compiler/coreSyn/CoreLint.lhs b/ghc/compiler/coreSyn/CoreLint.lhs index e5744e1b17..03d4945fa4 100644 --- a/ghc/compiler/coreSyn/CoreLint.lhs +++ b/ghc/compiler/coreSyn/CoreLint.lhs @@ -24,7 +24,7 @@ import Literal ( literalType ) import DataCon ( dataConRepType ) import Var ( Var, Id, TyVar, idType, tyVarKind, isTyVar, isId, mustHaveLocalBinding ) import VarSet -import Subst ( mkTyVarSubst, substTy ) +import Subst ( substTyWith ) import Name ( getSrcLoc ) import PprCore import ErrUtils ( doIfSet, dumpIfSet_core, ghcExit, Message, showPass, @@ -375,7 +375,7 @@ lintTyApp ty arg_ty -- error :: forall a:*. String -> a -- and then apply it to both boxed and unboxed types. then - returnL (substTy (mkTyVarSubst [tyvar] [arg_ty]) body) + returnL (substTyWith [tyvar] [arg_ty] body) else addErrL (mkKindErrMsg tyvar arg_ty) |