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 50A115D5 for ; Thu, 17 Mar 2022 13:49:28 +0000 (UTC) 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: mime-version:subject:reply-to:sender:list-id:list-help: list-subscribe:list-unsubscribe:list-post:list-owner: list-archive; bh=9wrrr3FFdSZC6XWnVEIFkupRW9txC9MklUvtOYockto=; b=GVDOOLbRv2CTeFZFTwN7FjfH2TbfXkDkR7YMOHQ9t0AKYJgs7l6yRcgD tit1LwgNQuQgC3g+mVIttg9McKdAHHBD7JCcMcUQicwwc0oDSA3/Dufwi dJWRwpvldy9FDTREhhcreDDgH036vRaAE/wGgk871ko7FTk4/7jq042hV A=; Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr is inclined to not designate 128.93.162.160 as permitted sender) identity=mailfrom; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="caml-list-owner@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:192.134.164.0/24 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sympa.inria.fr) identity=helo; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only Authentication-Results: mail2-relais-roc.national.inria.fr; spf=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr; dkim=hardfail (signature did not verify [final]) header.i=@inria.fr X-IronPort-AV: E=Sophos;i="5.90,188,1643670000"; d="scan'208,217";a="26688086" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 17 Mar 2022 14:49:27 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 82DD8E031F; Thu, 17 Mar 2022 14:49:26 +0100 (CET) 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 32CC1E0030 for ; Thu, 17 Mar 2022 14:49:24 +0100 (CET) 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=9wrrr3FFdSZC6XWnVEIFkupRW9txC9MklUvtOYockto=; b=RnRIR7bV20hDasoT76mx9QbAmFm9/iqnNbBN6DjMNPOqf14mJNYZlgqp ZeMu3czjv1pCWF5EKnpE7qP0ayogT0W3ug1SKCQ3MOKNWkfnDzbJEy1yX zOy+WCeQGWBnnknnVyvTRQ/wIy2VaTBwTgxcI2OV1ZRDSBSZLdP1OD1Sy 0=; X-IronPort-AV: E=Sophos;i="5.90,188,1643670000"; d="scan'208,217";a="26688064" X-MGA-submission: =?us-ascii?q?MDGm+I9393bnXi6r5jI2IN1TEKi3MDm1o6TVrY?= =?us-ascii?q?PMjoLmaG/9E8vx/maWh4EwMtaKjkl2cwGV1lhPMZNTZbTVckPb+CiXLo?= =?us-ascii?q?oSnlfM9KYyttmWqVjiazUks2p5LrDOZrvXnEh5omO6ruJf1kO/CwFsbl?= =?us-ascii?q?Camp3z8xatpKSLRlO6agr+aQ=3D=3D?= Received: from zcs-store1.inria.fr ([128.93.142.28]) by mail2-relais-roc.national.inria.fr with ESMTP; 17 Mar 2022 14:49:24 +0100 Date: Thu, 17 Mar 2022 14:49:22 +0100 (CET) From: Florian Angeletti To: caml-list Message-ID: <812762055.30672000.1647524962382.JavaMail.zimbra@inria.fr> In-Reply-To: <882109564.11392144.1645519922472.JavaMail.zimbra@inria.fr> References: <1390603013.13233975.1642755682071.JavaMail.zimbra@inria.fr> <630752073.2252125.1644397619093.JavaMail.zimbra@inria.fr> <882109564.11392144.1645519922472.JavaMail.zimbra@inria.fr> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="=_65845bd2-30d0-49b1-91b6-147b17f22e46" X-Originating-IP: [128.93.64.106] X-Mailer: Zimbra 8.8.15_GA_4203 (ZimbraWebClient - FF98 (Linux)/8.8.15_GA_4232) Thread-Topic: OCaml 4.14.0, second release candidate Thread-Index: eAt9DUocBl209Plx0Qr0ttAbdCveIVF8ri5tbzMC/k0sYdS1Sw== Subject: [Caml-list] OCaml 4.14.0, second release candidate Reply-To: Florian Angeletti X-Loop: caml-list@inria.fr X-Sequence: 18729 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: --=_65845bd2-30d0-49b1-91b6-147b17f22e46 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Dear OCaml users,=20 The release of OCaml 4.14.0 is imminent.=20 As a last test that everything is in order, we are publishing a second rele= ase=20 candidate for OCaml 4.14.0.=20 We are directly jumping to the second release candidate due to a=20 type system regression discovered during the release of the first release= =20 candidate.=20 Compared to the last beta, this release candidate includes a regression fix= when=20 typing recursive constraints, two backend fixes (one for the frame-pointer = mode=20 and the other one for the RISC-V architecture), one configuration fix=20 for musl/arm64, and the manual chapter for the TMC transformation.=20 If you find any bugs, please report them here:=20 https://github.com/ocaml/ocaml/issues=20 The release of OCaml 4.14.0 is currently planned for next week.=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.14.0~rc2 --repositories=3Ddefault,beta=3Dgit+https://g= ithub.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.14.0~rc2+opt= ions, --repositories=3Ddefault,beta=3Dgit+https://github.com/o= caml/ocaml-beta-repository.git=20 where is a comma separated list of ocaml-option-* packages.= =20 For instance, for a flambda and no-flat-float-array switch:=20 opam switch create 4.14.0~rc2+flambda+nffa --packages=3Docaml-variants.4.14= .0~rc2+options,ocaml-option-flambda,ocaml-option-no-flat-float-array --repo= sitories=3Ddefault,beta=3Dgit+https://github.com/ocaml/ocaml-beta-repositor= y.git=20 All available options can be listed with "opam search ocaml-option".=20 The source code for the release candidate is also available at these addres= ses:=20 https://github.com/ocaml/ocaml/archive/4.14.0-rc2.tar.gz=20 https://caml.inria.fr/pub/distrib/ocaml-4.14/ocaml-4.14.0~rc2.tar.gz=20 Changes since the last beta=20 -------------------------------------=20 ### Type system regression fix=20 - #11101, #11109: A recursive type constraint fails on 4.14=20 (Jacques Garrigue, report and review by Florian Angeletti)=20 ### Backend fixes=20 - #10688: Move frame descriptor table from `rodata` to `data` section on=20 RISC-V. Improves support for building DLLs and PIEs. In particular, this=20 applies to all binaries in distributions that build PIEs by default (eg=20 Gentoo and Alpine).=20 (Alex Fan, review by Gabriel Scherer)=20 - #11031: Exception handlers restore the rbp register when using frame-poin= ters=20 on amd64.=20 (Fabrice Buoro, with help from Stephen Dolan, Tom Kelly and Mark Shinwell,= =20 review by Xavier Leroy)=20 ### Configuration fix=20 - #11025, #11036: Do not pass -no-pie to the C compiler on musl/arm64=20 (omni, Kate Deplaix and Antonio Nuno Monteiro, review by Xavier Leroy)=20 ### Documentation=20 + #181, #9760, +#10740: opt-in tail-modulo-cons (TMC) transformation=20 let[@tail_mod_cons] rec map f li =3D ...=20 (Fr=E9d=E9ric Bour, Gabriel Scherer, Basile Cl=E9ment,=20 review by Basile Cl=E9ment and Pierre Chambart,=20 tested by Konstantin Romanov)=20 --=_65845bd2-30d0-49b1-91b6-147b17f22e46 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
Dear OCaml users,

The release of OCa= ml 4.14.0 is imminent.
As a last test that everything is in order, we ar= e publishing a second release
candidate for OCaml 4.14.0.

We are = directly jumping to the second release candidate due to a
type system re= gression discovered during the release of the first release
candidate.
Compared to the last beta, this release candidate includes a regressi= on fix when
typing recursive constraints, two backend fixes (one for the= frame-pointer mode
and the other one for the RISC-V architecture), one = configuration fix
for musl/arm64, and the manual chapter for the TMC tra= nsformation.

If you find any bugs, please report them here:

&= nbsp; https://github.com/ocaml/ocaml/issues

The release of OCaml 4.1= 4.0 is currently planned for next week.

Happy hacking,
Florian An= geletti for the OCaml team.

Installation instructions
-----------= -----------------
The base compiler can be installed as an opam switch w= ith the following commands

opam update
opam switch create 4.14.0~= rc2 --repositories=3Ddefault,beta=3Dgit+https://github.com/ocaml/ocaml-beta= -repository.git

If you want to tweak the configuration of the compil= er, you can switch to the option variant with:

opam update
opam s= witch create <switch_name> --packages=3Docaml-variants.4.14.0~rc2+opt= ions,<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 fla= mbda and no-flat-float-array switch:

opam switch create 4.14.0~rc2+f= lambda+nffa --packages=3Docaml-variants.4.14.0~rc2+options,ocaml-option-fla= mbda,ocaml-option-no-flat-float-array --repositories=3Ddefault,beta=3Dgit+h= ttps://github.com/ocaml/ocaml-beta-repository.git

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

The source code f= or the release candidate is also available at these addresses:

 = ;https://github.com/ocaml/ocaml/archive/4.14.0-rc2.tar.gz
 https://= caml.inria.fr/pub/distrib/ocaml-4.14/ocaml-4.14.0~rc2.tar.gz


Cha= nges since the last beta
-------------------------------------

##= # Type system regression fix

- #11101, #11109: A recursive type cons= traint fails on 4.14
  (Jacques Garrigue, report and review by Flor= ian Angeletti)

### Backend fixes

- #10688: Move frame descrip= tor table from `rodata` to `data` section on
  RISC-V.  Improv= es support for building DLLs and PIEs. In particular, this
  applie= s to all binaries in distributions that build PIEs by default (eg
 = Gentoo and Alpine).
  (Alex Fan, review by Gabriel Scherer)
- #11031: Exception handlers restore the rbp register when using frame-poi= nters
  on amd64.
  (Fabrice Buoro, with help from Stephen = Dolan, Tom Kelly and Mark Shinwell,
  review by Xavier Leroy)
### Configuration fix

- #11025, #11036: Do not pass -no-pie to the= C compiler on musl/arm64
  (omni, Kate Deplaix and Antonio Nuno Mo= nteiro, review by Xavier Leroy)

### Documentation

+ #181, #97= 60, +#10740: opt-in tail-modulo-cons (TMC) transformation
  &n= bsp;  let[@tail_mod_cons] rec map f li =3D ...
   (Fr=E9d= =E9ric Bour, Gabriel Scherer, Basile Cl=E9ment,
    revie= w by Basile Cl=E9ment and Pierre Chambart,
    tested by = Konstantin Romanov)

--=_65845bd2-30d0-49b1-91b6-147b17f22e46--