Simon's big boxy-type commit

[ghc-hetmet.git] / ghc / compiler / typecheck / TcMatches.lhs-boot

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