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 879F05D5 for ; Tue, 22 Feb 2022 08:52:07 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.88,387,1635199200"; d="scan'208,217";a="22589135" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 22 Feb 2022 09:52:06 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 7DD12E6E69; Tue, 22 Feb 2022 09:52:06 +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 9B8EEE6E66 for ; Tue, 22 Feb 2022 09:52:03 +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=bF1BKPjZNbj+XorbHAnsC4KrIiN44jbAbuxTgUW+UMk=; b=f1skeNvOCUduL3MkxxYO29N6q1pv8Cl7185pvxfwKgj/v6uuhOVsPoqL NpoolkbyKGfQ6+WxdfVQF8Wb5Nu3j49IRTCwRgqiBRvQU95KIMeEXwrnV +V746pTdpDirdGSH/d1Lhmb2PcZEXQNt0qeWlLEH4FvVbW72jt4NJu+vZ g=; X-IronPort-AV: E=Sophos;i="5.88,387,1635199200"; d="scan'208,217";a="22589114" X-MGA-submission: =?us-ascii?q?MDE/Nz3zzbYBwma52FWQvEVrPJXThE1m9JTLo3?= =?us-ascii?q?Z7eTuHqGw/4rVbcp5W7GxkRV1oFuHmwWSFMLQ2WfYnz0txePn8Tjp1QB?= =?us-ascii?q?tC/t6ibYTEGRyVUp8u8ktSuXdCECHdW27+CHb1Uu5hZLqrAaQuOiO4DM?= =?us-ascii?q?XjsOODrp/psA8iLyCcm7q5uQ=3D=3D?= Received: from zcs-store1.inria.fr ([128.93.142.28]) by mail2-relais-roc.national.inria.fr with ESMTP; 22 Feb 2022 09:52:03 +0100 Date: Tue, 22 Feb 2022 09:52:02 +0100 (CET) From: Florian Angeletti To: caml-list Message-ID: <882109564.11392144.1645519922472.JavaMail.zimbra@inria.fr> In-Reply-To: <630752073.2252125.1644397619093.JavaMail.zimbra@inria.fr> References: <1390603013.13233975.1642755682071.JavaMail.zimbra@inria.fr> <630752073.2252125.1644397619093.JavaMail.zimbra@inria.fr> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="=_7640f253-75f4-43f1-accc-cbdee578c94e" X-Originating-IP: [90.61.113.188] X-Mailer: Zimbra 8.8.15_GA_4203 (ZimbraWebClient - FF97 (Linux)/8.8.15_GA_4232) Thread-Topic: OCaml 4.14.0, first beta release Thread-Index: eAt9DUocBl209Plx0Qr0ttAbdCveIVF8ri5tbzMC/k0= Subject: [Caml-list] OCaml 4.14.0, first beta release Reply-To: Florian Angeletti X-Loop: caml-list@inria.fr X-Sequence: 18705 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: --=_7640f253-75f4-43f1-accc-cbdee578c94e 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 close.=20 The set of new features has been stabilized, and most opam packages already= =20 work with this release. After two alpha releases, we have created a first= =20 beta version to help you update your softwares and libraries ahead of the= =20 release.=20 If you find any bugs, please report them at:=20 https://github.com/ocaml/ocaml/issues=20 The full release of OCaml 4.14.0 is currently expected for the middle of Ma= rch.=20 Compared to the last alpha, we have a last minute correction for one of the= new=20 function in the Seq module, some documentation improvements, and few=20 configuration and internal tweaks.=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~beta1 --repositories=3Ddefault,beta=3Dgit+https:/= /github.com/ocaml/ocaml-beta-repository.git=20 With opam 2.1, the previous command line can be simplified to=20 opam update=20 opam switch create 4.14.0~beta1=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~beta1+o= ptions, --repositories=3Ddefault,beta=3Dgit+https://github.com= /ocaml/ocaml-beta-repository.git=20 or with opam 2.1:=20 opam update=20 opam switch create ocaml-variants.4.14.0~beta1+options =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.14.0~beta1+flambda+nffa ocaml-variants.4.14.0~beta1+op= tions ocaml-option-flambda ocaml-option-no-flat-float-array=20 All available options can be listed with "opam search ocaml-option".=20 The source code for the beta is also available at these addresses:=20 https://github.com/ocaml/ocaml/archive/4.14.0-beta1.tar.gz=20 https://caml.inria.fr/pub/distrib/ocaml-4.14/ocaml-4.14.0~beta1.tar.gz=20 Changes compared to the last alpha=20 ------------------------------------------------=20 The full list of changes for OCaml 4.14 is available at https://github.com/= ocaml/ocaml/blob/4.14/Changes=20 ## Standard library=20 +* #10583, +#10998: Add over 40 new functions in Seq.=20 (Fran=E7ois Pottier and Simon Cruanes, review by Nicol=E1s Ojeda B=E4r,=20 Daniel B=FCnzli, Na=EBla Courant, Craig Ferguson, Wiktor Kuchta,=20 Xavier Leroy, Guillaume Munch-Maccagnoni, Rapha=EBl Proust, Gabriel Scherer= =20 and Thierry Martinez)=20 ## Documentation=20 - #10397: Document exceptions raised by Unix module functions on Windows=20 (Martin Jambon, review by Daniel B=FCnzli, David Alsopp, Damien Doligez,=20 Xavier Leroy, and Florian Angeletti)=20 - #10794: Clarify warning 57 (Ambiguous or-pattern variables under guard)= =20 (Wiktor Kuchta, review by Gabriel Scherer)=20 ## Build system=20 - #10828 Build native-code compilers on OpenBSD/aarch64=20 (Christopher Zimmermann)=20 - #10835 Disable DT_TEXTREL warnings on x86 32 bit architecture by passing= =20 -Wl,-z,notext in mksharedlib and mkmaindll. Fixes relocation issues, report= ed=20 in #9800, making local patches in Debian, Alpine, and FreeBSD superfluous.= =20 (Hannes Mehnert with Kate Deplaix and St=E9phane Glondu, review by Xavier L= eroy)=20 ## Code generation=20 - #10719: Ensure that build_apply respects Lambda.max_arity=20 (Stephen Dolan, review by Xavier Leroy)=20 ## Internal/compiler-libs=20 + #10718, +#11012: Add "Shape" information to the cmt files. Shapes are an= =20 abstraction of modules that can be used by external tooling to perform=20 definition-aware operations.=20 (Ulysse G=E9rard, Thomas Refis and Leo White, review by Florian Angeletti)= =20 --=_7640f253-75f4-43f1-accc-cbdee578c94e 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 close.

The set of new features has been stabilized, and= most opam packages already
work with this release. After two alpha rele= ases, we have created a first
beta version to help you update your softw= ares and libraries ahead of the
release.

If you find any bugs, pl= ease report them at:

  https://github.com/ocaml/ocaml/issues
The full release of OCaml 4.14.0 is currently expected for the middle = of March.

Compared to the last alpha, we have a last minute correcti= on for one of the new
function in the Seq module, some documentation imp= rovements, and few
configuration and internal tweaks.

Happ= y hacking,
Florian Angeletti for the OCaml team.

Installation ins= tructions
------------------------------
The base compiler can be ins= talled as an opam switch with the following commands

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

With opam 2.1, the previ= ous command line can be simplified to

opam update
opam switch cre= ate 4.14.0~beta1

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

opam update
opam = switch create <switch_name> --packages=3Docaml-variants.4.14.0~beta1+= options,<option_list> --repositories=3Ddefault,beta=3Dgit+https://git= hub.com/ocaml/ocaml-beta-repository.git

or with opam 2.1:

opa= m update
opam switch create <switch_name> ocaml-variants.4.14.0~be= ta1+options <option_list>


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

opam switch create 4.14.0~beta1+fla= mbda+nffa ocaml-variants.4.14.0~beta1+options ocaml-option-flambda ocaml-op= tion-no-flat-float-array

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

The source code for the beta is also avail= able at these addresses:

 https://github.com/ocaml/ocaml/archiv= e/4.14.0-beta1.tar.gz
 https://caml.inria.fr/pub/distrib/ocaml-4.14= /ocaml-4.14.0~beta1.tar.gz

Changes compared to the last alpha
---= ---------------------------------------------


The full list of changes for OCaml 4.14 is available = at https://github.com/ocaml/ocaml/blob/4.14/Changes

## Standard libr= ary

+* #10583, +#10998: Add over 40 new functions in Seq.
 &= nbsp; (Fran=E7ois Pottier and Simon Cruanes, review by Nicol=E1s Ojeda B=E4= r,
  Daniel B=FCnzli, Na=EBla Courant, Craig Ferguson, Wiktor Kucht= a,
  Xavier Leroy, Guillaume Munch-Maccagnoni, Rapha=EBl Proust, Ga= briel Scherer
  and Thierry Martinez)

## Documentation
- #10397: Document exceptions raised by Unix module functions on Windows<= br>  (Martin Jambon, review by Daniel B=FCnzli, David Alsopp, Damien D= oligez,
   Xavier Leroy, and Florian Angeletti)

- #1079= 4: Clarify warning 57 (Ambiguous or-pattern variables under guard)
 = ; (Wiktor Kuchta, review by Gabriel Scherer)

## Build system

= - #10828 Build native-code compilers on OpenBSD/aarch64
  (Christop= her Zimmermann)

- #10835 Disable DT_TEXTREL warnings on x86 32 bit a= rchitecture by passing
  -Wl,-z,notext in mksharedlib and mkmaindll= . Fixes relocation issues, reported
  in #9800, making local patche= s in Debian, Alpine, and FreeBSD superfluous.
  (Hannes Mehnert wit= h Kate Deplaix and St=E9phane Glondu, review by Xavier Leroy)

## Cod= e generation

- #10719: Ensure that build_apply respects Lambda.max_a= rity
  (Stephen Dolan, review by Xavier Leroy)

## Internal/c= ompiler-libs

+ #10718, +#11012: Add "Shape" information to the cmt = files. Shapes are an
  abstraction of modules that can be used by e= xternal tooling to perform
  definition-aware operations.
 = (Ulysse G=E9rard, Thomas Refis and Leo White, review by Florian Angeletti)=


--=_7640f253-75f4-43f1-accc-cbdee578c94e--