search

nunchaku-inria / nunchaku

Model finder for higher-order logic
https://nunchaku-inria.github.io/nunchaku/
BSD 2-Clause "Simplified" License
42 stars 3 forks source link

Avoid using a wildcard in a Menhir production. #31

Closed fpottier closed 5 years ago

fpottier commented 5 years ago

Using a wildcard in this way has never been legal, but is accepted by Menhir <= 20181026. It will likely be rejected in the next release of Menhir.

Existing opam package descriptions for nunchaku should be updated to require Menhir <= 20181026.

c-cube commented 5 years ago

Interesting issue indeed, what was I thinking?