X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcMatches.lhs-boot;h=e50949f0f74ec898c42543cdbb31549c1b895dd3;hp=18a79fa9846a568a9555ad2adcf7a6f331ca7ae8;hb=a8427a4125e9b78e88a487eeabf018f1c6e8bc08;hpb=0065d5ab628975892cea1ec7303f968c3338cbe1

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