[project @ 1996-01-18 16:33:17 by partain]

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

diff --git a/ghc/compiler/envs/InstEnv.hi b/ghc/compiler/envs/InstEnv.hi
index 74cccfd..89159f5 100644 (file)
--- a/ghc/compiler/envs/InstEnv.hi
+++ b/ghc/compiler/envs/InstEnv.hi
@@ -39,6 +39,7 @@ 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 
@@ -48,5 +49,6 @@ addClassInst :: Class -> [(UniType, InstTemplate)] -> UniType -> Id -> [TyVarTem
 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)]