OCaml 4.05.0 Released

from OCaml Planet

Jul 13, 2017, 2:00:00 AM

Following some minor releases in the last month, OCaml 4.05.0 was released today and is available as an opam switch, or from source.

The release comprises over 130 changes, with a few breaking existing programs. General changes include language optimisations, runtime and type system improvements, bug fixing and some internal compiler-libs alterations.

More specifically, the OCaml manual has been updated, with dead links removed and a new document detailing how to contribute upstream, and there have been lots of enhancements to the OCaml compiler. A lot of work has gone into Makefile factorization for the compiler distribution build system, with Sébastien Hinderer harmonizing the build rules and merging the Unix and Windows build systems. The OCaml compiler user-interface and associated warnings have also been developed, with better, more consistent error reports and recognition for extra arguments and variables.

At least two of the PRs upstreamed started during OCaml Compiler Hack events:

There are several contributions from OCaml Labs, with David Allsopp, Frédéric Bour, Daniel Bünzli, Stephen Dolan, Hannes Mehnert, Gabriel de Perthuis, Mark Shinwell, KC Sivaramakrishnan and Leo White all heavily involved in fixes, review and discussion. Full details can be found in the changelog.