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

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