[project @ 2001-07-20 16:48:20 by simonpj]

[ghc-hetmet.git] / ghc / compiler / coreSyn / Subst.hi-boot-5

diff --git a/ghc/compiler/coreSyn/Subst.hi-boot-5 b/ghc/compiler/coreSyn/Subst.hi-boot-5
index e959642..7be51e9 100644 (file)
--- 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 ;