Changes in coq 8.13.2:
vm_computeon an irreducible
.vofiles containing a
vm_computenormalized primitive array
Changes in ocaml-menhir 20210310:
Aexpands (in one or more steps) to itself. This implies that the grammar is ambiguous. A grammar has hidden left recursion when a nonterminal symbol
Aexpands (in one step) to
B beta, where
Bexpands (in zero or more steps) to nothing and
betaexpands (in zero or more steps) to
A .... This implies that the grammar is not in the class
LR(k)for any value of
k. Both of these anomalies create a shift/reduce conflict which, if resolved in favor of reduction, leads to a nonterminating parser.
\nin a token alias. It was allowed by mistake. Disallowing it ensures that the
## Concrete syntax:comments generated as part of
.messagesfiles fit on a single line.
%inlinesymbols, eliminating certain useless variable renamings that would appear in semantic actions after expansion.
Changes in ocaml-menhir 20210419:
coq-minicalcin the manual.
parse_resultin the coq-menhirlib library and thanks to the new generated helper function
Aut.N_of_state. See the new demo
coq-syntax-errorsand the updated manual for more details. (Contributed by Brian Ward.)
All other builds are simple rebuilds due to the changes above.
sudo dnf upgrade --refresh --advisory=FEDORA-2021-8b73a471c5
Please login to add feedback.
This update's test gating status has been changed to 'waiting'.
This update has been submitted for testing by bodhi.
This update's test gating status has been changed to 'ignored'.
This update has been pushed to testing.
This update has been submitted for stable by bodhi.
This update has been pushed to stable.