caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Florian Angeletti <>
To: caml-list <>
Subject: [Caml-list] OCaml 4.14.0, second release candidate
Date: Thu, 17 Mar 2022 14:49:22 +0100 (CET)	[thread overview]
Message-ID: <> (raw)
In-Reply-To: <>

[-- Attachment #1: Type: text/plain, Size: 3272 bytes --]

Dear OCaml users, 

The release of OCaml 4.14.0 is imminent. 
As a last test that everything is in order, we are publishing a second release 
candidate for OCaml 4.14.0. 

We are directly jumping to the second release candidate due to a 
type system regression discovered during the release of the first release 

Compared to the last beta, this release candidate includes a regression fix when 
typing recursive constraints, two backend fixes (one for the frame-pointer mode 
and the other one for the RISC-V architecture), one configuration fix 
for musl/arm64, and the manual chapter for the TMC transformation. 

If you find any bugs, please report them here: 

The release of OCaml 4.14.0 is currently planned for next week. 

Happy hacking, 
Florian Angeletti for the OCaml team. 

Installation instructions 
The base compiler can be installed as an opam switch with the following commands 

opam update 
opam switch create 4.14.0~rc2 --repositories=default,beta=git+ 

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

opam update 
opam switch create <switch_name> --packages=ocaml-variants.4.14.0~rc2+options,<option_list> --repositories=default,beta=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.14.0~rc2+flambda+nffa --packages=ocaml-variants.4.14.0~rc2+options,ocaml-option-flambda,ocaml-option-no-flat-float-array --repositories=default,beta=git+ 

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

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

Changes since the last beta 

### Type system regression fix 

- #11101, #11109: A recursive type constraint fails on 4.14 
(Jacques Garrigue, report and review by Florian Angeletti) 

### Backend fixes 

- #10688: Move frame descriptor table from `rodata` to `data` section on 
RISC-V. Improves support for building DLLs and PIEs. In particular, this 
applies to all binaries in distributions that build PIEs by default (eg 
Gentoo and Alpine). 
(Alex Fan, review by Gabriel Scherer) 

- #11031: Exception handlers restore the rbp register when using frame-pointers 
on amd64. 
(Fabrice Buoro, with help from Stephen Dolan, Tom Kelly and Mark Shinwell, 
review by Xavier Leroy) 

### Configuration fix 

- #11025, #11036: Do not pass -no-pie to the C compiler on musl/arm64 
(omni, Kate Deplaix and Antonio Nuno Monteiro, review by Xavier Leroy) 

### Documentation 

+ #181, #9760, +#10740: opt-in tail-modulo-cons (TMC) transformation 
let[@tail_mod_cons] rec map f li = ... 
(Frédéric Bour, Gabriel Scherer, Basile Clément, 
review by Basile Clément and Pierre Chambart, 
tested by Konstantin Romanov) 

[-- Attachment #2: Type: text/html, Size: 3719 bytes --]

      reply	other threads:[~2022-03-17 13:49 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2022-01-21  9:01 [Caml-list] OCaml 4.14.0, first alpha release Florian Angeletti
2022-02-09  9:06 ` [Caml-list] OCaml 4.14.0, second " Florian Angeletti
2022-02-22  8:52   ` [Caml-list] OCaml 4.14.0, first beta release Florian Angeletti
2022-03-17 13:49     ` Florian Angeletti [this message]

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \ \ \ \
    --subject='Re: [Caml-list] OCaml 4.14.0, second release candidate' \

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).