fix haddock submodule pointer
[ghc-hetmet.git] / compiler / typecheck / TcMatches.lhs-boot
index 18a79fa..8d0fba2 100644 (file)
@@ -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}