[project @ 1996-03-19 08:58:34 by partain]
[ghc-hetmet.git] / ghc / compiler / envs / TVE.hi
diff --git a/ghc/compiler/envs/TVE.hi b/ghc/compiler/envs/TVE.hi
deleted file mode 100644 (file)
index 4edf8d5..0000000
+++ /dev/null
@@ -1,25 +0,0 @@
-{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
-interface TVE where
-import Id(Id)
-import Maybes(Labda)
-import Name(Name)
-import NameTypes(FullName, ShortName)
-import PreludePS(_PackedString)
-import TyCon(TyCon)
-import TyVar(TyVarTemplate)
-import UniType(UniType)
-import UniqFM(UniqFM)
-import Unique(Unique)
-data Labda a 
-data Name 
-type TVE = UniqFM UniType
-data TyVarTemplate 
-data UniType 
-data UniqFM a 
-lookupTVE :: UniqFM UniType -> Name -> UniType
-lookupTVE_NoFail :: UniqFM a -> Name -> Labda a
-mkTVE :: [Name] -> (UniqFM UniType, [TyVarTemplate], [UniType])
-nullTVE :: UniqFM UniType
-plusTVE :: UniqFM UniType -> UniqFM UniType -> UniqFM UniType
-unitTVE :: Unique -> a -> UniqFM a
-