cvs commit: fptools/ghc/compiler/deSugar DsMonad.lhs DsUtils.lhs Match.lhs MatchCon.lhs MatchLit.lhs

[Simon Peyton Jones]

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