From 5d095cc1308afc5e539174f33fd3ff2bd9788bbd Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Fri, 20 Jul 2001 16:48:21 +0000
Subject: [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.
---
 ghc/compiler/coreSyn/CoreLint.lhs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'ghc/compiler/coreSyn/CoreLint.lhs')

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)
 
-- 
cgit v1.2.1