X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcMatches.hi-boot-6;h=fb723a452771f048ed94927801a0491283d8410b;hb=5ca2f4dd447e8961e2ae09c0a45f4bd45d015411;hp=f4bd3d715e2261d873fc3d11d3f7ebe016df37a7;hpb=b9312420f355a3b6f24f3bd732300d9e03f59268;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcMatches.hi-boot-6 b/ghc/compiler/typecheck/TcMatches.hi-boot-6
index f4bd3d7..fb723a4 100644
--- a/ghc/compiler/typecheck/TcMatches.hi-boot-6
+++ b/ghc/compiler/typecheck/TcMatches.hi-boot-6
@@ -1,14 +1,10 @@
 module TcMatches where
 
-tcGRHSs ::  HsExpr.HsMatchContext Name.Name
-	      -> RnHsSyn.RenamedGRHSs
-	      -> TcType.TcType
-	      -> TcMonad.TcM (TcHsSyn.TcGRHSs, Inst.LIE)
-
-tcMatchesFun :: 
-		[(Name.Name,Var.Id)]
-	     ->	Name.Name
-	     -> TcType.TcType
-	     -> [RnHsSyn.RenamedMatch]
-	     -> TcMonad.TcM ([TcHsSyn.TcMatch], Inst.LIE)
+tcGRHSsPat    :: HsExpr.GRHSs Name.Name
+	      -> TcType.BoxyRhoType
+	      -> TcRnTypes.TcM (HsExpr.GRHSs Var.Id)
 
+tcMatchesFun :: Name.Name
+	     -> HsExpr.MatchGroup Name.Name
+	     -> TcType.BoxyRhoType
+	     -> TcRnTypes.TcM (HsBinds.ExprCoFn, HsExpr.MatchGroup Var.Id)