Using a wildcard pattern "_" in a place where a variable name is expected has never been legal, even though (by luck) it was accepted until now by Menhir. It will likely be disallowed in the next release, so I suggest avoiding these illegal bindings.
The existing opam package descriptions for frenetic should also be updated to require Menhir <= 20181026.
smolkaj
commented
5 years ago
Hello,
Using a wildcard pattern "_" in a place where a variable name is expected has never been legal, even though (by luck) it was accepted until now by Menhir. It will likely be disallowed in the next release, so I suggest avoiding these illegal bindings.
The existing opam package descriptions for frenetic should also be updated to require Menhir <= 20181026.
Cheers, François.