X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcMatches.lhs-boot;fp=ghc%2Fcompiler%2Ftypecheck%2FTcMatches.lhs-boot;h=18a79fa9846a568a9555ad2adcf7a6f331ca7ae8;hb=ac10f8408520a30e8437496d320b8b86afda2e8f;hp=ab2c6b031630e1b4b25d9d201e33ee405d1de5fa;hpb=479cc24837aa2c14c3bbed323bb640a5c53a2522;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcMatches.lhs-boot b/ghc/compiler/typecheck/TcMatches.lhs-boot
index ab2c6b0..18a79fa 100644
--- a/ghc/compiler/typecheck/TcMatches.lhs-boot
+++ b/ghc/compiler/typecheck/TcMatches.lhs-boot
@@ -1,17 +1,17 @@
 \begin{code}
 module TcMatches where
-import HsSyn	( GRHSs, MatchGroup )
+import HsSyn	( GRHSs, MatchGroup, ExprCoFn )
 import Name	( Name )
 import Var	( Id )
-import TcType	( TcType, Expected )
+import TcType	( BoxyRhoType )
 import TcRnTypes( TcM )
 
 tcGRHSsPat    :: GRHSs Name
-	      -> Expected TcType
+	      -> BoxyRhoType
 	      -> TcM (GRHSs Id)
 
 tcMatchesFun :: Name
 	     -> MatchGroup Name
-	     -> Expected TcType
-	     -> TcM (MatchGroup Id)
+	     -> BoxyRhoType
+	     -> TcM (ExprCoFn, MatchGroup Id)
 \end{code}