statements that could be expressions?

Mike Samuel mikesamuel at
Thu Jun 2 13:43:29 PDT 2011

Yes.  That grammar is a subset of the grammar that results from
replacing the 11.1.6 ' PrimaryExpression : "(" Expression ")" '
production with

    "(" GroupElement GroupElements ")"

where GroupElement is defined as any Statement except for Block and
EmptyStatement without a terminal semicolon, and GroupElements is
defined thus

    GroupElements : empty
        | ";" GroupElement GroupElements

but I thought it was easier to reason about ambiguity and locality of
spec changes for that subset.

2011/6/2 Waldemar Horwat <waldemar at>:
> Did you mean to disallow an expression as the first statement in your
> "block"?

More information about the es-discuss mailing list