[Caml-list] OCaml 4.06.1+rc2

[Caml-list] OCaml 4.06.1+rc2

[Gabriel Scherer]

Dear OCaml users,

The release of OCaml version 4.06.1 is still imminent.  We have
created a second release candidate for your testing pleasure. Please
try it and let me know whether it works for you. It is available as
opam switches 4.06.1.+rc2 (or +rc2+flambda, etc.)

  opam switch 4.06.0+rc2

or as source archives at

  http://caml.inria.fr/pub/distrib/ocaml-4.06/

The list of changes since 4.06.0 is included at the end of this
email.

The only change compared to 4.06.1+rc1 is that we backported some
pattern-matching changes (GPR#1550) already present in the development
version (trunk, 4.07.0+dev), which are necessary to prevent some
compile-time errors when matching on extensible datatypes or GADTs.

Happy hacking,

-- Gabriel Scherer for the OCaml team.

Changes:

- MPR#7661, GPR#1459: fix faulty compilation of patterns
  using extensible variants constructors
  (Luc Maranget, review by Thomas Refis and Gabriel Scherer, report
  by Abdelraouf Ouadjaout and Thibault Suzanne)

- MPR#7702, GPR#1553: refresh raise counts when inlining a function
  (Vincent Laviron, Xavier Clerc, report by Cheng Sun)

- MPR#7704, GPR#1559: Soundness issue with private rows and pattern-matching
  (Jacques Garrigue, report by Jeremy Yallop, review by Thomas Refis)

- MPR#7705, GPR#1558: add missing bounds check in Bigarray.Genarray.nth_dim.
  (Nicolás Ojeda Bär, report by Jeremy Yallop, review by Gabriel Scherer)

- MPR#7713, GPR#1587: Make pattern matching warnings more robust
  to ill-typed columns; this is a backport of GPR#1550 from 4.07+dev
  (Thomas Refis, review by Gabriel Scherer, report by Andreas Hauptmann)

- GPR#1470: Don't commute negation with float comparison
  (Leo White, review by Xavier Leroy)

- GPR#1538: Make pattern matching compilation more robust to ill-typed columns
  (Gabriel Scherer and Thomas Refis, review by Luc Maranget)