[project @ 2002-06-05 14:39:27 by simonpj]
authorsimonpj <unknown>
Wed, 5 Jun 2002 14:39:31 +0000 (14:39 +0000)
committersimonpj <unknown>
Wed, 5 Jun 2002 14:39:31 +0000 (14:39 +0000)
commitb2f644fa8edcf8697640c9228089b39030b8b362
tree77780e224605c6bc88530b688309f738c9bddbfa
parent2145e55a4fbd60c3bd134496d82ddc545bd698ba
[project @ 2002-06-05 14:39:27 by simonpj]
---------------------------------------
Add rebindable syntax for do-notation
(this time, on the HEAD)
---------------------------------------

Make do-notation use rebindable syntax, so that -fno-implicit-prelude
makes do-notation use whatever (>>=), (>>), return, fail are in scope,
rather than the Prelude versions.

On the way, combine HsDo and HsDoOut into one constructor in HsSyn,
and tidy up type checking of HsDo.
ghc/compiler/deSugar/DsExpr.lhs
ghc/compiler/hsSyn/HsExpr.lhs
ghc/compiler/parser/Parser.y
ghc/compiler/parser/RdrHsSyn.lhs
ghc/compiler/rename/RnEnv.lhs
ghc/compiler/rename/RnExpr.lhs
ghc/compiler/typecheck/TcExpr.lhs
ghc/compiler/typecheck/TcGenDeriv.lhs
ghc/compiler/typecheck/TcHsSyn.lhs
ghc/compiler/typecheck/TcMatches.lhs
ghc/compiler/typecheck/TcModule.lhs