X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FdeSugar%2FDsMonad.lhs;h=28ff62d21a868a74c491f1d41ee2a4e3dabdb6d9;hb=30098da67fd3ce50ef5a110f57c1780002f83615;hp=347f6b60612d5f6729234f8d354c5d6d2c106a15;hpb=f1c0fd99f16322fe222c6fcf4626a6162ad0a466;p=ghc-hetmet.git diff --git a/compiler/deSugar/DsMonad.lhs b/compiler/deSugar/DsMonad.lhs index 347f6b6..28ff62d 100644 --- a/compiler/deSugar/DsMonad.lhs +++ b/compiler/deSugar/DsMonad.lhs @@ -26,7 +26,7 @@ module DsMonad ( -- Data types DsMatchContext(..), - EquationInfo(..), MatchResult(..), DsWrapper, idWrapper, + EquationInfo(..), MatchResult(..), DsWrapper, idDsWrapper, CanItFail(..), orFail ) where @@ -77,7 +77,7 @@ data EquationInfo eqn_rhs :: MatchResult } -- What to do after match type DsWrapper = CoreExpr -> CoreExpr -idWrapper e = e +idDsWrapper e = e -- The semantics of (match vs (EqnInfo wrap pats rhs)) is the MatchResult -- \fail. wrap (case vs of { pats -> rhs fail })