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

diff --git a/ghc/compiler/typecheck/TcMatches.hi-boot-6 b/ghc/compiler/typecheck/TcMatches.hi-boot-6
index 057eea1..fb723a4 100644
--- a/ghc/compiler/typecheck/TcMatches.hi-boot-6
+++ b/ghc/compiler/typecheck/TcMatches.hi-boot-6
@@ -1,10 +1,10 @@
 module TcMatches where
 
 tcGRHSsPat    :: HsExpr.GRHSs Name.Name
-	      -> TcUnify.Expected TcType.TcType
+	      -> TcType.BoxyRhoType
 	      -> TcRnTypes.TcM (HsExpr.GRHSs Var.Id)
 
 tcMatchesFun :: Name.Name
 	     -> HsExpr.MatchGroup Name.Name
-	     -> TcUnify.Expected TcType.TcType
-	     -> TcRnTypes.TcM (HsExpr.MatchGroup Var.Id)
+	     -> TcType.BoxyRhoType
+	     -> TcRnTypes.TcM (HsBinds.ExprCoFn, HsExpr.MatchGroup Var.Id)