[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 2e4d223..168daf4 100644 (file)
--- a/ghc/compiler/deSugar/Match.hi-boot-6
+++ b/ghc/compiler/deSugar/Match.hi-boot-6
@@ -1,6 +1,27 @@
-__interface Match 1 0 where
-__export Match match matchExport matchSimply matchSinglePat;
-1 match :: [Var.Id] -> [DsUtils.EquationInfo] -> DsMonad.DsM DsUtils.MatchResult ;
-1 matchExport :: [Var.Id] -> [DsUtils.EquationInfo] -> DsMonad.DsM DsUtils.MatchResult ;
-1 matchSimply :: CoreSyn.CoreExpr -> HsExpr.HsMatchContext Var.Id -> TcHsSyn.TypecheckedPat -> CoreSyn.CoreExpr -> CoreSyn.CoreExpr -> DsMonad.DsM CoreSyn.CoreExpr ;
-1 matchSinglePat :: CoreSyn.CoreExpr -> DsMonad.DsMatchContext -> TcHsSyn.TypecheckedPat -> DsUtils.MatchResult -> DsMonad.DsM DsUtils.MatchResult ;
+module Match where
+
+match  :: [Var.Id]
+        -> TcType.TcType
+       -> [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 Name.Name
+       -> HsPat.LPat Var.Id
+       -> CoreSyn.CoreExpr
+       -> CoreSyn.CoreExpr
+       -> DsMonad.DsM CoreSyn.CoreExpr
+
+matchSinglePat
+       :: CoreSyn.CoreExpr
+       -> DsMonad.DsMatchContext
+       -> HsPat.LPat Var.Id
+        -> TcType.TcType
+       -> DsUtils.MatchResult
+       -> DsMonad.DsM DsUtils.MatchResult