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)