X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcEnv.lhs;h=49da0db77b874343b43b2f549bdf60c772ef36da;hb=c3cf681e8f65430d4e0dcef08c8f7b75332a034e;hp=586c5a5960feba3d18bbc88077488a1d2c98a711;hpb=bcfdbbe5a48c7d18089c3d4a2e2758a3b9291482;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcEnv.lhs b/ghc/compiler/typecheck/TcEnv.lhs
index 586c5a5..49da0db 100644
--- a/ghc/compiler/typecheck/TcEnv.lhs
+++ b/ghc/compiler/typecheck/TcEnv.lhs
@@ -22,6 +22,7 @@ module TcEnv(
 	tcLookupValue,      tcLookupValueMaybe, 
 	tcLookupValueByKey, tcLookupValueByKeyMaybe,
 	explicitLookupValueByKey, explicitLookupValue,
+	valueEnvIds,
 
 	newLocalId, newSpecPragmaId,
 	tcGetGlobalTyVars, tcExtendGlobalTyVars,
@@ -152,6 +153,9 @@ type UsageEnv   = NameEnv UVar
 type TypeEnv	= NameEnv (TcKind, Maybe Arity, TcTyThing)
 type ValueEnv	= NameEnv Id	
 
+valueEnvIds :: ValueEnv -> [Id]
+valueEnvIds ve = eltsUFM ve
+
 data TcTyThing = ATyVar TcTyVar		-- Mutable only so that the kind can be mutable
 					-- if the kind is mutable, the tyvar must be so that
 					-- zonking works