Commit 43270a6e by POTTIER Francois

CHANGES.md: [stack], [stack] and [MenhirLib.General] are deprecated.

parent f14c70c8
......@@ -20,13 +20,18 @@
ignored by Menhir's back-ends, but are written to `.cmly` files, thus
can be exploited by external tools via MenhirSdk. (Suggested by Frédéric Bour.)
* The definition of a %public nonterminal symbol can now be split into several
parts within a single .mly file. (This used to be permitted only over
multiple .mly files.) (Suggested by Frédéric Bour.)
* The definition of a `%public` nonterminal symbol can now be split into several
parts within a single `.mly` file. (This used to be permitted only over
multiple `.mly` files.) (Suggested by Frédéric Bour.)
* Improved the syntax error message that is displayed when a `.mly` file
is incorrect: the previous and next token are shown.
* The type `stack` and the function `stack` in the incremental API are
deprecated. The new functions `top` and `pop` can be used instead to
inspect the parser's stack. The module `MenhirLib.General` is deprecated
as well. Deprecated functionality will be removed in the future.
* Fixed a bug where the module name `Basics` was shadowed (that is, if the user's
project happened to contain a toplevel module by this name, then it could not
be referred to from a `.mly` file). (Reported by François Thiré.)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment