Frédéric Bour & Philipp Haselwarter: Error-tolerant parsing with Menhir

Abstract: In programming language terminology, parsing refers to the transformation of source code to a syntax tree structure. LR parser generators like yacc allow to write declarative grammars for syntactic analysis with little effort. However, they suffer from cryptic error messages. We present a number of tools for the Menhir parser generator that allow to deal with erroneous input.