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