The Menhir Gitlab instance seems to require an invite before raising an issue, so I figured this would be a good a place as any:
When using Menhir 20220210, if you pass the --interpret-show-cst flag, it will crash with an assertion failure:
Fatal error: exception File "src/back.ml", line 39, characters 6-12: Assertion failed
It appears that the problematic line is right here:
Thanks for reporting this! And sorry about the gitlab limitation. There is a mailing list where issues can also be reported.
For now, the fix is to pass both --interpret and --interpret-show-cst; this is how these flags were intended to be used. (See the manual.) In the next release, it will be possible to use --interpret-show-cst alone.
Thanks for the speedy response! I’ll give that a go, thanks 