See https://coq.inria.fr/refman/changes.html#changes-in-8-12-1 for changes in coq 8.12.1.

Changes in ocaml-menhir 20201122:

  • The new command line switch --dump-resolved writes a description of the automaton to the file .automaton.resolved after all conflicts have been resolved and after extra reductions have been introduced. This file also shows which states have a default reduction.

  • The command line switch --dump writes a description of the automaton to the file .automaton after benign conflicts have been silently resolved, but before severe conflicts are resolved and before extra reductions are introduced. (This behavior is unchanged.) The manner in which end-of-stream conflicts are displayed in this file has been improved.

  • In the files .automaton and .automaton.resolved, the reduction table in each state is now presented in a much more compact and readable way.

  • In the files .automaton and .automaton.resolved, the known suffix of the stack in each state is now explicitly shown. (Although it can be deduced from the LR(1) items, showing it helps.)

  • Document the problem caused by placing a module alias declaration in an .mly file. (See Questions and Answers in the manual.)

  • Turn off a costly internal well-formedness assertion. This allows a 30% speedup in the construction of large automata and in the conflict explanation process. (Reported by Joe.)

Changes in ocaml-menhir 20201201:

  • The module MenhirLib.ErrorReports is extended with new functions: wrap_supplier, extract, sanitize, compress, shorten, expand.

  • The new module MenhirLib.LexerUtil offers a few functions that help reading a file, setting up a lexing buffer, printing source code positions, etc.

  • The new demo calc-syntax-errors demonstrates how to produce customized syntax error messages.

  • The new command --merge-errors merges two .messages files. It can be useful when two or more users have independently produced partial .messages files and wish to combine their work. (Suggested by Gabriel Scherer and Fran├žois Bobot.)

  • The commands that read .messages files have been hardened so as to tolerate situations where a sentence mentions a nonexistent symbol or does not lead to an error state. When such a sentence is encountered, an error message is produced on the standard error channel; then, this sentence is ignored and processing continues. (As an exception, the command --compile-errors refuses to proceed in the presence of such sentences.)

An upstream fix for https://github.com/c-cube/qcheck/issues/100 was added to the ocaml-qcheck package.

See https://github.com/andrenth/ocaml-stdint/releases/tag/0.7.0 for changes in ocaml-stdint 0.7.0.

All other builds are simple rebuilds due to the above changes.

How to install

sudo dnf upgrade --advisory=FEDORA-2020-5904c63fbf

This update's test gating status has been changed to 'waiting'.

5 months ago

This update's test gating status has been changed to 'ignored'.

5 months ago

This update can be pushed to stable now if the maintainer wishes

5 months ago

This update has been submitted for stable by bodhi

5 months ago

Please login to add feedback.

Metadata
Type
enhancement
Karma
0
Signed
Content Type
RPM
Test Gating
Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
0 days
Dates
submitted
5 months ago
in testing
5 months ago
in stable
5 months ago

Automated Test Results