From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from Hermes.metastack.local (172.16.0.8) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.27 via Mailbox Transport; Tue, 4 Jul 2023 19:11:44 +0100 Received: from Hermes.metastack.local (172.16.0.8) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.27; Tue, 4 Jul 2023 19:11:43 +0100 Received: from exchange.romulus.metastack.com (172.16.0.21) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_0, cipher=TLS_RSA_WITH_AES_256_CBC_SHA) id 15.1.2507.27 via Frontend Transport; Tue, 4 Jul 2023 19:11:43 +0100 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 364IB04O027958 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Tue, 4 Jul 2023 19:11:00 +0100 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 364IAra6027938 for ; Tue, 4 Jul 2023 19:10:53 +0100 Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 04 Jul 2023 20:10:53 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 35B85E0D56; Tue, 4 Jul 2023 20:10:53 +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 4904FE00B7 for ; Tue, 4 Jul 2023 20:10:50 +0200 (CEST) Received: from zcs-store1.inria.fr ([128.93.142.28]) by mail2-relais-roc.national.inria.fr with ESMTP; 04 Jul 2023 20:10:50 +0200 From: Florian Angeletti To: caml-list Subject: [Caml-list] First beta release of OCaml 5.1.0 Thread-Topic: First beta release of OCaml 5.1.0 Thread-Index: AQHZrqL9Z89/mvyYskyOloWFIBjnsQ== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Tue, 4 Jul 2023 19:10:50 +0100 Message-ID: <285796528.1775709.1688494250152.JavaMail.zimbra@inria.fr> References: <1683360478.6348093.1681545181983.JavaMail.zimbra@inria.fr> <614877951.14559857.1685692007861.JavaMail.zimbra@inria.fr> Keywords: Sent to dra-news@metastack.com,Marked bulk,MetaStack - Lists,MetaStack List-Help: List-Subscribe: List-Unsubscribe: In-Reply-To: <614877951.14559857.1685692007861.JavaMail.zimbra@inria.fr> Reply-To: Florian Angeletti Content-Language: en-GB X-MS-Exchange-Organization-AuthAs: Anonymous X-MS-Exchange-Organization-AuthSource: Hermes.metastack.local X-MS-Has-Attach: X-Auto-Response-Suppress: All X-MS-Exchange-Organization-Network-Message-Id: f84287e9-8d66-4fb2-ae04-08db7cba1f9e X-MS-TNEF-Correlator: X-MS-Exchange-Organization-RecordReviewCfmType: 0 x-scanned-by: MIMEDefang 2.65 on 62.31.23.242 x-originating-ip: [83.200.76.22] 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 x-ironport-av: E=Sophos;i="6.01,181,1684792800"; d="scan'208,217";a="116017696" x-loop: caml-list@inria.fr x-no-archive: yes Content-Type: text/html; charset="iso-8859-1" Content-ID: <16E89756B0431E46B0CE76FD268479BE@metastack.local> Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0
Dear OCaml users,

After two alpha releases, the release of OCaml 5.1.0 is drawing near.
We have thus released a first beta version of OCaml 5.1.0 to help you updat= e your softwares and libraries ahead of the release (see below for the inst= allation instructions).

Compared to the last alpha release, this beta contains two subtle internal = runtime fixes, and one Windows fix.
Overall, the opam ecosystem looks in a good shape for the first beta releas= e.

If you find any bugs, please report them on OCaml's issue tracker: https://= github.com/ocaml/ocaml/issues.

Nearly all core development tools supports OCaml 5.1.0, and you can follow = the last remaining wrinkles on the
opam readiness for 5.1.0 meta-issue: https://github.com/ocaml/opam-reposito= ry/issues/23669.

Currently, the release is planned for the end of July or the beginning of A= ugust.

If you are interested in full list of features and bug fixes of the new OCa= ml version, the
updated change log for OCaml 5.1.0 is available on GitHub: https://github.c= om/ocaml/ocaml/blob/5.1/Changes.

Happy hacking,
Florian Angeletti for the OCaml team.

Installation Instructions
------------------------------

The base compiler can be installed as an opam switch with the following com= mands
on opam 2.1:


   opam update
   opam switch create 5.1.0~beta1


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

* GitHub: https://github.com/ocaml/ocaml/archive/5.1.0-beta1.tar.gz
* OCaml archives at Inria: https://caml.inria.fr/pub/distrib/ocaml-5.1/ocam= l-5.1.0~beta1.tar.gz

Fine-Tuned Compiler Configuration
----------------------------------------------

If you want to tweak the configuration of the compiler, you can switch to t= he option variant with:


    opam update
    opam switch create <switch_name> ocaml-variants.5.= 1.0~beta1+options <option_list>

where `option_list` is a space-separated list of `ocaml-option-*` packages.= For instance, for a `flambda` and `no-flat-float-array` switch:


    opam switch create 5.1.0~beta1+flambda+nffa ocam= l-variants.5.1.0~beta1+options ocaml-option-flambda ocaml-option-no-fla= t-float-array

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

Changes since the last alpha release:
--------------------------------------------------

### Runtime System Bugfix

  - [#12037](https://github.com/ocaml/ocaml/issues/12037): Fix some da= ta races by using volatile when necessary
    (Fabrice Buoro and Olivier Nicole, review by Guillaume M= unch-Maccagnoni,
    Gabriel Scherer and Luc Maranget)

  - [#12253](https://github.com/ocaml/ocaml/issues/12253), [#12342](ht= tps://github.com/ocaml/ocaml/issues/12342): Fix infinite loop in signal han= dling.
    (Guillaume Munch-Maccagnoni, report by Thomas Leonard, r= eview by
     KC Sivaramakrishnan and Sadiq Jaffer)

### Windows Bugfix

  - [#12184](https://github.com/ocaml/ocaml/issues/12184), [#12320](ht= tps://github.com/ocaml/ocaml/issues/12320): Sys.rename Windows fixes on dir= ectory corner cases.
    (Jan Midtgaard, review by Anil Madhavapeddy)