From 17fff9311d82ddb38d82b1d08bbfcdff6c3892be Mon Sep 17 00:00:00 2001 From: simonpj Date: Thu, 7 Sep 2000 16:25:32 +0000 Subject: [PATCH] [project @ 2000-09-07 16:25:32 by simonpj] Add an access function substEnvEnv --- ghc/compiler/basicTypes/VarEnv.lhs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/ghc/compiler/basicTypes/VarEnv.lhs b/ghc/compiler/basicTypes/VarEnv.lhs index fcf64f1..03eb4e1 100644 --- a/ghc/compiler/basicTypes/VarEnv.lhs +++ b/ghc/compiler/basicTypes/VarEnv.lhs @@ -21,7 +21,7 @@ module VarEnv ( -- SubstEnvs SubstEnv, TyVarSubstEnv, SubstResult(..), - emptySubstEnv, + emptySubstEnv, substEnvEnv, mkSubstEnv, lookupSubstEnv, extendSubstEnv, extendSubstEnvList, delSubstEnv, delSubstEnvList, noTypeSubst, isEmptySubstEnv ) where @@ -72,6 +72,9 @@ data SubstEnv = SE (VarEnv SubstResult) noTypeSubst :: SubstEnv -> Bool noTypeSubst (SE _ nt) = nt +substEnvEnv :: SubstEnv -> VarEnv SubstResult +substEnvEnv (SE env _) = env + type TyVarSubstEnv = SubstEnv -- of the form (DoneTy ty) *only* data SubstResult -- 1.7.10.4