[bitc-dev] OCaml syntax question

[Jonathan S. Shapiro]

I'm looking at the OCaml syntax. The syntax for expressions includes:

  expr :=  expr ';' expr      # sequencing
  expr := let BINDING in EXPR

which means that

  let BINDING in EXPR ; let BINDING in EXPR

is legal but ambiguous. It is either:

  let BINDING in (EXPR ; let BINDING in EXPR)
  (let BINDING in EXPR ); let BINDING in EXPR

what means does the compiler use to resolve this ambiguity?

Thanks