[Caml-list] OCaml 4.06.0+beta2

[Gabriel Scherer <gabriel.scherer@gmail.com>]

Dear OCaml users,

We have created a second beta version of the upcoming OCaml 4.06.0
release for your repeated testing pleasure. It is available as opam
switches 4.06.0.+beta2 (or +beta2+flambda, etc.)

  opam switch 4.06.0+beta2

or as source archives at

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

The Changelog since 4.05.0 is available at

  http://caml.inria.fr/pub/distrib/ocaml-4.06/notes/Changes.4.06.0+beta2.txt

The more specific list of changes since 4.06.0+beta1 is included at
the end of this email.

Thanks to all of you who have been actively testing OCaml software and
making strings immutable.

Happy hacking,

-- Gabriel Scherer for the OCaml team.


(Changes that can break existing programs are marked with a "*")

### fixes of regressions introduced in 4.06

- the output of `ocamlc -config` in 4.06.0+beta1 did not include
  the 'bytecomp_c_compiler' and 'native_c_compiler' variables anymore,
  which broke some configuration/installation scripts. The variables
  are now restored. When possible, script authors are encouraged to
  use the new, more meaningful variables 'c_compiler' and
  'ocaml{c,opt}_cflags'.
  (Jeremy Yallop and Sébastien Hinderer)

- GPR#1174 (Stop pushing default arguments when there is an
  unlabeled argument) was reverted, as it was causing an unplanned
  increase in allocations when defining functions with optional
  arguments.
  (Jacques Garrigue and Leo White)

- a compilation failure on the Frama-C and CIL codebases introduced in
  4.06.0+beta1 was fixed.
  (Gabriel Scherer and Jeremy Yallop)

### Code generation and optimizations:

- MPR#7642, GPR#1411: ARM port: wrong register allocation for integer
  multiply on ARMv4 and ARMv5; possible wrong register allocation for
  floating-point multiply and add on VFP and for floating-point
  negation and absolute value on soft FP emulation.
  (Xavier Leroy, report by Stéphane Glondu and Ximin Luo,
   review and additional sightings by Mark Shinwell)

### Tools:

- MPR#7048: ocamldoc, in -latex mode, don't escape Latin-1 accented letters
  (Xavier Leroy, report by Hugo Herbelin)

* MPR#7363, GPR#830: ocamldoc, start heading levels at {1 not {2 or {6.
  This change modifies the mapping between ocamldoc heading level and
  html heading level, breaking custom css style for ocamldoc.
  (Florian Angeletti, request and review by Daniel Bünzli)

- MPR#7635, GPR#1383: ocamldoc, add an identifier to module
  and module type elements
  (Florian Angeletti, review by Yawar Amin and Gabriel Scherer)

(this change was already in 4.06.0+beta1, but missing from the Changelgo)
- GPR#1231: improved printing of unicode texts in the toplevel,
  unless OCAMLTOP_UTF_8 is set to false.
  (Florian Angeletti, review by Daniel Bünzli, Xavier Leroy and
   Gabriel Scherer)

### Runtime system:

* GPR#1416: switch the Windows 10 Console to UTF-8 encoding.
  (David Allsopp, reviews by Nicolás Ojeda Bär and Xavier Leroy)

* MPR#7640, GPR#1414: reimplementation of Unix.execvpe to fix issues
  with the 4.05 implementation.  The main issue is that the current
  directory was always searched (last), even if the current directory
  is not listed in the PATH.
  (Xavier Leroy, report by Mantis users 'AltGr' and 'aalekseyev',
   review by Ivan Gotovchits)

### Bug fixes

- MPR#7612, GPR#1345: afl-instrumentation bugfix for classes.
  (Stephen Dolan, review by Gabriel Scherer and David Allsopp)

- GPR#1390: fix the [@@unboxed] type check to accept parametrized types
  (Leo White, review by Damien Doligez)