simonpj 2002/10/23 07:30:04 PDT
Sender: [EMAIL PROTECTED]
Errors-To: [EMAIL PROTECTED]
X-BeenThere: [EMAIL PROTECTED]
X-Mailman-Version: 2.0.8
Precedence: bulk
List-Help: <mailto:cvs-ghc-request@;haskell.org?subject=help>
List-Post: <mailto:cvs-ghc@;haskell.org>
List-Subscribe: <http://www.haskell.org/mailman/listinfo/cvs-ghc>,
<mailto:cvs-ghc-request@;haskell.org?subject=subscribe>
List-Id: GHC/CVS discussion and fptools/ghc CVS commit messages <cvs-ghc.haskell.org>
List-Unsubscribe: <http://www.haskell.org/mailman/listinfo/cvs-ghc>,
<mailto:cvs-ghc-request@;haskell.org?subject=unsubscribe>
List-Archive: <http://www.haskell.org/pipermail/cvs-ghc/>
Date: Wed, 23 Oct 2002 07:30:04 -0700
Modified files:
ghc/compiler/deSugar DsExpr.lhs DsMeta.hs
ghc/compiler/hsSyn HsBinds.lhs HsExpr.lhs HsSyn.lhs
ghc/compiler/parser Parser.y
ghc/compiler/rename RnExpr.lhs RnSource.lhs
ghc/compiler/typecheck TcBinds.lhs TcExpr.lhs TcGenDeriv.lhs
TcHsSyn.lhs TcMatches.lhs
Log:
------------------------------------------------
Allow implicit-parameter bindings anywhere that
a normal binding group is allowed.
------------------------------------------------
That is, you can have implicit parameters
* in a let binding
* in a where clause (but then you can't have non-implicit
ones as well)
* in a let group in a list comprehension or monad do-notation
The implementation is simple: just add IPBinds to the allowable forms of HsBinds,
and remove the HsWith expression form altogether. (It now comes in via the
HsLet form.)
It'a a nice generalisation really. Needs a bit of documentation, which I'll do next.
Revision Changes Path
1.92 +7 -8 fptools/ghc/compiler/deSugar/DsExpr.lhs
1.9 +3 -1 fptools/ghc/compiler/deSugar/DsMeta.hs
1.66 +22 -10 fptools/ghc/compiler/hsSyn/HsBinds.lhs
1.76 +14 -26 fptools/ghc/compiler/hsSyn/HsExpr.lhs
1.39 +7 -5 fptools/ghc/compiler/hsSyn/HsSyn.lhs
1.111 +16 -14 fptools/ghc/compiler/parser/Parser.y
1.106 +13 -32 fptools/ghc/compiler/rename/RnExpr.lhs
1.153 +39 -5 fptools/ghc/compiler/rename/RnSource.lhs
1.110 +42 -13 fptools/ghc/compiler/typecheck/TcBinds.lhs
1.138 +2 -33 fptools/ghc/compiler/typecheck/TcExpr.lhs
1.90 +1 -1 fptools/ghc/compiler/typecheck/TcGenDeriv.lhs
1.86 +14 -14 fptools/ghc/compiler/typecheck/TcHsSyn.lhs
1.72 +10 -11 fptools/ghc/compiler/typecheck/TcMatches.lhs
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
