--interpret-show-cst seems broken
$ menhir --version
menhir, version 20220210
$ menhir --interpret-show-cst ~/Prog/menhir/test/static/good/calc.mly
Fatal error: exception File "src/back.ml", line 39, characters 6-12: Assertion failed
I have not been able to use --interpret-show-cst
, even with older versions of Menhir. My assumption would be that it behaves like --interpret
, it creates an interactive prompt, but it shows parse derivations on acceptance. In practice either I get an assertion failure as the above, or menhir silently returns immediately (on older versions such as 20210419).