OCaml 4.02.1

[Damien Doligez]

Dear OCaml users,

We have the pleasure of announcing the release of OCaml version 4.02.1. This is all about speed: not only this release fixes a large slowdown in the compiler, but today is also the anniversary of the first time a man broke the sound barrier with an airplane.

This is mainly a bug-fix release, see the list of changes below.

It is available here: < http://caml.inria.fr/download.en.html >

This is released as source on our web site, but the OPAM switch will be available very soon (in a few minutes).

Happy hacking,

-- Damien Doligez for the OCaml team.


OCaml 4.02.1:
-------------
(Changes that can break existing programs are marked with a "*")

Standard library:
* Add optional argument ?limit to Arg.align.

- PR#4099: Bug in Makefile.nt: won't stop on error
(George Necula)
- PR#6181: Improve MSVC build
(Chen Gang)
- PR#6207: Configure doesn't detect features correctly on Haiku
(Jessica Hamilton)
- PR#6466: Non-exhaustive matching warning message for open types is confusing
(Peter Zotov)
- PR#6529: fix quadratic-time algorithm in Consistbl.extract.
(Xavier Leroy, Alain Frisch, relase-worthy report by Jacques-Pascal Deplaix)
- PR#6530: Add stack overflow handling for native code (OpenBSD i386 and amd64)
(Cristopher Zimmermann)
- PR#6533: broken semantics of %(%) when substitued by a box
(Benoît Vaugon, report by Boris Yakobowski)
- PR#6534: legacy support for %.10s
(Benoît Vaugon, Gabriel Scherer, report by Nick Chapman)
- PR#6536: better documentation of flag # in format strings
(Damien Doligez, report by Nick Chapman)
- PR#6544: Bytes and CamlinternalFormat missing from threads stdlib.cma
(Christopher Zimmermann)
- PR#6546: -dsource omits parens for `List ((`String "A")::[]) in patterns
(Gabriel Scherer, report by Peter Zotov)
- PR#6547: __MODULE__ aborts the compiler if the module name cannot be inferred
(Jacques Garrigue, report by Kaustuv Chaudhuri)
- PR#6549: Debug section is sometimes not readable when using -pack
(Hugo Heuzard, review by Gabriel Scherer)
- PR#6553: Missing command line options for ocamldoc
(Maxence Guesdon)
- PR#6554: fix race condition when retrieving backtraces
(Jérémie Dimino, Mark Shinwell).
- PR#6557: String.sub throws Invalid_argument("Bytes.sub")
(Damien Doligez, report by Oliver Bandel)
- PR#6562: Fix ocamldebug module source lookup
(Leo White)
- PR#6563: Inclusion of packs failing to run module initializers
(Jacques Garrigue, report by Mark Shinwell)
- PR#6564: infinite loop in Mtype.remove_aliases
(Jacques Garrigue, report by Mark Shinwell)
- PR#6565: compilation fails with Env.Error(_)
(Jacques Garrigue and Mark Shinwell)
- PR#6566: -short-paths and signature inclusion errors
(Jacques Garrigue, report by Mark Shinwell)
- PR#6572: Fatal error with recursive modules
(Jacques Garrigue, report by Quentin Stievenart)
- PR#6578: Recursive module containing alias causes Segmentation fault
(Jacques Garrigue)
- PR#6581: Some bugs in generative functors
(Jacques Garrigue, report by Mark Shinwell)
- PR#6584: ocamldep support for "-open M"
(Gabriel Scherer, review by Damien Doligez, report by Hezekiah M. Carty)
- PR#6588: Code generation errors for ARM
(Mark Shinwell, Xavier Leroy)
- PR#6590: Improve Windows (MSVC and mingw) build
(Chen Gang)
- PR#6599: ocamlbuild: add -bin-annot when using -pack
(Christopher Zimmermann)
- PR#6602: Fatal error when tracing a function with abstract type
(Jacques Garrigue, report by Hugo Herbelin)
- ocamlbuild: add an -ocamlmklib option to change the ocamlmklib command
(Jérôme Vouillon)

[Anil Madhavapeddy]

Post by Damien Doligez
Dear OCaml users,
We have the pleasure of announcing the release of OCaml version 4.02.1. This is all about speed: not only this release fixes a large slowdown in the compiler, but today is also the anniversary of the first time a man broke the sound barrier with an airplane.
This is mainly a bug-fix release, see the list of changes below.
It is available here: < http://caml.inria.fr/download.en.html >
This is released as source on our web site, but the OPAM switch will be available very soon (in a few minutes).

There are now also updated binary packages for OCaml 4.02.1, Camlp4 and OPAM available for Debian, Ubuntu, Fedora, RHEL and CentOS, from:

http://software.opensuse.org/download.html?project=home%3Aocaml&package=ocaml

Since ARM is a little slower than the speed of sound, those on embedded devices may also find the armhf binary packages useful in the Launchpad PPAs. There are specific PPAs for combinations of OCaml and OPAM at:

https://launchpad.net/~avsm

Instructions on how to install these binary packages on various distributions are available from:

http://ocaml.org/docs/install.html

The OPAM Travis tests (which uses the Ubuntu Launchpad PPAs above) will only be testing 4.02.1 from now on for the 4.02.x test matrix. Please let me know if you specifically need 4.02.0 tested for some reason.

best,
Anil