caml-list - the Caml user's mailing list
 help / Atom feed
From: Damien Doligez <>
To: caml users <>
Subject: [Caml-list] 4.08.0+beta2
Date: Tue, 5 Mar 2019 11:27:46 +0100
Message-ID: <> (raw)

Dear OCaml users,

The release of OCaml 4.08.0 is approaching. We have created a
second beta version to help you adapt your software to the new
features ahead of the release.

The source code is available at these addresses:

The compiler can also be installed as an OPAM switch with one of the
following commands.

opam switch create ocaml-variants.4.08.0+beta2 --repositories=default,beta=git+


opam switch create ocaml-variants.4.08.0+beta2+<VARIANT> --repositories=default,beta=git+
 where you replace <VARIANT> with one of these:

We want to know about all bugs. Please report them here:

Happy hacking,

-- Damien Doligez for the OCaml team.

The changes from beta1 are the following:

- The --enable-flambda configuration option now works correctly
  (beta1 would ignore it).

* GPR#2104, GPR#2211, PR#4127, PR#7709: Fix Thread.sigmask. When
  system threads are loaded, Unix.sigprocmask is now an alias for
  Thread.sigmask. This changes the behavior at least on MacOS, where
  Unix.sigprocmask used to change the masks of all threads.
  (Jacques-Henri Jourdan, review by Jérémie Dimino)

- GPR#2263: Delete the deprecated Bigarray.*.map_file functions in
  favour of `*_of_genarray (Unix.map_file ...)` functions instead. The
  `Unix.map_file` function was introduced in OCaml 4.06.0 onwards.
  (Jérémie Dimino, reviewed by David Allsopp and Anil Madhavapeddy)

- GPR#2239: Fix match miscompilation with flambda
  (Leo White, review by Alain Frisch)

- GPR#2223: ocamltest: fix the "bsd" and "not-bsd" built-in actions to
  recognize all BSD variants
  (Damien Doligez, review by Sébastien Hinderer and David Allsopp)

- GPR#2264, MPR#7904: the configure script now sets the Unicode handling mode
  under Windows according to the value of the variable WINDOWS_UNICODE_MODE. If
  WINDOWS_UNICODE_MODE is "ansi" then it is assumed to be the current code page
  encoding. If WINDOWS_UNICODE_MODE is "compatible" or empty or not set at all,
  then encoding is UTF-8 with code page fallback.
  (Nicolás Ojeda Bär, review by Sébastien Hinderer and David Allsopp)

- GPR#2266: ensure Cygwin ports configure with `EXE=.exe`, or the compiler is
  unable to find the camlheader files (subtle regression of GPR#2139/2041)
  (David Allsopp, report and review by Sébastien Hinderer)

- MPR#7918, GPR#1703, GPR#1944, GPR#2213, GPR#2257: Add the module
  Compile_common, which factorizes the common part in Compile and
  Optcompile. This also makes the pipeline more modular.
  (Gabriel Radanne, help from Gabriel Scherer and Valentin
   Gatien-Baron, review by Mark Shinwell and Gabriel Radanne,
   regression spotted by Clément Franchini)

- GPR#2160: restore --disable-shared support and ensure testsuite runs correctly
  when compiled without shared library support.
  (David Allsopp, review by Damien Doligez and Sébastien Hinderer)

- GPR#2229: Env: remove prefix_idents cache
  (Thomas Refis, review by Frédéric Bour and Gabriel Scherer)

- GPR#2231: Env: always freshen persistent signatures before using them
  (Thomas Refis and Leo White, review by Gabriel Radanne)

- MPR#7923, GPR#2259: fix regression in FlexDLL bootstrapped build caused by
  refactoring the root Makefile for Dune in GPR#2093)
  (David Allsopp, report by Marc Lasson)

- MPR#7929, GPR#2261: Subst.signature: call cleanup_types exactly once
  (Thomas Refis, review by Gabriel Scherer and Jacques Garrigue,
  report by Daniel Bünzli and Jon Ludlam)

             reply index

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-03-05 10:27 Damien Doligez [this message]
2019-03-06 11:04 ` Daniel Bünzli

Reply instructions:

You may reply publically to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \ \ \ \

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror

AGPL code for this site: git clone public-inbox