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

[ghc-hetmet.git] / ghc / compiler / envs / InstEnv.hi

diff --git a/ghc/compiler/envs/InstEnv.hi b/ghc/compiler/envs/InstEnv.hi
deleted file mode 100644 (file)
index 89159f5..0000000
--- a/ghc/compiler/envs/InstEnv.hi
+++ /dev/null
@@ -1,54 +0,0 @@
-{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
-interface InstEnv where
-import BasicLit(BasicLit)
-import Class(Class, ClassOp)
-import CoreSyn(CoreAtom, CoreBinding, CoreCaseAlternatives, CoreExpr)
-import CostCentre(CostCentre)
-import HsBinds(Binds)
-import HsExpr(ArithSeqInfo, Expr, Qual)
-import HsLit(Literal)
-import HsMatches(Match)
-import HsPat(InPat, TypecheckedPat)
-import HsTypes(PolyType)
-import Id(Id)
-import IdInfo(SpecEnv, SpecInfo)
-import Inst(Inst, InstOrigin, OverloadedLit)
-import Maybes(Labda, MaybeErr)
-import Name(Name)
-import PreludePS(_PackedString)
-import PrimOps(PrimOp)
-import SplitUniq(SplitUniqSupply)
-import SrcLoc(SrcLoc)
-import TyCon(TyCon)
-import TyVar(TyVar, TyVarTemplate)
-import UniType(UniType)
-import Unique(Unique)
-data Class 
-type ClassInstEnv = [(UniType, InstTemplate)]
-data ClassOp 
-data CoreExpr a b 
-data Expr a b 
-data Id 
-data Inst 
-data InstOrigin 
-data InstTemplate 
-data InstTy 
-type InstanceMapper = Class -> ([(UniType, InstTemplate)], ClassOp -> SpecEnv)
-data Labda a 
-type MatchEnv a b = [(a, b)]
-data MaybeErr a b 
-type MethodInstInfo = (Id, [UniType], InstTemplate)
-data TypecheckedPat 
-data SpecEnv 
-data SpecInfo 
-data SplitUniqSupply 
-data TyCon 
-data TyVarTemplate 
-data UniType 
-addClassInst :: Class -> [(UniType, InstTemplate)] -> UniType -> Id -> [TyVarTemplate] -> [(Class, UniType)] -> SrcLoc -> MaybeErr [(UniType, InstTemplate)] (Class, (UniType, SrcLoc), (UniType, SrcLoc))
-lookupClassInstAtSimpleType :: Class -> UniType -> Labda Id
-lookupInst :: SplitUniqSupply -> Inst -> Labda (Expr Id TypecheckedPat, [Inst])
-lookupNoBindInst :: SplitUniqSupply -> Inst -> Labda [Inst]
-mkInstSpecEnv :: Class -> UniType -> [TyVarTemplate] -> [(Class, UniType)] -> SpecEnv
-nullMEnv :: [(a, b)]
-