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 296715D5 for ; Fri, 10 Sep 2021 13:05:28 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.84,326,1620684000"; d="scan'208,217";a="527806915" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 10 Sep 2021 15:05:25 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 2CF7FE00C0; Fri, 10 Sep 2021 15:05:25 +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 F1EE1E0035 for ; Fri, 10 Sep 2021 15:05: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=6Q3ytKpQ+bu88QajuC2OYzIDpTvcM5Suy2jrajRW/EU=; b=HWr8OoiyS+3JEFfJUcmaUpyhsAj2lo5kiikYGUfmbL3dTyHK6zr5Dg4U +tviqQCanyVCh/XEitULyDrl7iElEoG3as7+ikrdRFqUyS45W6vq4ztX5 q0t5ik6GPysxXsQJC6kakCNcjLv4MAwj7SHj0LfIUs9WSi1+8hO9Z65yv k=; IronPort-HdrOrdr: =?us-ascii?q?A9a23=3A1VhqSqEE0yG/q03OpLqE68eALOsnbusQ8zAX?= =?us-ascii?q?PiFKOH5om6Oj/fxG8M536fawslgssRIb6LO90cu7Lk80nKQdieIs1PWZPTUO01?= =?us-ascii?q?HJEGgW1/qF/9SWIVyYygcy78tdmtBFebnN5A9B/KPH3DU=3D?= X-IronPort-AV: E=Sophos;i="5.84,326,1620684000"; d="scan'208,217";a="527806892" X-MGA-submission: =?us-ascii?q?MDFVgdZHQDTHJRnPjm7Lzfm6pXrqvbs0wtV+1u?= =?us-ascii?q?vfFtuh4NzFL4nOo2pBz5aXE2IpjkTZTwUA11YYmUVlimGzlmsZu2akGn?= =?us-ascii?q?uzr55Hn8K8qMb5thR+Sdw2njYf1MzbrlXCtCbrlgpyvhOMWrasxp/Lv9?= =?us-ascii?q?P7NuOOJN36HkGbp66RJCfzJw=3D=3D?= Received: from zcs-store1.inria.fr ([128.93.142.28]) by mail2-relais-roc.national.inria.fr with ESMTP; 10 Sep 2021 15:05:20 +0200 Date: Fri, 10 Sep 2021 15:05:20 +0200 (CEST) From: Florian Angeletti To: caml-list Message-ID: <623764070.13369101.1631279120562.JavaMail.zimbra@inria.fr> In-Reply-To: <86739189.4343121.1629915380274.JavaMail.zimbra@inria.fr> References: <646221067.24276589.1622831690277.JavaMail.zimbra@inria.fr> <699800193.58280357.1626682081811.JavaMail.zimbra@inria.fr> <86739189.4343121.1629915380274.JavaMail.zimbra@inria.fr> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="=_d5dcd6a1-70f5-44fc-aa96-36a7c3572b68" X-Originating-IP: [128.93.64.106] X-Mailer: Zimbra 8.8.15_GA_4125 (ZimbraWebClient - FF92 (Linux)/8.8.15_GA_4059) Thread-Topic: OCaml 4.13.0, first release candidate Thread-Index: WdDj6cltBMztmC+Zi/GYa/vrSanvEKPYb+umo6iWVlKtzB5nhg== Subject: [Caml-list] OCaml 4.13.0, first release candidate Reply-To: Florian Angeletti X-Loop: caml-list@inria.fr X-Sequence: 18565 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: --=_d5dcd6a1-70f5-44fc-aa96-36a7c3572b68 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 imminent.=20 As a last test that everything is in order, we are publishing a first relea= se=20 candidate for OCaml 4.13.0.=20 Compared to the last beta release, this release candidate includes one smal= l fix=20 for flambda, another for the compiler-libs, one regression fix when compili= ng C=20 files with ocamlc or ocamlopt, and a handful of configuration and build sys= tem=20 improvements (in particular on Windows). See the changelog below for more d= etails.=20 If you find any bugs, please report them here:=20 https://github.com/ocaml/ocaml/issues=20 The release of OCaml 4.13.0 is currently planned for mid-September.=20 (An assembler generation bug was discovered this morning, we might release= =20 another release candidate next week once this bug is fixed.)=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~rc1 --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.13.0~rc1+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. F= or instance, for a flambda and no-flat-float-array switch:=20 opam switch create 4.13.0~rc1+flambda+nffa --packages=3Docaml-variants.4.13= .0~rc1+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 beta release is also available at these addresses:= =20 https://github.com/ocaml/ocaml/archive/4.13.0-rc1.tar.gz=20 https://caml.inria.fr/pub/distrib/ocaml-4.13/ocaml-4.13.0~rc1.tar.gz=20 Changes since the first beta=20 ----------------------------=20 ## Bug fixes=20 - #10593: Fix untyping of patterns without named existential quantifiers. T= his=20 bug was only present in the beta version of OCaml 4.13.0.=20 (Ulysse G=E9rard, review by Florian Angeletti)=20 - #10603, #10611: Fix if condition marked as inconstant in flambda=20 (Vincent Laviron and Pierre Chambart, report by Marcello Seri)=20 ## Regression fix=20 + #9960, #10619(new in rc1): extend ocamlc/ocamlopt's -o option to work whe= n=20 compiling C files=20 (S=E9bastien Hinderer, reported by Daniel B=FCnzli, review by=20 Florian Angeletti and Gabriel Scherer)=20 ## Internal configuration and build system=20 - #10471: Fix detection of arm32 architectures with musl in configure.=20 (Louis Gesbert, review by David Allsopp)=20 - #10451: Replace the use of iconv with a C utility to convert $(LIBDIR) to= a=20 C string constant on Windows when building the runtime. Hardens the generat= ion=20 of the constant on Unix for paths with backslashes, double-quotes and=20 newlines.=20 (David Allsopp, review by Florian Angeletti and S=E9bastien Hinderer)=20 - #10511: Cygwin ports now correctly configure when flexdll is not availabl= e.=20 (David Allsopp, review by Florian Angeletti)=20 - #10584, #10856: Standard Library documentation build no longer fails if= =20 optional libraries have been disabled.=20 (David Allsopp, report by Yuri Victorovich review by Florian Angeletti)=20 ## Manual=20 - #10605: manual, name few css classes to ease styling and maintainability.= =20 (Florian Angeletti, review by Wiktor Kuchta and Gabriel Scherer)=20 --=_d5dcd6a1-70f5-44fc-aa96-36a7c3572b68 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 imminent.
As a last test that everything is in order, we ar= e publishing a first release
candidate for OCaml 4.13.0.

Compared= to the last beta release, this release candidate includes one small fixfor flambda, another for the compiler-libs, one regression fix when compil= ing C
files with ocamlc or ocamlopt, and a handful of configuration and = build system
improvements (in particular on Windows). See the changelog = below for more details.

If you find any bugs, please report them her= e:

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

The release o= f OCaml 4.13.0 is currently planned for mid-September.
(An assembler gen= eration bug was discovered this morning, we might release
another releas= e candidate next week once this bug is fixed.)

Happy hacking,
Flo= rian Angeletti for the OCaml team.

Installation instructions
----= ------------------------
The base compiler can be installed as an opam s= witch with the following commands

opam update
opam switch create = 4.13.0~rc1 --repositories=3Ddefault,beta=3Dgit+https://github.com/ocaml/oca= ml-beta-repository.git

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

opam updateopam switch create <switch_name> --packages=3Docaml-variants.4.13.0~= rc1+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-float-array switch:

opam switch create 4.13.0~r= c1+flambda+nffa --packages=3Docaml-variants.4.13.0~rc1+options,ocaml-option= -flambda,ocaml-option-no-flat-float-array --repositories=3Ddefault,beta=3Dg= it+https://github.com/ocaml/ocaml-beta-repository.git

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

The source co= de for the beta release is also available at these addresses:

 = https://github.com/ocaml/ocaml/archive/4.13.0-rc1.tar.gz
 https://c= aml.inria.fr/pub/distrib/ocaml-4.13/ocaml-4.13.0~rc1.tar.gz

Changes = since the first beta
----------------------------

## Bug fixes
- #10593: Fix untyping of patterns without named existential quantifie= rs. This
  bug was only present in the beta version of OCaml 4.13.0= .
  (Ulysse G=E9rard, review by Florian Angeletti)

- #10603,= #10611: Fix if condition marked as inconstant in flambda
  (Vincen= t Laviron and Pierre Chambart, report by Marcello Seri)

## Regressio= n fix

+ #9960, #10619(new in rc1): extend ocamlc/ocamlopt's -o optio= n to work when
  compiling C files
  (S=E9bastien Hinderer,= reported by Daniel B=FCnzli, review by
  Florian Angeletti and Gab= riel Scherer)

## Internal configuration and build system

- #1= 0471: Fix detection of arm32 architectures with musl in configure.
 = ; (Louis Gesbert, review by David Allsopp)

- #10451: Replace the use= of iconv with a C utility to convert $(LIBDIR) to a
  C string con= stant on Windows when building the runtime. Hardens the generation
 = ; of the constant on Unix for paths with backslashes, double-quotes and
=   newlines.
  (David Allsopp, review by Florian Angeletti and = S=E9bastien Hinderer)

- #10511: Cygwin ports now correctly configure= when flexdll is not available.
  (David Allsopp, review by Florian= Angeletti)

- #10584, #10856: Standard Library documentation build n= o longer fails if
  optional libraries have been disabled.
 = ; (David Allsopp, report by Yuri Victorovich review by Florian Angeletti)
## Manual

- #10605: manual, name few css classes to ease styli= ng and maintainability.
  (Florian Angeletti, review by Wiktor Kuch= ta and Gabriel Scherer)

--=_d5dcd6a1-70f5-44fc-aa96-36a7c3572b68--