Fedora 23 Update: ocaml-menhir-20151112-1.fc23

[updates at fedoraproject.org]

--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2015-eaecf6fb93
2015-11-22 23:42:22.950716
--------------------------------------------------------------------------------

Name        : ocaml-menhir
Product     : Fedora 23
Version     : 20151112
Release     : 1.fc23
URL         : http://gallium.inria.fr/~fpottier/menhir/
Summary     : LR(1) parser generator for OCaml
Description :
Menhir is a LR(1) parser generator for the Objective Caml programming
language.  That is, Menhir compiles LR(1) grammar specifications down to
OCaml code.  Menhir was designed and implemented by François Pottier and
Yann Régis-Gianas.

--------------------------------------------------------------------------------
Update Information:

  ocaml-menhir-20151112-1.fc23  - (10/29) MenhirLib is now installed in both
binary and source forms. "menhir --suggest-menhirLib" reports where MenhirLib is
installed. This can be used to retrieve a snapshot of MenhirLib in source form
and include it in your project (if you wish to use --table mode, yet do not wish
to have a dependency on MenhirLib). - (11/03) Fix-fix-and-re-fix the Makefile in
an attempt to allow installation under opam/Windows. Thanks to Daniel Weil for
patient explanations and testing. - (11/04) Incompatible change of the
incremental API: instead of a unit argument, the entry points (which are named
after the start symbols) now require an initial position, which typically should
be [lexbuf.lex_curr_p]. - (11/04) Modified Menhir so as to compute the start and
end positions in the exact same way as ocamlyacc. (There used to be a difference
in the treatment of epsilon productions.) Of course, this means that the
positions computed by the new Menhir are not the same as those computed by older
versions of Menhir. Added the keyword $symbolstartpos so as to simulate
Parsing.symbol_start_pos() in the ocamlyacc world. The keyword $startpos
sometimes produces a position that is too far off to the left; $symbolstartpos
produces a more accurate position. - (11/04) Fixed a bug in the treatment of
%inline that would lead to an incorrect position being computed when the caller
and callee had a variable by the same name. - (11/04) Modified the treatment of
%inline so that the positions that are computed are the same, regardless of
whether %inline is used. This property did not hold until now. It now does. Of
course, this means that the positions computed by the new Menhir are not the
same as those computed by older versions of Menhir. - (11/10) Optimized the
computation of $symbolstartpos, based on a couple of assumptions about the
lexer. (See the manual.) - (11/11) The code produced by version XXXXXXXX of
menhir --table can now be linked only against a matching version of MenhirLib.
If an incorrect version of MenhirLib is installed, the OCaml compiler should
complain that [MenhirLib.StaticVersion.require_XXXXXXXX] is undefined. - (11/11)
Fixed a severe bug in Menhir 20151110 which (when using the code back-end) could
cause a generated parser to crash. Thanks to ygrek for reporting the bug.
--------------------------------------------------------------------------------

This update can be installed with the "yum" update program. Use
su -c 'yum update ocaml-menhir' at the command line.
For more information, refer to "Managing Software with yum",
available at https://docs.fedoraproject.org/yum/.

All packages are signed with the Fedora Project GPG key.  More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------