It is 90% compatible to ocamlyacc (included with the OCaml distribution), and
it has some advantages over ocamlyacc, such as limited EBNF support, LR(1)
generation instead of LALR(1), better conflict explanation and production of
reentrant parsers (amongst others).
WWW: http://cristal.inria.fr/~fpottier/menhir
PR: ports/109910
Submitted by: Jaap Boender <jaapb at kerguelen.org>