[bitc-dev] OCaml syntax question

[Jonathan S. Shapiro]

On Wed, Mar 4, 2009 at 5:45 PM, Jonathan S. Shapiro <shap at eros-os.com> wrote:
> what means does the compiler use to resolve this ambiguity?...

Given the presence of BEGIN ... END in the expression syntax, I
speculate that the resolution for

  let BINDING in EXPR  ; let BINDING in EXPR
                                          ^
is to reduce rather than shift..

Ah. And now I see the operator precedence specification in section 6.7
of the specification. LET and friends have the lowest precedence, and
therefore reduce aggressively.