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

diff --git a/compiler/typecheck/TcMatches.lhs-boot b/compiler/typecheck/TcMatches.lhs-boot
index 18a79fa..8d0fba2 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 TcType	( TcRhoType )
+import TcRnTypes( TcM, TcId )
 
 tcGRHSsPat    :: GRHSs Name
-	      -> BoxyRhoType
-	      -> TcM (GRHSs Id)
+	      -> TcRhoType
+	      -> TcM (GRHSs TcId)
 
-tcMatchesFun :: Name
+tcMatchesFun :: Name -> Bool
 	     -> MatchGroup Name
-	     -> BoxyRhoType
-	     -> TcM (ExprCoFn, MatchGroup Id)
+	     -> TcRhoType
+	     -> TcM (HsWrapper, MatchGroup TcId)
 \end{code}