[project @ 1996-03-19 08:58:34 by partain]

[ghc-hetmet.git] / ghc / compiler / typecheck / Subst.hi

diff --git a/ghc/compiler/typecheck/Subst.hi b/ghc/compiler/typecheck/Subst.hi
deleted file mode 100644 (file)
index 137452c..0000000
--- a/ghc/compiler/typecheck/Subst.hi
+++ /dev/null
@@ -1,25 +0,0 @@
-{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
-interface Subst where
-import Bag(Bag)
-import Class(Class)
-import Maybes(Labda)
-import PreludeGlaST(_MutableArray)
-import TyCon(TyCon)
-import TyVar(TyVar, TyVarTemplate)
-import UniType(UniType)
-import Unique(Unique)
-data Subst 
-data SubstResult   = SubstOK | OccursCheck TyVar UniType | AlreadyBound UniType
-data TyVar 
-data UniType 
-applySubstToThetaTy :: Subst -> [(Class, UniType)] -> (Subst, [(Class, UniType)])
-applySubstToTy :: Subst -> UniType -> (Subst, UniType)
-applySubstToTyVar :: Subst -> TyVar -> (Subst, UniType)
-combineSubstUndos :: Subst -> Subst
-extendSubst :: TyVar -> UniType -> Subst -> (Subst, SubstResult)
-getSubstTyVarUnique :: Subst -> (Subst, Unique)
-getSubstTyVarUniques :: Int -> Subst -> (Subst, [Unique])
-mkEmptySubst :: Int -> Subst
-pushSubstUndos :: Subst -> Subst
-undoSubstUndos :: Subst -> Subst
-