Hello,
I would like to announce a new release of Menhir, 20181113. It is
available via opam (opam update && opam install menhir
).
https://gitlab.inria.fr/fpottier/menhir/blob/master/CHANGES.md
The main change is an experimental new syntax for rules. The new syntax is
slightly more pleasant and powerful than the old syntax. The old syntax
remains available; the user chooses between the two syntaxes on a per-rule
basis.
This blog post presents a couple demos that use the new syntax:
http://gallium.inria.fr/blog/parser-construction-menhir-appetizers/
For expert users, I have also written a brief a summary of the differences
between the old and new syntaxes:
https://gitlab.inria.fr/fpottier/menhir/blob/master/doc/new-rule-syntax-summary.md
Happy parsing,