Assertion Failure with Menhir 20220210 and --interpret-show-cst

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/", line 39, characters 6-12: Assertion failed

It appears that the problematic line is right here:

1 Like

Thanks for reporting this! And sorry about the gitlab limitation. There is a mailing list where issues can also be reported.

1 Like

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.

1 Like

Thanks for the speedy response! I’ll give that a go, thanks :slightly_smiling_face: