Fix #414: do not use error token in Menhir backend, rather catch ParXXX.Error.
The semantics of the error token changed in Menhir-2021-12-30 and is no longer compatible to OcamlYacc.
Basically, its use is deprecated for just throwing a parse error.
This PR keeps the error rule for the OcamlYacc backend, for backwards-compatibility of the API.
Fix #414: do not use
error
token in Menhir backend, rather catchParXXX.Error
.The semantics of the
error
token changed in Menhir-2021-12-30 and is no longer compatible to OcamlYacc. Basically, its use is deprecated for just throwing a parse error.This PR keeps the
error
rule for the OcamlYacc backend, for backwards-compatibility of the API.