X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=ghc%2Fcompiler%2Fenvs%2FInstEnv.hi;h=89159f5bde95d26a4a78eefbc7058968cdecb466;hp=74cccfdd23188ff326be7015b344a1766046c3b5;hb=68a1f0233996ed79824d11d946e9801473f6946c;hpb=ed7464364646a28aaf27d1dbc2ceaf7a9d9ce62f

diff --git a/ghc/compiler/envs/InstEnv.hi b/ghc/compiler/envs/InstEnv.hi
index 74cccfd..89159f5 100644
--- 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)]