simonpj 2002/11/21 01:36:04 PST
Modified files:
ghc/compiler/hsSyn HsPat.lhs
ghc/compiler/deSugar DsExpr.lhs
Log:
-------------------------------
Fix and tidy the desugaring of
pattern-matching in do-notation
-------------------------------
In the reorgansiation of HsPat, failureFreePat had become incorrect (due to
a catch-all case that caught a constructor that should have been matched). So
pattern-match failure in do-notation wasn't handled right.
As it turned out, DsExpr.dsDo could be made much simpler and more elegant
by using matchSimply instead of matchWrapper, and this had the side benefit
of removing the last call to HsPat.failureFreePat. So it's gone!
Revision Changes Path
1.41 +2 -30 fptools/ghc/compiler/hsSyn/HsPat.lhs
1.93 +15 -20 fptools/ghc/compiler/deSugar/DsExpr.lhs
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
