[project @ 1999-05-18 15:03:54 by simonpj]

[ghc-hetmet.git] / ghc / compiler / specialise / SpecEnv.hi-boot-5

diff --git a/ghc/compiler/specialise/SpecEnv.hi-boot-5 b/ghc/compiler/specialise/SpecEnv.hi-boot-5
index 73ccccf..f08f945 100644 (file)
--- a/ghc/compiler/specialise/SpecEnv.hi-boot-5
+++ b/ghc/compiler/specialise/SpecEnv.hi-boot-5
@@ -1,3 +1,7 @@
 __interface SpecEnv 1 0 where
-__export SpecEnv SpecEnv ;
+__export SpecEnv SpecEnv emptySpecEnv specEnvFreeVars isEmptySpecEnv ;
 1 data SpecEnv a;
+1 emptySpecEnv :: __forall [a] => SpecEnv a ;
+1 isEmptySpecEnv :: __forall [a] => SpecEnv a -> PrelBase.Bool ;
+1 specEnvFreeVars :: __forall [a] => (a -> VarSet.IdOrTyVarSet) -> SpecEnv a -> VarSet.IdOrTyVarSet ;
+