[andrepd]

Menhir for OCaml is an LR parser generator with outstanding error messages. Static detection of possible error states is a big part of that.