[project @ 2005-01-27 10:44:00 by simonpj]
[ghc-hetmet.git] / ghc / compiler / typecheck / TcMatches.hi-boot-6
index aca8a45..1718a5c 100644 (file)
@@ -1,11 +1,10 @@
 module TcMatches where
 
-tcGRHSsPat    :: RnHsSyn.RenamedGRHSs
-             -> TcUnify.Expected TcType.TcType
-             -> TcRnTypes.TcM TcHsSyn.TcGRHSs
+tcGRHSsPat    :: HsExpr.GRHSs Name.Name
+             -> TcType.Expected TcType.TcType
+             -> TcRnTypes.TcM (HsExpr.GRHSs Var.Id)
 
 tcMatchesFun :: Name.Name
-            -> [RnHsSyn.RenamedMatch]
-            -> TcUnify.Expected TcType.TcType
-            -> TcRnTypes.TcM [TcHsSyn.TcMatch]
-
+            -> HsExpr.MatchGroup Name.Name
+            -> TcType.Expected TcType.TcType
+            -> TcRnTypes.TcM (HsExpr.MatchGroup Var.Id)