X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2FdeSugar%2FDsMonad.lhs;h=28ff62d21a868a74c491f1d41ee2a4e3dabdb6d9;hp=347f6b60612d5f6729234f8d354c5d6d2c106a15;hb=e6d057711f4d6d6ff6342c39fa2b9e44d25447f1;hpb=f80b81f8b56ebd0fa0f7f82494a5090e9ab64256 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 })