Skip to content

Update menhir to 20230608

The latest version (20230608) of Menhir seems to have a compatibility issue with menhir-recover. All previous versions (from the one pinned in lock file) before 20230608 builds okay.

Menhir changelog: https://gitlab.inria.fr/fpottier/menhir/-/blob/master/CHANGES.md

The reason I found this is because we're trying to update menhir in nixpkgs: https://github.com/NixOS/nixpkgs/pull/238050

[1mFile "src/passes/02-parsing/pyligo/RecoverParser.ml", line 35, characters 26-53[0m:
35 |     | MenhirInterpreter.T Lexing_pyligo.Token.T_error -> ()
                               [1;31m^^^^^^^^^^^^^^^^^^^^^^^^^^^[0m
[1;31mError[0m: Unbound constructor Lexing_pyligo.Token.T_error