caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] OCaml 4.07.1 released
@ 2018-10-04 15:01 Damien Doligez
  2018-10-05 17:40 ` SP
  0 siblings, 1 reply; 2+ messages in thread
From: Damien Doligez @ 2018-10-04 15:01 UTC (permalink / raw)
  To: caml announce, caml users

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ás Ojeda Bär)

- MPR#7821, GPR#1908: make sure that the compilation of extension
  constructors doesn't cause the compiler to load more cmi files
  (Jérémie 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)


-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: [Caml-list] OCaml 4.07.1 released
  2018-10-04 15:01 [Caml-list] OCaml 4.07.1 released Damien Doligez
@ 2018-10-05 17:40 ` SP
  0 siblings, 0 replies; 2+ messages in thread
From: SP @ 2018-10-05 17:40 UTC (permalink / raw)
  To: caml-list

Superb news! Thanks team.

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, back to index

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-10-04 15:01 [Caml-list] OCaml 4.07.1 released Damien Doligez
2018-10-05 17:40 ` SP

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox