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 46F991E6 for ; Wed, 17 Jun 2020 15:42:42 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.73,523,1583190000"; d="scan'208";a="455221742" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 17 Jun 2020 17:42:41 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 257DCE0327; Wed, 17 Jun 2020 17:42:41 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 13AAAE028D for ; Wed, 17 Jun 2020 17:42:35 +0200 (CEST) X-IronPort-AV: E=Sophos;i="5.73,523,1583190000"; d="scan'208";a="351883136" Received: from amontsouris-158-1-26-19.w92-128.abo.wanadoo.fr (HELO [192.168.1.202]) ([92.128.29.19]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 17 Jun 2020 17:42:34 +0200 To: caml-list@inria.fr References: <29ef1edf-22e6-bcc3-bd98-dceccecf3420@inria.fr> From: Florian Angeletti Message-ID: <800d1d00-1fb8-1485-3022-c581753b3fba@inria.fr> Date: Wed, 17 Jun 2020 17:42:34 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.9.0 MIME-Version: 1.0 In-Reply-To: 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 alpha release Reply-To: Florian Angeletti X-Loop: caml-list@inria.fr X-Sequence: 18171 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, A new alpha version of OCaml 4.11.0 has been published. Exceptionally, this third alpha release integrates a new exciting feature: a native-code backend for RISC-V. Since this new backend cannot affect negatively other architecture, the feature has been backported to the 4.11 branch. Beyond this important change, the full change list compared to the second alpha is rather small: ! #9440: Add RISC-V RV64G native-code backend.   (Nicolás Ojeda Bär, review by Xavier Leroy and Gabriel Scherer) + #8920, #9238, #9239, #9254, #9458: New API for statistical memory profiling   in Memprof.Gc. The new version does no longer use ephemerons and allows    registering callbacks for promotion and deallocation of memory    blocks.    The new API no longer gives the block tags to the allocation callback. - #7520, #9547: Odd behaviour of refutation cases with polymorphic variants   (Jacques Garrigue, report by Leo White, reviews by Gabriel Scherer and Leo) - #7741, #9645: Failure to report escaping type variable   (Jacques Garrigue, report by Gabriel Radanne, review by Gabriel Scherer) - #9623, #9642: fix typing environments in Typedecl.transl_with_constraint   (Gabriel Scherer, review by Jacques Garrigue and Leo White,    report by Hugo Heuzard) - #9610: manual, C FFI: naked pointers are deprecated, detail the   forward-compatible options for handling out-of-heap pointers.   (Xavier Leroy, review by Mark Shinwell, David Allsopp and Florian Angeletti) - #9618: clarify the Format documentation on the margin and maximum indentation   limit   (Florian Angeletti, review by Josh Berdine) Entries marked with "+" were already present in previous alphas, but they have been complemented by new bug fixes. We are expecting this third alpha release to be the last alpha release. The compiler can be installed as an OPAM switch with one of the following commands opam switch create ocaml-variants.4.11.0+alpha3 --repositories=default,beta=git+https://github.com/ocaml/ocaml-beta-repository.git or opam switch create ocaml-variants.4.11.0+alpha3+ --repositories=default,beta=git+https://github.com/ocaml/ocaml-beta-repository.git where is replaced with one of these: afl, flambda, fp, fp+flambda The source code for the alpha is also available at these addresses:  https://github.com/ocaml/ocaml/archive/4.11.0+alpha3.tar.gz  https://caml.inria.fr/pub/distrib/ocaml-4.11/ocaml-4.11.0+alpha3.tar.gz If you find any bugs, please report them here:  https://github.com/ocaml/ocaml/issues Happy hacking, Florian Angeletti for the OCaml team.