X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FcoreSyn%2FSubst.hi-boot-5;h=7be51e9c8f08ec7c5ef8026d1632abfbf3bd1ded;hb=0534decda4b6b70236798075801e5f478bcc0aae;hp=e959642b11274ad5d317b0b0dab49c77539b3ff8;hpb=9d787ef5a8072b6c1f576f2de1b66edfa59813ed;p=ghc-hetmet.git

diff --git a/ghc/compiler/coreSyn/Subst.hi-boot-5 b/ghc/compiler/coreSyn/Subst.hi-boot-5
index e959642..7be51e9 100644
--- a/ghc/compiler/coreSyn/Subst.hi-boot-5
+++ b/ghc/compiler/coreSyn/Subst.hi-boot-5
@@ -1,6 +1,5 @@
-__interface Subst 1 0 where
-__export Subst Subst mkTyVarSubst substTy ;
+__interface Subst 2 0 where
+__export Subst Subst substTyWith ;
 1 data Subst;
-1 mkTyVarSubst :: [Var.TyVar] -> [TypeRep.Type] -> Subst ;
-1 substTy :: Subst -> TypeRep.Type -> TypeRep.Type ;
+1 substTyWith :: [Var.TyVar] -> [TypeRep.Type] -> TypeRep.Type -> TypeRep.Type ;