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 34B925D4 for ; Thu, 4 Jun 2020 07:29:39 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.73,471,1583190000"; d="scan'208";a="452899238" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 04 Jun 2020 09:29:36 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id C678EE1F1F; Thu, 4 Jun 2020 09:29:36 +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 6B721E1F1F for ; Thu, 4 Jun 2020 09:29:33 +0200 (CEST) X-IronPort-AV: E=Sophos;i="5.73,471,1583190000"; d="scan'208";a="350534850" Received: from amontsouris-158-1-10-127.w92-163.abo.wanadoo.fr (HELO [192.168.1.202]) ([92.163.90.127]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 04 Jun 2020 09:29:06 +0200 To: caml-list@inria.fr References: <29ef1edf-22e6-bcc3-bd98-dceccecf3420@inria.fr> From: Florian Angeletti Message-ID: Date: Thu, 4 Jun 2020 09:29:05 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.8.1 MIME-Version: 1.0 In-Reply-To: <29ef1edf-22e6-bcc3-bd98-dceccecf3420@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, second alpha release Reply-To: Florian Angeletti X-Loop: caml-list@inria.fr X-Sequence: 18158 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. Compared to the first alpha version, this version contains the following new bug fixes: + #6673, #1132, +#9617: Relax the handling of explicit polymorphic types    Fix an issue with recursive polymorphic function and constrained types.    (Leo White, review by Jacques Garrigue and Gabriel Scherer) + #7364, #2188, +#9592, +#9609: improvement of the unboxability check for types    with a single constructor. Mutually-recursive type declarations can    now contain unboxed types. This is based on the paper      https://arxiv.org/abs/1811.02300 - #7817, #9546: Unsound inclusion check for polymorphic variant   (Jacques Garrigue, report by Mikhail Mandrykin, review by Gabriel Scherer) - #9549, #9557: Make -flarge-toc the default for PowerPC and introduce   -fsmall-toc to enable the previous behaviour.   (David Allsopp, report by Nathaniel Wesley Filardo, review by Xavier Leroy) - #9320, #9550: under Windows, make sure that the Unix.exec* functions   properly quote their argument lists.   (Xavier Leroy, report by André Maroneze, review by Nicolás Ojeda Bär    and David Allsopp) - #9490, #9505: ensure proper rounding of file times returned by   Unix.stat, Unix.lstat, Unix.fstat.   (Xavier Leroy and Guillaume Melquiond, report by David Brown,    review by Gabriel Scherer and David Allsopp) - #8676, #9594: turn debugger off in programs launched by the program   being debugged   (Xavier Leroy, report by Michael Soegtrop, review by Gabriel Scherer) - #9552: restore ocamloptp build and installation   (Florian Angeletti, review by David Allsopp and Xavier Leroy) Entries marked with "+" were already present in previous alphas, but they have been complemented by new bug fixes. The compiler can be installed as an OPAM switch with one of the following commands opam switch create ocaml-variants.4.11.0+alpha2 --repositories=default,beta=git+https://github.com/ocaml/ocaml-beta-repository.git or opam switch create ocaml-variants.4.11.0+alpha2+ --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+alpha2.tar.gz  https://caml.inria.fr/pub/distrib/ocaml-4.11/ocaml-4.11.0+alpha2.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.