Posts tagged "parsing"

Declarative parse error reporting with Menhir

Last update: 2019-08-24.

Many parsers for custom formats aren't very user friendly when it comes to error handling. At best you get the line and column where the error is, at worst a “Parse error” message is all you get. Can we do better? With right tools, we definitely can and it's not that hard.