This variant of the calc demo uses Menhir with the --table option.
It also demonstrates how to use the incremental parser interface.