X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcMatches.lhs-boot;h=8d0fba26997ea515f2f219c526119a83361551d0;hp=0afe7d221fcfa43085b61c4bd5d4d2a5ec61f318;hb=HEAD;hpb=ad192ab08564152e226535c179778a896598eac2

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