Record the type in TuplePat (necessary for GADTs)

[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 abd5d2b..df806ec 100644 (file)
--- a/ghc/compiler/deSugar/Match.hi-boot-6
+++ b/ghc/compiler/deSugar/Match.hi-boot-6
@@ -2,8 +2,8 @@ module Match where
 
 match  :: [Var.Id]
         -> TcType.TcType
-       -> [DsUtils.EquationInfo]
-       -> DsMonad.DsM DsUtils.MatchResult
+       -> [DsMonad.EquationInfo]
+       -> DsMonad.DsM DsMonad.MatchResult
 
 matchWrapper
        :: HsExpr.HsMatchContext Name.Name
@@ -12,7 +12,7 @@ matchWrapper
 
 matchSimply
        :: CoreSyn.CoreExpr
-       -> HsExpr.HsMatchContext Var.Id
+       -> HsExpr.HsMatchContext Name.Name
        -> HsPat.LPat Var.Id
        -> CoreSyn.CoreExpr
        -> CoreSyn.CoreExpr
@@ -20,8 +20,8 @@ matchSimply
 
 matchSinglePat
        :: CoreSyn.CoreExpr
-       -> DsMonad.DsMatchContext
+       -> HsExpr.HsMatchContext Name.Name
        -> HsPat.LPat Var.Id
         -> TcType.TcType
-       -> DsUtils.MatchResult
-       -> DsMonad.DsM DsUtils.MatchResult
+       -> DsMonad.MatchResult
+       -> DsMonad.DsM DsMonad.MatchResult