From: simonpj <unknown>
Date: Thu, 7 Sep 2000 16:25:32 +0000 (+0000)
Subject: [project @ 2000-09-07 16:25:32 by simonpj]
X-Git-Tag: Approximately_9120_patches~3773
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=17fff9311d82ddb38d82b1d08bbfcdff6c3892be;p=ghc-hetmet.git

[project @ 2000-09-07 16:25:32 by simonpj]
Add an access function substEnvEnv
---

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