# \[ANN\] New release of Menhir

**URL:** https://discuss.ocaml.org/t/ann-new-release-of-menhir/1249
**Category:** Community
**Tags:** announce
**Created:** [December 7, 2017, 9:21am UTC](https://discuss.ocaml.org/t/ann-new-release-of-menhir/1249 "2017-12-07T09:21:40Z")
**Posts on this page:** 1
**Page:** 1

<div class="post-metadata">

### Author: ![fpottier](https://sea2.discourse-cdn.com/flex020/user_avatar/discuss.ocaml.org/fpottier/32/677_2.png) [@fpottier](https://discuss.ocaml.org/u/fpottier)
#### Post date: [December 7, 2017, 9:21am UTC](https://discuss.ocaml.org/t/ann-new-release-of-menhir/1249/1 "2017-12-07T09:21:40Z")

</div>

I would like to announce a new release of Menhir, the LR(1) parser generator.

This release fixes the termination test that takes place before parameterized symbols are  
expanded away. The previous test was both unsound (it would accept grammars  
whose expansion did not terminate) and incomplete (it would reject  
grammars whose expansion did terminate). The new test is believed to be  
sound and complete. (Thanks to Martin Bodin for prompting us to look into this issue.)

It is available as of now via opam.