[project @ 2004-10-01 13:42:04 by simonpj]

[ghc-hetmet.git] / ghc / compiler / deSugar / Match.hi-boot-6

diff --git a/ghc/compiler/deSugar/Match.hi-boot-6 b/ghc/compiler/deSugar/Match.hi-boot-6
index e7f5e1a..168daf4 100644 (file)
--- a/ghc/compiler/deSugar/Match.hi-boot-6
+++ b/ghc/compiler/deSugar/Match.hi-boot-6
@@ -1,18 +1,19 @@
 module Match where
 
 match  :: [Var.Id]
+        -> TcType.TcType
        -> [DsUtils.EquationInfo]
        -> DsMonad.DsM DsUtils.MatchResult
 
-matchExport
-       :: [Var.Id]
-       -> [DsUtils.EquationInfo]
-       -> DsMonad.DsM DsUtils.MatchResult
+matchWrapper
+       :: HsExpr.HsMatchContext Name.Name
+        -> HsExpr.MatchGroup Var.Id
+       -> DsMonad.DsM ([Var.Id], CoreSyn.CoreExpr)
 
 matchSimply
        :: CoreSyn.CoreExpr
-       -> HsExpr.HsMatchContext Var.Id
-       -> TcHsSyn.TypecheckedPat
+       -> HsExpr.HsMatchContext Name.Name
+       -> HsPat.LPat Var.Id
        -> CoreSyn.CoreExpr
        -> CoreSyn.CoreExpr
        -> DsMonad.DsM CoreSyn.CoreExpr
@@ -20,6 +21,7 @@ matchSimply
 matchSinglePat
        :: CoreSyn.CoreExpr
        -> DsMonad.DsMatchContext
-       -> TcHsSyn.TypecheckedPat
+       -> HsPat.LPat Var.Id
+        -> TcType.TcType
        -> DsUtils.MatchResult
        -> DsMonad.DsM DsUtils.MatchResult