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 CDA385D5 for ; Wed, 15 Jun 2022 08:22:43 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=date:from:to:message-id:mime-version:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=alzlougmzTNxShuJ+xq8oauvzqQ1UHwhy8eoNvpcOjw=; b=QHC3sf9fVaQ2Gbph5iExbBdK08MWRo1wFsxOycuDFmQ6ESWJM5kc7ydL fr53ncB2dTJzG3lOH39e1RM/aAzoiruGobYOVK1mIOJtU9+8mgj6+3mMy U6H5gZRhJ+6m70ioS/UQicAI0BwZm/dVS++Tcx/E3G49VuowX2smUahJL s=; 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.91,300,1647298800"; d="scan'208,217";a="41104755" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 15 Jun 2022 10:22:42 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id D2F92E0269; Wed, 15 Jun 2022 10:22:42 +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 147F5E0038 for ; Wed, 15 Jun 2022 10:22:40 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=date:from:to:message-id:subject:mime-version; bh=alzlougmzTNxShuJ+xq8oauvzqQ1UHwhy8eoNvpcOjw=; b=ps01FB3p5QaZd4xklt+T+ZrIP09D91MRXBo2r5jCC5Stq4Ac1fqgNJ+a airC1e27mivlk95Rij1g8Ov0sBjAfwncJR8qnHjPC/jO9uzQEEfpP1BTF O7smRHSGMMOxyxlQhI6V+MYhsL58D76j417TRZmaA1bsSN0/XKRYs0DMl Q=; X-IronPort-AV: E=Sophos;i="5.91,300,1647298800"; d="scan'208,217";a="41104732" X-MGA-submission: =?us-ascii?q?MDEcnbAt07xFFP4SRWraBnXDqxz9yKrxKIpe8m?= =?us-ascii?q?1L0UvwWe1e3qku5+3mK1lqsSP+u7zQ5XNKgTzOdEqz94nMKC3zRCeYyU?= =?us-ascii?q?HEA+4xlrbx5Noy8fV0WjXJ/P9dhz5puNHDvFAnFKwDjMkVgw6kyNwA/u?= =?us-ascii?q?/3vFhVli9KPc2IDPrwTbrxLA=3D=3D?= Received: from zcs-store1.inria.fr ([128.93.142.28]) by mail2-relais-roc.national.inria.fr with ESMTP; 15 Jun 2022 10:22:40 +0200 Date: Wed, 15 Jun 2022 10:22:39 +0200 (CEST) From: Florian Angeletti To: caml-list Message-ID: <1886863657.25388002.1655281359972.JavaMail.zimbra@inria.fr> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="=_1772f82e-6444-49bd-b75a-90e6ac9b2ecb" X-Originating-IP: [128.93.64.106] X-Mailer: Zimbra 8.8.15_GA_4272 (ZimbraWebClient - FF100 (Linux)/8.8.15_GA_4257) Thread-Index: jLKrfdjaqK0BbDOgGVygpcmMW7ADzA== Thread-Topic: OCaml 5.0, zeroth alpha release Subject: [Caml-list] OCaml 5.0, zeroth alpha release Reply-To: Florian Angeletti X-Loop: caml-list@inria.fr X-Sequence: 18796 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: --=_1772f82e-6444-49bd-b75a-90e6ac9b2ecb Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Dear OCaml users, Five months after the initial merge of the multicore branch into the mainline OCaml and three months after the release of OCaml 4.14.0, OCaml 5.0.0 is starting to take shape. I am thus happy to announce an exceptional zeroth alpha release of OCaml 5.0.0 (see below for the installation instructions). This alpha release is expected to be rougher than an usual alpha release, due to the full rewrite of the OCaml runtime. In particular, the bytecode debugger will only be available in the next alpha release. Similarly, there will be some changes to the internal C runtime API and to the files installed by the compiler package in the next alpha release. Moreover, this zeroth alpha release is the occasion to remind everyone that OCaml 5.0 itself is expected to be a more experimental release than usual. Notably, the native compiler will only be available on the ARM64 and x86-64 architectures in this 5.0 release. Nevertheless, this zeroth alpha version is already stable enough for fellow hackers eager to join us in our early bug hunting and opam ecosystem fixing fun, or to venture in the new era of parallelism and (experimental) effects. You can follow the progresses in stabilising the opam ecosystem on https://github.com/ocaml/opam-repository/issues/21526 A brief summary is that at least dune, merlin, ppxlib, utop, ocamlfind, and ocamlbuild work (potentially by using patches from the alpha opam repository). If you find any bugs, please report them here: https://github.com/ocaml/ocaml/issues In particular, any sequential OCaml 4 library or program should be valid in OCaml 5 (except for deprecated modules and functions). Please don't hesitate to report any forward-compatibility bugs! If you are interested by the ongoing list of bug fixes, the updated change log for OCaml 5.0.0 is available at: https://github.com/ocaml/ocaml/blob/5.0/Changes Happy hacking, Florian Angeletti for the OCaml team. Installation instructions ------------------------- The base compiler can be installed as an opam switch with the following commands on opam 2.1: opam update opam switch create 5.0.0~alpha0 For previous version of opam, the switch creation command line is slightly more verbose: opam update opam switch create 5.0.0~alpha0 --repositories=default,beta=git+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 ocaml-variants.5.0.0~alpha0+options where is a comma separated list of ocaml-option-* packages. For instance, for a flambda and no-flat-float-array switch: opam switch create 5.0.0~alpha0+flambda+nffa ocaml-variants.5.0.0~alpha0+options ocaml-option-flambda ocaml-option-no-flat-float-array The command line above is slightly more complicated for an opam version anterior to opam 2.1: opam update opam switch create --packages=ocaml-variants.5.0.0~alpha0+options, --repositories=default,beta=git+https://github.com/ocaml/ocaml-beta-repository.git In both cases, all available options can be listed with "opam search ocaml-option". If you want to test this version, it is strongly advised to install the alpha opam repository https://github.com/kit-ty-kate/opam-alpha-repository with opam repo add alpha git://github.com/kit-ty-kate/opam-alpha-repository.git This alpha repository contains various fixes in the process of being upstreamed. The source code for the alpha is also available at these addresses: https://github.com/ocaml/ocaml/archive/5.0.0-alpha0.tar.gz https://caml.inria.fr/pub/distrib/ocaml-5.0/ocaml-5.0.0~alpha0.tar.gz --=_1772f82e-6444-49bd-b75a-90e6ac9b2ecb Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
Dear OCaml users,

Five months after = the initial merge of the multicore branch into the mainline
OCaml and th= ree months after the release of OCaml 4.14.0, OCaml 5.0.0 is
starting to= take shape.

I am thus happy to announce an exceptional zeroth alpha= release of
OCaml 5.0.0 (see below for the installation instructions).
This alpha release is expected to be rougher than an usual alpha rele= ase,
due to the full rewrite of the OCaml runtime. In particular, the by= tecode
debugger will only be available in the next alpha release.= Similarly, there
will be some changes to the internal C runtime = API and to the files installed
by the compiler package in the nex= t alpha release.

Moreover, this zeroth alpha release is the occasion= to remind everyone that
OCaml 5.0 itself is expected to be a more exper= imental release than usual.
Notably, the native compiler will only be av= ailable on the ARM64 and
x86-64 architectures in this 5.0 release.
Nevertheless, this zeroth alpha version is already stable enough for fell= ow
hackers eager to join us in our early bug hunting and opam ecosystem = fixing fun,
or to venture in the new era of parallelism and (experimenta= l) effects.

You can follow the progresses in stabilising the opam ec= osystem on

  https://github.com/ocaml/opam-repository/issues/21= 526

A brief summary is that at least dune, merlin, ppxlib, utop, oca= mlfind,
and ocamlbuild work (potentially by using patches from th= e
alpha opam repository).

If you find any bugs, please rep= ort them here:

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

I= n particular, any sequential OCaml 4 library or program should be valid in<= br>OCaml 5 (except for deprecated modules and functions). Please don't hesi= tate
to report any forward-compatibility bugs!

If you are interes= ted by the ongoing list of bug fixes, the
updated change log for OCaml 5= .0.0 is available at:

  https://github.com/ocaml/ocaml/blob/5.0= /Changes

Happy hacking,
Florian Angeletti for the OCaml team.
=
Installation instructions
-------------------------
The base comp= iler can be installed as an opam switch with the following commands
on o= pam 2.1:

opam update
opam switch create 5.0.0~alpha0

For p= revious version of opam, the switch creation command line is slightly more = verbose:

opam update
opam switch create 5.0.0~alpha0 --repositori= es=3Ddefault,beta=3Dgit+https://github.com/ocaml/ocaml-beta-repository.git<= br>
If you want to tweak the configuration of the compiler, you can swit= ch to the option variant with:

opam update
opam switch create <= ;switch_name> ocaml-variants.5.0.0~alpha0+options <option_list>
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 5.0.0~alpha0+flambda+nffa ocaml-variants.5.0.0~alpha0+= options ocaml-option-flambda ocaml-option-no-flat-float-array

The co= mmand line above is slightly more complicated for an opam version anterior = to opam 2.1:

opam update
opam switch create <switch_name> -= -packages=3Docaml-variants.5.0.0~alpha0+options,<option_list> --repos= itories=3Ddefault,beta=3Dgit+https://github.com/ocaml/ocaml-beta-repository= .git

In both cases, all available options can be listed with
"opa= m search ocaml-option".

If you want to test this version, it is stro= ngly advised to install the alpha
opam repository

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

with

opam repo add alph= a git://github.com/kit-ty-kate/opam-alpha-repository.git

This alpha = repository contains various fixes in the process of being upstreamed.
The source code for the alpha is also available at these addresses:
 https://github.com/ocaml/ocaml/archive/5.0.0-alpha0.tar.gz
 = ;https://caml.inria.fr/pub/distrib/ocaml-5.0/ocaml-5.0.0~alpha0.tar.gz
<= br data-mce-bogus=3D"1">
--=_1772f82e-6444-49bd-b75a-90e6ac9b2ecb--