In that particular example, the only misleading things are the indentation, and the lack of block delimiting for the inner match. The language grammar is accept

In that particular example, the only misleading things are the indentation, and the lack of block delimiting for the inner match. The language grammar is accepted by the grammar compiler bundled with OCaml, which doesn't like ambiguous grammars.