Dear OCaml users,

We have the pleasu= re of celebrating the birthday of Grace Chisholm Young by announcing the re= lease of OCaml version 4.14.2.

This release is a collection of safe = bug fixes, cherry-picked from the OCaml 5 branch.
If you are still using= OCaml 4.14 and cannot yet upgrade to OCaml 5, this release is for you.
= In particular, this release contains several fixes for issues with newer op= erating system configurations.

The OCaml 4.14 branch is expected to = receive updates for at least one year, while the OCaml 5 branch is stabilis= ing.

Thus don't hesitate to report any bugs on the OCaml issue track= er (at https://github.com/ocaml/ocaml/issues).

See the list of chang= es below for more details.

Happy hacking,

-- Florian Angelett= i for the OCaml team.

Installation Instructions
-------------= -----------------

The base compiler can be installed as an opam swit= ch with the following commands:

opam update
&n= bsp; opam switch create 4.14.2

The source code fo= r the release candidate is also directly available on:

* GitHub: htt= ps://github.com/ocaml/ocaml/archive/4.14.2.tar.gz
* Inria archive: https= ://caml.inria.fr/pub/distrib/ocaml-4.14/ocaml-4.14.2.tar.gz

Chan= ges since OCaml 4.14.1
---------------------------------------

##= # Runtime system:

- [#11764](https://github.com/ocaml/ocaml/issues/1= 1764), [#12577](https://github.com/ocaml/ocaml/issues/12577): Add prototype= s to old-style C function definitions
   and declarations.
= (Antonin D=E9cimo, review by Xavier Leroy and Nick Barnes)

- = [#11763](https://github.com/ocaml/ocaml/issues/11763), [#11759](https://git= hub.com/ocaml/ocaml/issues/11759), [#11861](https://github.com/ocaml/ocaml/= issues/11861), [#12509](https://github.com/ocaml/ocaml/issues/12509), [#125= 77](https://github.com/ocaml/ocaml/issues/12577): Use strict prototypes on = primitives.
(Antonin D=E9cimo, review by Xavier Leroy, David Alls= opp, S=E9bastien
   Hinderer and Nick Barnes)

* (*break= ing change*) [#10723](https://github.com/ocaml/ocaml/issues/10723): do not = use `-flat-namespace` linking for macOS.
(Carlo Cabrera, review b= y Damien Doligez)

- [#11332](https://github.com/ocaml/ocaml/issues/1= 1332), [#12702](https://github.com/ocaml/ocaml/issues/12702): make sure `Bo= ol_val(v)` has type `bool` in C++
(Xavier Leroy, report by ygrek,= review by Gabriel Scherer)

### Build system:

- [#11590](http= s://github.com/ocaml/ocaml/issues/11590): Allow installing to a destination= path containing spaces.
(=C9lie Brami, review by S=E9bastien Hin= derer and David Allsopp)

- [#12372](https://github.com/ocaml/ocaml/i= ssues/12372): Pass option -no-execute-only to the linker for OpenBSD >= =3D 7.3
so that code sections remain readable, as needed for clos= ure marshaling.
(Xavier Leroy and Anil Madhavapeddy, review by An= il Madhavapeddy and
S=E9bastien Hinderer)

- [#12903](https= ://github.com/ocaml/ocaml/issues/12903): Disable control flow integrity on = OpenBSD >=3D 7.4 to avoid
illegal instruction errors on certai= n CPUs.
(Michael Hendricks, review by Miod Vallat)

### Bug= fixes:

- [#12061](https://github.com/ocaml/ocaml/issues/12061), [#1= 2063](https://github.com/ocaml/ocaml/issues/12063): don't add inconsistent = equalities when computing
high-level error messages for functor a= pplications and inclusions.
(Florian Angeletti, review by Gabriel= Scherer)

- [#12878](https://github.com/ocaml/ocaml/issues/12878): f= ix incorrect treatment of injectivity for private recursive types.
= ; (Jeremy Yallop, review by Gabriel Scherer and Jacques Garrigue)

- = [#12971](https://github.com/ocaml/ocaml/issues/12971), [#12974](https://git= hub.com/ocaml/ocaml/issues/12974): fix an uncaught Ctype.Escape exception o= n some
invalid programs forming recursive types.
(Gabri= el Scherer, review by Florian Angeletti, report by Neven Villani)

- = [#12264](https://github.com/ocaml/ocaml/issues/12264), [#12289](https://git= hub.com/ocaml/ocaml/issues/12289): Fix compact_allocate to avoid a patholog= ical case
that causes very slow compaction.
(Damien Dol= igez, report by Arseniy Alekseyev, review by Sadiq Jaffer)

- [#12513= ](https://github.com/ocaml/ocaml/issues/12513), [#12518](https://github.com= /ocaml/ocaml/issues/12518): Automatically enable emulated `fma` for Visual = Studio 2019+
to allow configuration with either pre-Haswell/pre-P= iledriver CPUs or running
in VirtualBox. Restores parity with the= other Windows ports, which don't
require explicit `--enable-impr= ecise-c99-float-ops`.
(David Allsopp, report by Jonah Beckford an= d Kate Deplaix, review by
   S=E9bastien Hinderer)

- [#= 11633](https://github.com/ocaml/ocaml/issues/11633), [#11636](https://githu= b.com/ocaml/ocaml/issues/11636): bugfix in caml_unregister_frametable
&n= bsp; (Fr=E9d=E9ric Recoules, review by Gabriel Scherer)

- [#12636](h= ttps://github.com/ocaml/ocaml/issues/12636), [#12646](https://github.com/oc= aml/ocaml/issues/12646): More prudent reinitialization of I/O mutexes after= a fork()
(Xavier Leroy, report by Zach Baylin, review by Enguerr= and Decorne)

* (*breaking change*) [#10845](https://github.com/ocaml= /ocaml/issues/10845) Emit frametable size on amd64 BSD (OpenBSD, FreeBSD, N= etBSD) systems
(emitted for Linux in [#8805](https://github.com/o= caml/ocaml/issues/8805))
(Hannes Mehnert, review by Nicol=E1s Oje= da B=E4r)

- [#12958](https://github.com/ocaml/ocaml/issues/12958): F= ix tail-modulo-cons compilation of try-with, && and ||
ex= pressions.
(Gabriel Scherer and Nicol=E1s Ojeda B=E4r, report by = Sylvain Boilard, review by
Gabriel Scherer)

- [#12116](htt= ps://github.com/ocaml/ocaml/issues/12116), [#12993](https://github.com/ocam= l/ocaml/issues/12993): explicitly build non PIE executables on x86 32bits architectures
(Florian Angeletti, review by David Allsop= p)

- [#13018](https://github.com/ocaml/ocaml/issues/13018): Don't pa= ss duplicate libraries to the linker when compiling ocamlc.opt
an= d when using systhreads (new versions of lld emit a warning).
(Da= vid Allsopp, review by Nicol=E1s Ojeda B=E4r)

<= /div>

--=_c540184b-5489-49fd-a7f4-e74dd50800be--