X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FcoreSyn%2FSubst.hi-boot;h=e0627bb59f398932202a943897d0859dcaadc2fc;hb=b20ad44787ce6f778de86aebe9504cbb11779d01;hp=fcc7b826c3d5a35793f78b9dbde67a01ff2cab73;hpb=69e14f75a4b031e489b7774914e5a176409cea78;p=ghc-hetmet.git

diff --git a/ghc/compiler/coreSyn/Subst.hi-boot b/ghc/compiler/coreSyn/Subst.hi-boot
index fcc7b82..e0627bb 100644
--- a/ghc/compiler/coreSyn/Subst.hi-boot
+++ b/ghc/compiler/coreSyn/Subst.hi-boot
@@ -1,7 +1,6 @@
-_interface_ Subst 1
-_exports_ Subst Subst mkTyVarSubst substTy ;
+_interface_ Subst 2
+_exports_ Subst Subst substTyWith ;
 _declarations_
 1 data Subst;
-1 mkTyVarSubst _:_ [Var.TyVar] -> [Type.Type] -> Subst ;;
-1 substTy _:_ Subst -> Type.Type -> Type.Type ;;
+1 substTyWith _:_ [Var.TyVar] -> [TypeRep.Type] -> TypeRep.Type -> TypeRep.Type ;;