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/ilxGen | |
| 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/ilxGen')
| -rw-r--r-- | ghc/compiler/ilxGen/IlxGen.lhs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ghc/compiler/ilxGen/IlxGen.lhs b/ghc/compiler/ilxGen/IlxGen.lhs index d59612e346..842d3c674d 100644 --- a/ghc/compiler/ilxGen/IlxGen.lhs +++ b/ghc/compiler/ilxGen/IlxGen.lhs @@ -28,7 +28,7 @@ import ForeignCall ( CCallConv(..), ForeignCall(..), CCallSpec(..), CCallTarget( import TysWiredIn ( mkTupleTy, tupleCon ) import PrimRep ( PrimRep(..) ) import Name ( nameModule, nameOccName, isGlobalName, isLocalName, NamedThing(getName) ) -import Subst ( substTy, mkTyVarSubst ) +import Subst ( substTyWith ) import Module ( Module, PackageName, ModuleName, moduleName, modulePackage, preludePackage, @@ -812,7 +812,7 @@ ilxFunAppArgs env num_sofar funty args tail_call known_clo get_type_args max ((arg@(StgTypeArg v)):rest) env (ForAllTy tv rem_funty) = if isIlxTyVar tv then let env2 = extendIlxEnvWithFormalTyVars env [tv] in - let rest_ty = deepIlxRepType (substTy (mkTyVarSubst [tv] [v]) rem_funty) in + let rest_ty = deepIlxRepType (substTyWith [tv] [v] rem_funty) in let (now,now_tys,env3,later,later_ty) = get_type_args (max - 1) rest env rest_ty in let arg_ty = mkTyVarTy tv in (arg:now,(arg,arg_ty):now_tys,env2, later, later_ty) |