[project @ 1996-03-22 09:24:22 by partain]

[ghc-hetmet.git] / ghc / compiler / uniType / UniType.hi

diff --git a/ghc/compiler/uniType/UniType.hi b/ghc/compiler/uniType/UniType.hi
deleted file mode 100644 (file)
index f88f703..0000000
--- a/ghc/compiler/uniType/UniType.hi
+++ /dev/null
@@ -1,44 +0,0 @@
-{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
-interface UniType where
-import Class(Class)
-import Maybes(Labda)
-import NameTypes(ShortName)
-import Outputable(Outputable)
-import TyCon(TyCon)
-import TyVar(TyVar, TyVarTemplate)
-import Unique(Unique)
-data Class 
-type InstTyEnv = [(TyVarTemplate, UniType)]
-data Labda a 
-type RhoType = UniType
-type SigmaType = UniType
-type TauType = UniType
-type ThetaType = [(Class, UniType)]
-data TyCon 
-data TyVar 
-data TyVarTemplate 
-data UniType   = UniTyVar TyVar | UniFun UniType UniType | UniData TyCon [UniType] | UniSyn TyCon [UniType] UniType | UniDict Class UniType | UniTyVarTemplate TyVarTemplate | UniForall TyVarTemplate UniType
-alpha :: UniType
-alpha_ty :: UniType
-beta :: UniType
-beta_ty :: UniType
-cmpUniType :: Bool -> UniType -> UniType -> Int#
-delta :: UniType
-delta_ty :: UniType
-epsilon :: UniType
-epsilon_ty :: UniType
-gamma :: UniType
-gamma_ty :: UniType
-instantiateTauTy :: [(TyVarTemplate, UniType)] -> UniType -> UniType
-instantiateThetaTy :: [(TyVarTemplate, UniType)] -> [(Class, UniType)] -> [(Class, UniType)]
-instantiateTy :: [(TyVarTemplate, UniType)] -> UniType -> UniType
-mkDictTy :: Class -> UniType -> UniType
-mkForallTy :: [TyVarTemplate] -> UniType -> UniType
-mkRhoTy :: [(Class, UniType)] -> UniType -> UniType
-mkSigmaTy :: [TyVarTemplate] -> [(Class, UniType)] -> UniType -> UniType
-mkTyVarTemplateTy :: TyVarTemplate -> UniType
-mkTyVarTy :: TyVar -> UniType
-quantifyTy :: [TyVar] -> UniType -> ([TyVarTemplate], UniType)
-instance Eq UniType
-instance Outputable UniType
-