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 ESMTP id 142375D5 for ; Mon, 19 Jul 2021 08:08:13 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.84,251,1620684000"; d="scan'208,217";a="520497729" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 19 Jul 2021 10:08:10 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 88CE3E0C62; Mon, 19 Jul 2021 10:08:10 +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 7A656E0011 for ; Mon, 19 Jul 2021 10:08:02 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=date:from:to:message-id:in-reply-to:references:subject: mime-version; bh=+kFNWiFmTbCycMKpsDN23pXgHhIPUw0KDJO1a788o/c=; b=SRVl7BpB9zk7fgXPN9tZhmuJ5LeC2wFMPtfxAnH6lH+5KFOD9EN9tg2i IGOeaL97l8hJlrLsmWrZP6Y5+6e/zbRjyexfpIS5It3si9OosTOUBcZW5 DsVveFu9LxzqALIoTI+8fRej0yxO64tl1JfSPlynvGnKayaMJCBMPDkx0 0=; IronPort-HdrOrdr: =?us-ascii?q?A9a23=3AJZQDJ6O0e4ksCMBcTnqjsMiBIKoaSvp037Dk?= =?us-ascii?q?7SFMoHtuA6qlfqGV7ZMmPHrP4gr5N0tMpTntAsW9qDbnhP1ICWd4B8bfYOCkgh?= =?us-ascii?q?rUEGlahbGSvAEIYheOiNK1t50BT0EOMqyVMbEgt7eC3ODQKb9Jq+VvsprY59s2?= =?us-ascii?q?qU0DcegAUdAE0+4WMGim+2RNNXh7LKt8OpqAx9ZN4wGtcW4Qaa2AdwM4dtmGid?= =?us-ascii?q?3XtY7sJSULDR4/6AWIkFqTmcXHOind8BcCci9FhYwv+2jdkwD/++GKvvyhxgXH?= =?us-ascii?q?vlWjn6h+qZ/OysZjGMfJsMQTJzn24zzYHLhcZw=3D=3D?= X-IronPort-AV: E=Sophos;i="5.84,251,1620684000"; d="scan'208,217";a="520497664" X-MGA-submission: =?us-ascii?q?MDGpyNCYTLBSHQjix5MHRrUdKxO14pTpOdgp61?= =?us-ascii?q?XA7qFwUk23W/skVYARtZhzNc8gkZYyfSnp/OoG8hP9J7lPfXmdrnAh0q?= =?us-ascii?q?XE9Wbmn3Sdqx3ou7rfv6FZ6BoAdf9ACyiY2Eo/yfuysZXrYrHX1gFsZ2?= =?us-ascii?q?s9bPDyPfWnirUYndaip6rU2g=3D=3D?= Received: from zcs-store1.inria.fr ([128.93.142.28]) by mail2-relais-roc.national.inria.fr with ESMTP; 19 Jul 2021 10:08:02 +0200 Date: Mon, 19 Jul 2021 10:08:01 +0200 (CEST) From: Florian Angeletti To: caml-list Message-ID: <699800193.58280357.1626682081811.JavaMail.zimbra@inria.fr> In-Reply-To: <646221067.24276589.1622831690277.JavaMail.zimbra@inria.fr> References: <646221067.24276589.1622831690277.JavaMail.zimbra@inria.fr> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="=_a58479ec-e80a-49f6-9c1e-ecb4fa9e50c1" X-Originating-IP: [92.163.90.208] X-Mailer: Zimbra 8.8.15_GA_4018 (ZimbraWebClient - FF90 (Linux)/8.8.15_GA_4026) Thread-Topic: OCaml 4.13.0, second alpha release Thread-Index: WdDj6cltBMztmC+Zi/GYa/vrSanvEKPYb+um Subject: [Caml-list] OCaml 4.13.0, second alpha release Reply-To: Florian Angeletti X-Loop: caml-list@inria.fr X-Sequence: 18541 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: --=_a58479ec-e80a-49f6-9c1e-ecb4fa9e50c1 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Dear OCaml users,=20 The release of OCaml 4.13.0 is approaching. We have released a second alpha= =20 version to help fellow hackers join us early in our bug hunting and=20 opam ecosystem fixing fun (see below for the installation instructions).=20 You can see the progress on this front at https://github.com/ocaml/opam-rep= ository/issues/18791 .=20 Beyond the usual bug fixes (see the full list below), this second alpha int= egrates a new feature for native=20 generated code: poll points. Those poll points currently fixes some issues = with signals in non-allocating loops=20 in native code. More importantly, they are a prerequisite for the multicore= runtime.=20 Another change is the removal of the removal of interbranch propagation of = type information.=20 The feature, already postponed from 4.12, has been removed to focus for now= on better error=20 message in the `-principal` mode.=20 If you find any bugs, please report them here:=20 https://github.com/ocaml/ocaml/issues=20 The first beta release may follow soon since the opam ecosystem is in quite= good shape;=20 and we are on track for a full release in September.=20 Happy hacking,=20 Florian Angeletti for the OCaml team.=20 Installation instructions=20 ---------------------------------=20 The base compiler can be installed as an opam switch with the following com= mands=20 opam update=20 opam switch create 4.13.0~alpha2 --repositories=3Ddefault,beta=3Dgit+https:= //github.com/ocaml/ocaml-beta-repository.git=20 If you want to tweak the configuration of the compiler, you can switch to t= he option variant with:=20 opam update=20 opam switch create --packages=3Docaml-variants.4.13.0~alpha2+= options, --repositories=3Ddefault,beta=3Dgit+https://github.co= m/ocaml/ocaml-beta-repository.git=20 where is a comma separated list of ocaml-option-* packages. F= or instance, for a flambda and no-flat-float-array switch:=20 opam switch create 4.13.0~alpha2+flambda+nffa --packages=3Docaml-variants.4= .13.0~alpha2+options,ocaml-option-flambda,ocaml-option-no-flat-float-array = --repositories=3Ddefault,beta=3Dgit+https://github.com/ocaml/ocaml-beta-rep= ository.git=20 All available options can be listed with "opam search ocaml-option".=20 If you want to test this version, it is advised to install the alpha opam r= epository=20 https://github.com/kit-ty-kate/opam-alpha-repository=20 with=20 opam repo add alpha git://github.com/kit-ty-kate/opam-alpha-repository.git= =20 This alpha repository contains various fixes in the process of being upstre= amed.=20 The source code for the alpha is also available at these addresses:=20 https://github.com/ocaml/ocaml/archive/4.13.0-alpha2.tar.gz=20 https://caml.inria.fr/pub/distrib/ocaml-4.13/ocaml-4.13.0~alpha2.tar.gz=20 ------------------------------------=20 Changes since the first alpha release=20 -------------------------------------=20 New feature:=20 -----------------=20 - #10039: Safepoints=20 Add poll points to native generated code. These are effectively=20 zero-sized allocations and fix some signal and remembered set=20 issues. Also multicore prerequisite.=20 (Sadiq Jaffer, Stephen Dolan, Damien Doligez, Xavier Leroy,=20 Anmol Sahoo, Mark Shinwell, review by Damien Doligez, Xavier Leroy,=20 and Mark Shinwell)=20 New bug fixes:=20 -------------------=20 - #10449: Fix major GC work accounting (the GC was running too fast).=20 (Damien Doligez, report by Stephen Dolan, review by Nicol=E1s Ojeda B=E4r a= nd=20 Sadiq Jaffer)=20 - #10454: Check row_more in nondep_type_rec.=20 (Leo White, review by Thomas Refis)=20 - #10468: Correctly pretty print local type substitution, e.g. type t :=3D = ...,=20 with -dsource=20 (Matt Else, review by Florian Angeletti)=20 - #10461, #10498: `caml_send*` helper functions take derived pointers=20 as arguments. Those must be declared with type Addr instead of Val.=20 Moreover, poll point insertion must be disabled for `caml_send*`,=20 otherwise the derived pointer is live across a poll point.=20 (Vincent Laviron and Xavier Leroy, review by Xavier Leroy and Sadiq Jaffer)= =20 - #10478: Fix segfault under Windows due to a mistaken initialization of th= read=20 ID when a thread starts.=20 (David Allsopp, Nicol=E1s Ojeda B=E4r, review by Xavier Leroy)=20 Removed feature:=20 ------------------------=20 * #9811: remove propagation from previous branches=20 Type information inferred from previous branches was propagated in=20 non-principal mode. Revert this for better compatibility with=20 -principal mode.=20 For the time being, infringing code should result in a principality warning= .=20 (Jacques Garrigue, review by Thomas Refis and Gabriel Scherer)=20 The up-to-date list of changes for OCaml 4.13 is available at https://githu= b.com/ocaml/ocaml/blob/4.13/Changes .=20 --=_a58479ec-e80a-49f6-9c1e-ecb4fa9e50c1 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
Dear OCaml users,

The release of OCa= ml 4.13.0 is approaching. We have released a second alpha
version to hel= p fellow hackers join us early in our bug hunting and
opam ecosystem fix= ing fun (see below for the installation instructions).
You can see the p= rogress on this front at https://github.com/ocaml/opam-repository/issues/18= 791 .

Beyond the usual bug fixes (see the full list below), this sec= ond alpha integrates a new feature for native
generated code: poll point= s. Those poll points currently fixes some issues with signals in non-alloca= ting loops
in native code. More importantly, they are a prerequisite for= the multicore runtime.

Another change is the removal of the removal= of interbranch propagation of type information.
The feature, already po= stponed from 4.12, has been removed to focus for now on better error
mes= sage in the `-principal` mode.

If you find any bugs, please report t= hem here:

  https://github.com/ocaml/ocaml/issues

The fi= rst beta release may follow soon since the opam ecosystem is in quite good = shape;
and we are on track for a full release in September.

Happy= hacking,
Florian Angeletti for the OCaml team.

Installation inst= ructions
---------------------------------
The base compiler can be i= nstalled as an opam switch with the following commands

opam updateopam switch create 4.13.0~alpha2 --repositories=3Ddefault,beta=3Dgit+http= s://github.com/ocaml/ocaml-beta-repository.git

If you want to tweak = the configuration of the compiler, you can switch to the option variant wit= h:

opam update
opam switch create <switch_name> --packages= =3Docaml-variants.4.13.0~alpha2+options,<option_list> --repositories= =3Ddefault,beta=3Dgit+https://github.com/ocaml/ocaml-beta-repository.git
where <option_list> is a comma separated list of ocaml-option-* = packages. For instance, for a flambda and no-flat-float-array switch:
opam switch create 4.13.0~alpha2+flambda+nffa --packages=3Docaml-variants= .4.13.0~alpha2+options,ocaml-option-flambda,ocaml-option-no-flat-float-arra= y --repositories=3Ddefault,beta=3Dgit+https://github.com/ocaml/ocaml-beta-r= epository.git

All available options can be listed with "opam search = ocaml-option".

If you want to test this version, it is advised to in= stall the alpha opam repository

https://github.com/kit-ty-kate/opam-= alpha-repository

with

opam repo add alpha git://github.com/ki= t-ty-kate/opam-alpha-repository.git

This alpha repository contains v= arious fixes in the process of being upstreamed.

The source code for= the alpha is also available at these addresses:

 https://githu= b.com/ocaml/ocaml/archive/4.13.0-alpha2.tar.gz
 https://caml.inria.= fr/pub/distrib/ocaml-4.13/ocaml-4.13.0~alpha2.tar.gz

---------------= ---------------------
Changes since the first alpha release
---------= ----------------------------

New feature:
-----------------
- #10039: Safepoints
  Add poll points to native generated code. = These are effectively
  zero-sized allocations and fix some signal = and remembered set
  issues. Also multicore prerequisite.
 = (Sadiq Jaffer, Stephen Dolan, Damien Doligez, Xavier Leroy,
  = ; Anmol Sahoo, Mark Shinwell, review by Damien Doligez, Xavier Leroy,
&n= bsp;  and Mark Shinwell)

New bug fixes:
-------------------<= br>
- #10449: Fix major GC work accounting (the GC was running too fast)= .
  (Damien Doligez, report by Stephen Dolan, review by Nicol=E1s O= jeda B=E4r and
   Sadiq Jaffer)

- #10454: Check row_mor= e in nondep_type_rec.
  (Leo White, review by Thomas Refis)

= - #10468: Correctly pretty print local type substitution, e.g. type t :=3D = ...,
  with -dsource
  (Matt Else, review by Florian Angele= tti)

- #10461, #10498: `caml_send*` helper functions take derived po= inters
  as arguments.  Those must be declared with type Addr = instead of Val.
  Moreover, poll point insertion must be disabled f= or `caml_send*`,
  otherwise the derived pointer is live across a p= oll point.
  (Vincent Laviron and Xavier Leroy, review by Xavier Le= roy and Sadiq Jaffer)

- #10478: Fix segfault under Windows due to a = mistaken initialization of thread
  ID when a thread starts.
&nb= sp; (David Allsopp, Nicol=E1s Ojeda B=E4r, review by Xavier Leroy)

<= br>Removed feature:
------------------------

* #9811: remove prop= agation from previous branches
  Type information inferred from pre= vious branches was propagated in
  non-principal mode. Revert this = for better compatibility with
  -principal mode.
  For the = time being, infringing code should result in a principality warning.
&nb= sp; (Jacques Garrigue, review by Thomas Refis and Gabriel Scherer)

T= he up-to-date list of changes for OCaml 4.13 is available at https://github= .com/ocaml/ocaml/blob/4.13/Changes .

--=_a58479ec-e80a-49f6-9c1e-ecb4fa9e50c1--