simonpj 2005/02/28 21:49:51 PST
Modified files:
ghc/compiler/deSugar DsMonad.lhs DsUtils.lhs Match.lhs
MatchCon.lhs MatchLit.lhs
Log:
Make desugaring of pattern-matching much more civilised.
Before this change we wrapped new bindings around the
right hand side; but that meant they ended up wrapped
in reverse order. Now we accumulate the bindings
separately, in the eqn_wrap field of an EqnInfo.
This cures a desugaring bug encountered by Akos Korosmezey
immortalised as ds055
Revision Changes Path
1.58 +6 -2 fptools/ghc/compiler/deSugar/DsMonad.lhs
1.80 +11 -24 fptools/ghc/compiler/deSugar/DsUtils.lhs
1.69 +42 -42 fptools/ghc/compiler/deSugar/Match.lhs
1.21 +15 -22 fptools/ghc/compiler/deSugar/MatchCon.lhs
1.38 +21 -11 fptools/ghc/compiler/deSugar/MatchLit.lhs
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
