X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcMatches.hi-boot-5;h=43e2330683ef7fd79f5986df69710f28c58dfe5c;hb=ee81425d0c684f5d2bffd4b647b0897df0539122;hp=d54594a40cfc59db52f2a8a94b31502ad1103877;hpb=2c6d73e2ca9a545c4295c6f532cd3612e7fd3d8d;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcMatches.hi-boot-5 b/ghc/compiler/typecheck/TcMatches.hi-boot-5
index d54594a..43e2330 100644
--- a/ghc/compiler/typecheck/TcMatches.hi-boot-5
+++ b/ghc/compiler/typecheck/TcMatches.hi-boot-5
@@ -1,13 +1,10 @@
 __interface TcMatches 1 0 where
-__export TcMatches tcGRHSs tcMatchesFun;
-1 tcGRHSs ::  HsExpr.HsMatchContext Name.Name
-	      -> RnHsSyn.RenamedGRHSs
-	      -> TcMonad.TcType
-	      -> TcMonad.TcM (TcHsSyn.TcGRHSs, Inst.LIE) ;
-1 tcMatchesFun :: 
-		[(Name.Name,Var.Id)]
-	     ->	Name.Name
-	     -> TcMonad.TcType
-	     -> [RnHsSyn.RenamedMatch]
-	     -> TcMonad.TcM ([TcHsSyn.TcMatch], Inst.LIE) ;
+__export TcMatches tcGRHSsPat tcMatchesFun;
+1 tcGRHSsPat  :: HsExpr.GRHSs Name.Name
+	      -> TcUnify.Expected TcType.TcType
+	      -> TcRnTypes.TcM (HsExpr.GRHSs Var.Id) ;
 
+1 tcMatchesFun :: Name.Name
+	     -> [HsExpr.LMatch Name.Name]
+	     -> TcUnify.Expected TcType.TcType
+	     -> TcRnTypes.TcM [HsExpr.LMatch Var.Id] ;