[project @ 2005-01-27 10:44:00 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..51e1589 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]
-       -> [DsUtils.EquationInfo]
-       -> DsMonad.DsM DsUtils.MatchResult
+        -> TcType.TcType
+       -> [DsMonad.EquationInfo]
+       -> DsMonad.DsM DsMonad.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
-       -> DsUtils.MatchResult
-       -> DsMonad.DsM DsUtils.MatchResult
+       -> HsPat.LPat Var.Id
+        -> TcType.TcType
+       -> DsMonad.MatchResult
+       -> DsMonad.DsM DsMonad.MatchResult