OCaml 4.07.1 released

Damien Doligez <[email protected]> Thu, 4 Oct 2018 17:00:59 +0200
Newsgroups gmane.comp.lang.caml.announce,gmane.comp.lang.caml.inria
Message-ID <[email protected]>
Dear OCaml users,

We have the pleasure of celebrating the anniversary of Sputnik-1 by
announcing the release of OCaml version 4.07.1.
This is a bug-fix release, see the list of changes below.

It is (or soon will be) available as a set of OPAM switches,
and as a source download here:
  https://caml.inria.fr/pub/distrib/ocaml-4.07/

Happy hacking,

-- Damien Doligez for the OCaml team.


OCaml 4.07.1 (4 October 2018)
-----------------------------

### Bug fixes:

- MPR#7815, GPR#1896: major GC crash with first-fit policy
  (Stephen Dolan and Damien Doligez, report by Joris Giovannangeli)

* MPR#7818, GPR#2051: Remove local aliases in functor argument types,
  to prevent the aliasing of their target.
  (Jacques Garrigue, report by mandrykin, review by Leo White)

- MPR#7820, GPR#1897: Fix Array.of_seq. This function used to apply a =
circular
  permutation of one cell to the right on the sequence.
  (Thierry Martinez, review by Nicol=C3=A1s Ojeda B=C3=A4r)

- MPR#7821, GPR#1908: make sure that the compilation of extension
  constructors doesn't cause the compiler to load more cmi files
  (J=C3=A9r=C3=A9mie Dimino)

- MPR#7824, GPR#1914: subtype_row: filter out absent fields when row is =
closed
  (Leo White and Thomas Refis, report by talex, review by Jacques =
Garrigue)

- GPR#1915: rec_check.ml is too permissive for certain class =
declarations.
  (Alban Reynaud with Gabriel Scherer, review by Jeremy Yallop)

- MPR#7833, MPR#7835, MPR#7822, GPR#1997: Track newtype level again
  (Leo White, reports by Jerome Simeon, Thomas Refis and Florian
  Angeletti, review by Jacques Garrigue)

- MPR#7838: -principal causes assertion failure in type checker
  (Jacques Garrigue, report by Markus Mottl, review by Thomas Refis)