Title:Error Reporting in Parsing Expression Grammars

Abstract:Parsing Expression Grammars (PEGs) are a formalism to describe a top-down parser for a language. However, error handling techniques that are often applied to top-down parsers are not directly applicable to PEGs. This problem is usually solved in PEG implementations by using an heuristic that helps to simulate the error reporting technique from top-down parsers. We show how implementations that have semantic actions can have grammars that use this heuristic even if the implementation does not implement it direcly. We also add this heuristic to a formal semantics of PEGs.
We also propose a complementary error reporting strategy that can lead to better error messages: labeled failures. This approach is inspired by standard exception handling of programming languages, and lets a PEG define different kinds of failure, with each ordered choice operator specifying which kinds it catches. Labeled failures not only give a way to annotate grammars for better error reporting, but also are expressive enough to express some of the error reporting strategies used by deterministic parser combinators, and give a way of encoding predictive top-down parsing in a PEG.