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 959265D5 for ; Wed, 25 Aug 2021 18:16:26 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.84,326,1620684000"; d="scan'208,217";a="525220959" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 25 Aug 2021 20:16:24 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 65384E002F; Wed, 25 Aug 2021 20:16:24 +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 22BFBE002F for ; Wed, 25 Aug 2021 20:16:21 +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=YplIGofnkwsIBoFdiJbRnhAdu8fPr5EVelWVyjxF1As=; b=ZJsaigOe3UD+iSj2hendBKbtMYUZA0nGzkT7dqsEQzyaoPzbDPsm68DS d8RTIw1cL/daOq24RhPPSKEnDsPy4PRvTBKEGav4aEDVV4RGc/bflEDgM WAMkLiQafm80h8xElKbaFQNHiJrk/ZyHpHYKj4OmSG/ghlKYXIxDa699h g=; IronPort-HdrOrdr: =?us-ascii?q?A9a23=3AED9JRakjwCXNhut7gWCkKAg+bzLpDfKc3DAb?= =?us-ascii?q?v31ZSRFFG/FwyPre+8jzhCWE7Ar5BktQ/OxoWJPwOk80lKQFlrX5WI3SIHiYhI?= =?us-ascii?q?LGFvAS0WKJ+Vzd8kHFh55gPN5bAt5D4YTLfBFHZKXBkX2F+rQbsae6GcmT7I+0?= =?us-ascii?q?rwYVPHxXhrlbnn9E42CgYz5LrWF9dPxJbqZ0jfA30gZIF05nHPhS0hE+LqP+T8?= =?us-ascii?q?KiruOnXfYWbyRXoDVnk1uTmfTH+hKjr1Yjuysl+9kfGZ2vqWPED2aY3s1TCCW3?= =?us-ascii?q?64Ye1eU0pDKY8KoPOCVEsKRlSAkF126TFchcs6XrhkF7nAm1gGxa3uXxnw=3D?= =?us-ascii?q?=3D?= X-IronPort-AV: E=Sophos;i="5.84,326,1620684000"; d="scan'208,217";a="525220942" X-MGA-submission: =?us-ascii?q?MDFs0yWx+nY9xCuJ8etJEYQ7xfECrapuAVV3Fb?= =?us-ascii?q?y0ikw4kNWgyuTjixmjgYtgWxCcwyQejtF1TlL5BORdxyquGPXgge+r3o?= =?us-ascii?q?y6xlFj3iHvNfJem7R9aTflIntQ0VKkkMhpxsoLe7V69d206Ks+cadDar?= =?us-ascii?q?hEr8DF+A+lBXdKlWF0SFpC+Q=3D=3D?= Received: from zcs-store1.inria.fr ([128.93.142.28]) by mail2-relais-roc.national.inria.fr with ESMTP; 25 Aug 2021 20:16:20 +0200 Date: Wed, 25 Aug 2021 20:16:20 +0200 (CEST) From: Florian Angeletti To: caml-list Message-ID: <86739189.4343121.1629915380274.JavaMail.zimbra@inria.fr> In-Reply-To: <699800193.58280357.1626682081811.JavaMail.zimbra@inria.fr> References: <646221067.24276589.1622831690277.JavaMail.zimbra@inria.fr> <699800193.58280357.1626682081811.JavaMail.zimbra@inria.fr> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="=_292913dc-93b4-429a-8df4-9d54588bb67f" X-Originating-IP: [92.163.26.94] X-Mailer: Zimbra 8.8.15_GA_4059 (ZimbraWebClient - FF91 (Linux)/8.8.15_GA_4059) Thread-Topic: OCaml 4.13.0, first beta release Thread-Index: WdDj6cltBMztmC+Zi/GYa/vrSanvEKPYb+umo6iWVlI= Subject: [Caml-list] OCaml 4.13.0, first beta release Reply-To: Florian Angeletti X-Loop: caml-list@inria.fr X-Sequence: 18558 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: --=_292913dc-93b4-429a-8df4-9d54588bb67f 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 close.=20 The set of new features has been stabilized, and core opam packages already= =20 work with this release (see [ http://check.ocamllabs.io/ | http://check.oca= mllabs.io ] ). After two alpha releases, we=20 have created a first beta version to help you update your softwares and lib= raries ahead of=20 the release.=20 If you find any bugs, please report them here:=20 https://github.com/ocaml/ocaml/issues=20 The full release of OCaml 4.13.0 is currently planned for 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~beta1 --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~beta1+o= ptions, --repositories=3Ddefault,beta=3Dgit+https://github.com= /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~beta1+flambda+nffa --packages=3Docaml-variants.4.= 13.0~beta1+options,ocaml-option-flambda,ocaml-option-no-flat-float-array --= repositories=3Ddefault,beta=3Dgit+https://github.com/ocaml/ocaml-beta-repos= itory.git=20 All available options can be listed with "opam search ocaml-option".=20 The source code for ths beta release is also available at these addresses:= =20 https://github.com/ocaml/ocaml/archive/4.13.0-beta1.tar.gz=20 https://caml.inria.fr/pub/distrib/ocaml-4.13/ocaml-4.13.0~beta1.tar.gz=20 --------------------------------------------------=20 Changes since the last alpha release=20 --------------------------------------------------=20 - #10549: Stack overflow detection and naked pointers checking for ARM64=20 (Xavier Leroy, review by Stephen Dolan)=20 - #10442, #10446: Fix regression in the toplevel to #directory caused by=20 corrections and improvements to the Load_path in #9611. #directory now=20 adds the path to the start of the load path again (so files in the newly=20 added directory take priority).=20 (David Allsopp, report by Vasile Rotaru, review by Florian Angeletti=20 and Nicol=E1s Ojeda B=E4r)=20 - #10450, #10558: keep %apply and %revapply primitives working with abstrac= t=20 types. This breach of backward compatibility was only present in the alpha= =20 releases of OCaml 4.13.0 .=20 (Florian Angeletti, review by Thomas Refis and Leo White)=20 - #10380: Correct handling of UTF-8 paths in configure on Windows=20 (David Allsopp, review by S=E9bastien Hinderer)=20 - #10543: Fix Ast_mapper to apply the mapping function to the constants in= =20 "interval" patterns `c1..c2`.=20 (Guillaume Petiot, review by Gabriel Scherer and Nicol=E1s Ojeda B=E4r)=20 - #10550, #10551: fix pretty-print of gadt-pattern-with-type-vars=20 (Chet Murthy, review by Gabriel Scherer)=20 - #10497: Styling changes in the post-processed HTML manual (webman)=20 (Wiktor Kuchta, review by Florian Angeletti)=20 --=_292913dc-93b4-429a-8df4-9d54588bb67f 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 close.

The set of new features has been stabilized, and= core opam packages already
work with this release (see http://check.ocamllabs.io). After two alpha relea= ses, we
have created a first beta version to help you update your= softwares and libraries ahead of
the release.

If you find= any bugs, please report them here:

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

The full release of OCaml 4.13.0 is currently planned f= or September.

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

opam update
opam switch create 4.13.0~beta1 --repositories= =3Ddefault,beta=3Dgit+https://github.com/ocaml/ocaml-beta-repository.git
If you want to tweak the configuration of the compiler, you can switch= to the option variant with:

opam update
opam switch create <s= witch_name> --packages=3Docaml-variants.4.13.0~beta1+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-fl= oat-array switch:

opam switch create 4.13.0~beta1+flambda+nffa --pac= kages=3Docaml-variants.4.13.0~beta1+options,ocaml-option-flambda,ocaml-opti= on-no-flat-float-array --repositories=3Ddefault,beta=3Dgit+https://github.c= om/ocaml/ocaml-beta-repository.git

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

The source code for ths beta rel= ease is also available at these addresses:

 https://github.com/= ocaml/ocaml/archive/4.13.0-beta1.tar.gz
 https://caml.inria.fr/pub/= distrib/ocaml-4.13/ocaml-4.13.0~beta1.tar.gz

-----------------------= ---------------------------
Changes since the last alpha release
----= ----------------------------------------------

- #10549: Stack overf= low detection and naked pointers checking for ARM64
  (Xavier Leroy= , review by Stephen Dolan)


- #10442, #10446: Fix regression in t= he toplevel to #directory caused by
  corrections and improvements = to the Load_path in #9611. #directory now
  adds the path to the st= art of the load path again (so files in the newly
  added directory= take priority).
  (David Allsopp, report by Vasile Rotaru, review = by Florian Angeletti
   and Nicol=E1s Ojeda B=E4r)

- #1= 0450, #10558: keep %apply and %revapply primitives working with abstract  types. This breach of backward compatibility was only present in th= e alpha
  releases of OCaml 4.13.0 .
  (Florian Angeletti, = review by Thomas Refis and Leo White)


- #10380: Correct handling= of UTF-8 paths in configure on Windows
  (David Allsopp, review by= S=E9bastien Hinderer)


- #10543: Fix Ast_mapper to apply the map= ping function to the constants in
  "interval" patterns `c1..c2`.  (Guillaume Petiot, review by Gabriel Scherer and Nicol=E1s Ojeda B= =E4r)

- #10550, #10551: fix pretty-print of gadt-pattern-with-type-v= ars
  (Chet Murthy, review by Gabriel Scherer)


- #10497:= Styling changes in the post-processed HTML manual (webman)
  (Wikt= or Kuchta, review by Florian Angeletti)
--=_292913dc-93b4-429a-8df4-9d54588bb67f--