From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 54B7C5D5 for ; Mon, 27 Jul 2020 14:44:32 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.75,402,1589234400"; d="scan'208";a="461503525" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 27 Jul 2020 16:44:30 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id DC926E0238; Mon, 27 Jul 2020 16:44:30 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 3B95BE016E for ; Mon, 27 Jul 2020 16:44:26 +0200 (CEST) X-IronPort-AV: E=Sophos;i="5.75,402,1589234400"; d="scan'208";a="461503509" Received: from atoulouse-256-1-10-36.w92-136.abo.wanadoo.fr (HELO [192.168.1.27]) ([92.136.40.36]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 27 Jul 2020 16:44:25 +0200 To: caml-list@inria.fr References: <20200706210536.GA44983@prajna.paris.inria.fr> From: Florian Angeletti Message-ID: Date: Mon, 27 Jul 2020 16:44:25 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.8.0 MIME-Version: 1.0 In-Reply-To: <20200706210536.GA44983@prajna.paris.inria.fr> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Content-Language: en-US Subject: [Caml-list] OCaml 4.11.0, third beta release Reply-To: Florian Angeletti X-Loop: caml-list@inria.fr X-Sequence: 18206 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: Dear OCaml users, The release of OCaml 4.11.0 is near. As one step further in this direction, we have published a third and potentially last beta release. This new release fixes an infrequent bug in the experimental best-fit allocator and an issue with floating-point software emulation in the ARM EABI port. On the opam ecosystem side, merlin is now available for this new version of OCaml. The compatibility of the opam ecosystem with OCaml 4.11.0 is currently good, and it should be possible to test this beta without too much trouble. The source code is available at these addresses:  https://github.com/ocaml/ocaml/archive/4.11.0+beta3.tar.gz  https://caml.inria.fr/pub/distrib/ocaml-4.11/ocaml-4.11.0+beta3.tar.gz The compiler can also be installed as an OPAM switch with one of the following commands: opam update opam switch create ocaml-variants.4.11.0+beta3 --repositories=default,beta=git+https://github.com/ocaml/ocaml-beta-repository.git or opam update opam switch create ocaml-variants.4.11.0+beta3+ --repositories=default,beta=git+https://github.com/ocaml/ocaml-beta-repository.git  where you replace with one of these: afl, flambda, fp, fp+flambda We would love to hear about any bugs. Please report them here:  https://github.com/ocaml/ocaml/issues Compared to the previous beta release, the exhaustive list of changes is as follows: Runtime: - #9736, #9749: Compaction must start in a heap where all free blocks are   blue, which was not the case with the best-fit allocator.   (Damien Doligez, report and review by Leo White) + #9316, #9443, #9463, #9782: Use typing information from Clambda    for mutable Cmm variables.    (Stephen Dolan, review by Vincent Laviron, Guillaume Bury, Xavier Leroy,    and Gabriel Scherer; temporary bug report by Richard Jones) Manual and documentation: - #9541: Add a documentation page for the instrumented runtime;   additional changes to option names in the instrumented runtime.   (Enguerrand Decorne, review by Anil Madhavapeddy, Gabriel Scherer,    Daniel Bünzli, David Allsopp, Florian Angeletti,    and Sébastien Hinderer) Entries marked with "+" were already present in previous alphas, but they have been complemented by new bug fixes. If you are interested by the list of new features, and the nearly final list of bug fixes the updated change log for OCaml 4.11.0 is available at:   https://github.com/ocaml/ocaml/blob/4.11/Changes Happy hacking, -- Florian Angeletti for the OCaml team.