block expressions vs. reveal

2009-01-08 Thread Dave Herman
[NB: I agree with Mark that we should not focus too much on concrete syntax yet, so I'll also plead for people to avoid quibbling with details of syntax for the moment.] Instead of reveal I'd prefer block expressions with a fixed (but optional) tail expression: BlockExpr ::= {

Re: block expressions vs. reveal

2009-01-08 Thread Mark S. Miller
On Thu, Jan 8, 2009 at 8:57 AM, Dave Herman dher...@ccs.neu.edu wrote: [NB: I agree with Mark that we should not focus too much on concrete syntax yet, so I'll also plead for people to avoid quibbling with details of syntax for the moment.] Instead of reveal I'd prefer block expressions with