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 CC74E5D4 for ; Thu, 18 Apr 2019 13:22:41 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,366,1549926000"; d="scan'208";a="379208676" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 18 Apr 2019 15:22:32 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 77CBE82693; Thu, 18 Apr 2019 15:22:32 +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 B1A9482673; Thu, 18 Apr 2019 15:22:20 +0200 (CEST) X-IronPort-AV: E=Sophos;i="5.60,366,1549926000"; d="scan'208";a="379208462" Received: from ec-ap-2-13-07.paris.inria.fr (HELO [192.168.1.3]) ([128.93.65.24]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 18 Apr 2019 15:21:54 +0200 From: Damien Doligez Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 11.5 \(3445.9.1\)) Message-Id: <7B0DECD5-BF69-48F4-8524-DED5D46700C3@inria.fr> Date: Thu, 18 Apr 2019 15:21:54 +0200 To: caml users , caml announce X-Mailer: Apple Mail (2.3445.9.1) Subject: [Caml-list] OCaml 4.08.0+beta3 Reply-To: Damien Doligez X-Loop: caml-list@inria.fr X-Sequence: 17494 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: Dear OCaml users, The release of OCaml 4.08.0 is approaching. We have created a third beta version to help you adapt your software to the new features ahead of the release. The source code is available at these addresses: https://github.com/ocaml/ocaml/archive/4.08.0+beta3.tar.gz https://caml.inria.fr/pub/distrib/ocaml-4.08/ocaml-4.08.0+beta3.tar.gz The compiler is (or will soon be) also available in OPAM with one of the following commands. opam switch create ocaml-variants.4.08.0+beta3 = --repositories=3Ddefault,beta=3Dgit+https://github.com/ocaml/ocaml-beta-re= pository.git or opam switch create ocaml-variants.4.08.0+beta3+ = --repositories=3Ddefault,beta=3Dgit+https://github.com/ocaml/ocaml-beta-re= pository.git where you replace with one of these: afl default_unsafe_string flambda fp fp+flambda We want to know about all bugs. Please report them here: https://github.com/ocaml/ocaml/issues Happy hacking, -- Damien Doligez for the OCaml team. The changes from beta2 are the following: - GPR#1942, GPR#2244: simplification of the static check for recursive definitions (Alban Reynaud and Gabriel Scherer, review by Jeremy Yallop, Arma=C3=ABl Gu=C3=A9neau and Damien Doligez) - GPR#1354, GPR#2177: Add fma support to Float module. (Laurent Th=C3=A9venoux, review by Alain Frisch, Jacques-Henri = Jourdan, Xavier Leroy) - GPR#2202: Correct Hashtbl.MakeSeeded.{add_seq,replace_seq,of_seq} to = use functor hash function instead of default hash function. = Hashtbl.Make.of_seq shouldn't create randomized hash tables. (David Allsopp, review by Alain Frisch) * PR#4208, PR#4229, PR#4839, PR#6462, PR#6957, PR#6950, GPR#1063, = GPR#2176, GPR#2297: Make (nat)dynlink sound. (Mark Shinwell, Leo White, Nicol=C3=A1s Ojeda B=C3=A4r, Pierre = Chambart) - GPR#2317: type_let: be more careful generalizing parts of the pattern (Thomas Refis and Leo White, review by Jacques Garrigue) - MPR#6242, GPR#2143, MPR#8558, GPR#8559: optimize some local functions (Alain Frisch, review by Gabriel Scherer) - #7829, #8585: Fix pointer comparisons in freelist.c (for 32-bit = platforms) (David Allsopp and Damien Doligez) - #8567, #8569: on ARM64, use 32-bit loads to access = caml_backtrace_active (Xavier Leroy, review by Mark Shinwell and Greta Yorsh) - #8568: Fix a memory leak in mmapped bigarrays (Damien Doligez, review by Xavier Leroy and J=C3=A9r=C3=A9mie Dimino) - MPR#7548: printf example in the tutorial part of the manual (Kostikova Oxana, rewiew by Gabriel Scherer, Florian Angeletti, Marcello Seri and Arma=C3=ABl Gu=C3=A9neau) - MPR#7547, GPR#2273: Tutorial on Lazy expressions and patterns in OCaml = Manual (Ulugbek Abdullaev, review by Florian Angeletti and Gabriel Scherer) - GPR#8508: refresh \moduleref macro (Florian Angeletti, review by Gabriel Scherer) - MPR#7919, GPR#2311: Fix assembler detection in configure (S=C3=A9bastien Hinderer, review by David Allsopp) - GPR#2295: Restore support for bytecode target XLC/AIX/Power (Konstantin Romanov, review by S=C3=A9bastien Hinderer and David = Allsopp) - GPR#8528: get rid of the direct call to the C preprocessor in the = testsuite (S=C3=A9bastien Hinderer, review by David Allsopp) - Issue #7938, GPR #8532: Fix alignment detection for ints on 32-bits = platforms (S=C3=A9bastien Hinderer, review by Xavier Leroy) * GPR#8533: Remove some unused configure tests (Stephen Dolan, review by David Allsopp and S=C3=A9bastien Hinderer) - GPR#2207,#8604: Add opam files to allow pinning (Leo White, Greta Yorsh, review by Gabriel Radanne) - MPR#7835, GPR#1980, GPR#8548, GPR#8586: separate scope from stamp in = idents and explicitly rescope idents when substituting signatures. (Thomas Refis, review by Jacques Garrigue and Leo White) - #8550, #8552: Soundness issue with class generalization (Jacques Garrigue, review by Leo White and Thomas Refis, report by Jeremy Yallop)