Changes in coq 8.13.1:
Changes in ocaml-menhir 20201216:
The new command line switch --require-aliases causes Menhir to check
that a token alias has been defined for every token.
The escaped characters \\, \', \", \n, \t, \b, \r, \ are
now accepted in token aliases.
If a token alias has been defined for every token, then, in every
.messages file produced by Menhir, every sentence is now followed by its
concrete syntax, in an auto-generated comment that begins with ## Concrete
syntax:. This feature relies on the assumption that the concrete syntax
allows separating two tokens with a space character.
The new command --echo-errors-concrete reads a .messages files and
echoes every sentence, immediately followed with its ## Concrete syntax:
auto-generated comment.
Update the demo calc-syntax-errors to show how to compile a parser
simultaneously via the code back-end and via the table back-end, so as to
obtain both optimal performance and good error messages.
Rename the undocumented option --graph to --reference-graph.
Add an undocumented option --automaton-graph which produces an
(incomplete) graphical representation of the LR(1) automaton.
At log level --log-automaton 2, Menhir now shows which states have a
conflict between multiple %on_error_reduce declarations.
The new command line switch --strategy <strategy> allows choosing an error
handling strategy between legacy and simplified. This matters only if
the grammar uses the error token. The legacy strategy yields Menhir's
traditional behavior. The simplified strategy should be preferred if the
error token is used only to catch an error and stop. (In this restricted
style, the error token always appears at the end of a production, whose
semantic action raises an exception.)
Changes in ocaml-zarith 1.12:
All other builds are simple rebuilds due to the above changes.
Updates may require up to 24 hours to propagate to mirrors. If the following command doesn't work, please retry later:
sudo dnf upgrade --refresh --advisory=FEDORA-2021-39c7b68180Please login to add feedback.
This update's test gating status has been changed to 'waiting'.
This update's test gating status has been changed to 'ignored'.
This update has been submitted for testing by bodhi.
This update has been pushed to testing.
This update can be pushed to stable now if the maintainer wishes
This update has been submitted for stable by bodhi.
This update has been pushed to stable.