Can't use `--merge-errors`
Hello,
I am trying to use the option --merge-errors
, as described in the documentation (https://gallium.inria.fr/~fpottier/menhir/manual.html#sec76).
Menhir gives me a invalid usage error message:
$ menhir --merge-errors file1.messages --merge-errors file2.messages
Usage: menhir <options> <filenames>
I also tried using it with only one --merge-errors
, which gives an uncaught exception:
$ menhir --merge-errors file1.messages file2.messages
Fatal error: exception Invalid_argument("Filename.chop_suffix")
Thank you