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 2B3CB5D5 for ; Wed, 27 Jan 2021 07:47:34 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.79,378,1602540000"; d="scan'208,217";a="489298869" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 27 Jan 2021 08:47:32 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id EB0C4E0129; Wed, 27 Jan 2021 08:47:32 +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 8ECE9E0031 for ; Wed, 27 Jan 2021 08:47:29 +0100 (CET) X-IronPort-AV: E=Sophos;i="5.79,378,1602540000"; d="scan'208,217";a="489298851" X-MGA-submission: =?us-ascii?q?MDE38L0oeNViLUvqrryugXq6R+7VJ6pyo7zdQ9?= =?us-ascii?q?HNWOKnhzFhw52Wrl7R5v6NJq0RTt1JKei2r1KxLbbh36Yjv3ViBe/ZZ3?= =?us-ascii?q?Dz1uZiZS/4I7wb8YJ4C9JJqGAAbi8A1vvRI7Yy9QKANJaKUSNRwHR2DH?= =?us-ascii?q?40l7+LWAfvH4BXSSW6fQ12gQ=3D=3D?= Received: from zcs-store1.inria.fr ([128.93.142.28]) by mail2-relais-roc.national.inria.fr with ESMTP; 27 Jan 2021 08:47:29 +0100 Date: Wed, 27 Jan 2021 08:47:29 +0100 (CET) From: Florian Angeletti To: caml-list Message-ID: <1736986645.18691437.1611733649413.JavaMail.zimbra@inria.fr> In-Reply-To: <863574513.4248077.1610697552470.JavaMail.zimbra@inria.fr> References: <863574513.4248077.1610697552470.JavaMail.zimbra@inria.fr> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="=_29bed4ac-750f-42c3-be7a-1cd1be49fa8d" X-Originating-IP: [92.163.89.72] X-Mailer: Zimbra 8.8.15_GA_3991 (ZimbraWebClient - FF84 (Linux)/8.8.15_GA_3980) Thread-Topic: OCaml 4.12.0, second beta release Thread-Index: 5HXmXHyNsh+S7D2Crq7n/UxNjnimuHOzp0w5 Subject: [Caml-list] OCaml 4.12.0, second beta release Reply-To: Florian Angeletti X-Loop: caml-list@inria.fr X-Sequence: 18389 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: --=_29bed4ac-750f-42c3-be7a-1cd1be49fa8d Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Dear OCaml users,=20 The release of OCaml 4.12.0 is on the horizon. We have created a new beta= =20 version to help you adapt your software to the new features ahead of the re= lease.=20 Compared to the first beta release, this new release contains one fix for t= he=20 Thread library (for a race condition on Windows), and experimentally re-ena= bles=20 building the compiler on illumos and Oracle Solaris.=20 We are expecting this beta to be the last one before the release.=20 If you find any bugs, please report them here:=20 https://github.com/ocaml/ocaml/issues=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.12.0~beta2 --repositories=3Ddefault,beta=3Dgit+https:/= /github.com/ocaml/ocaml-beta-repository.git=20 If you want to tweak the configuration of the compiler, you can pick config= uration options with=20 opam update=20 opam switch create --packages=3Docaml-variants.4.12.0~beta2+o= ptions, --repositories=3Ddefault,beta=3Dgit+https://github.com= /ocaml/ocaml-beta-repository.git=20 where is a comma separated list of ocaml-option-* packages. F= or=20 instance, for a flambda and afl enabled switch:=20 opam switch create 4.12.0~beta2+flambda+afl --packages=3Docaml-variants.4.1= 2.0~beta2+options,ocaml-option-flambda,ocaml-option-afl --repositories=3Dde= fault,beta=3Dgit+https://github.com/ocaml/ocaml-beta-repository.git=20 All available options can be listed with "opam search ocaml-option".=20 The source code is available at these addresses:=20 https://github.com/ocaml/ocaml/archive/4.12.0-beta2.tar.gz=20 https://caml.inria.fr/pub/distrib/ocaml-4.12/ocaml-4.12.0~beta2.tar.gz=20 If you want to test this version, you may want to install the alpha opam re= pository=20 https://github.com/kit-ty-kate/opam-alpha-repository=20 with=20 opam repo add alpha git://github.com/kit-ty-kate/opam-alpha-repository.git= =20 This alpha repository contains various packages patched with fixes in the= =20 process of being upstreamed. Once the repository installed, these patched= =20 packages will take precedence over the non-patched version.=20 Changes from the first beta=20 -------------------------------------=20 ### Thread library=20 +* #9757, #9846, +#10161: check proper ownership when operating over mutexe= s.=20 Now, unlocking a mutex held by another thread or not locked at all=20 reliably raises a Sys_error exception. Before, it was undefined=20 behavior, but the documentation did not say so.=20 Likewise, locking a mutex already locked by the current thread=20 reliably raises a Sys_error exception. Before, it could=20 deadlock or succeed (and do recursive locking), depending on the OS.=20 (Xavier Leroy, report by Guillaume Munch-Maccagnoni, review by=20 Guillaume Munch-Maccagnoni, David Allsopp, and Stephen Dolan)=20 ### Build system=20 - #10063: (Re-)enable building on illumos (SmartOS, OmniOS, ...) and=20 Oracle Solaris; x86_64/GCC and 64-bit SPARC/Sun PRO C compilers.=20 (partially revert #2024).=20 (T=C3=B5ivo Leedj=C3=A4rv and Konstantin Romanov,=20 review by Gabriel Scherer, S=C3=A9bastien Hinderer and Xavier Leroy)=20 ### Documentation=20 - #9755: Manual: post-processing the html generated by ocamldoc and=20 hevea. Improvements on design and navigation, including a mobile=20 version, and a quick-search functionality for the API.=20 (San V=C5=A9 Ng=E1=BB=8Dc, review by David Allsopp and Florian Angeletti)= =20 - #10142, #10154: improved rendering and latex code for toplevel code examp= les.=20 (Florian Angeletti, report by John Whitington, review by Gabriel Scherer)= =20 --=_29bed4ac-750f-42c3-be7a-1cd1be49fa8d Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: quoted-printable
Dear OCaml users,

The release of OCa= ml 4.12.0 is on the horizon. We have created a new beta
version to help = you adapt your software to the new features ahead of the release.

Co= mpared to the first beta release, this new release contains one fix for the=
Thread library (for a race condition on Windows), and experimentally re= -enables
building the compiler on illumos and Oracle Solaris.=

We are expecting this beta to be the last one before the release.
If you find any bugs, please report them here:
 https://githu= b.com/ocaml/ocaml/issues

Happy hacking,

-- Florian Angeletti = for the OCaml team.


Installation instructions
---------------= -----------------

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

opam update
opam switch create 4.1= 2.0~beta2 --repositories=3Ddefault,beta=3Dgit+https://github.com/ocaml/ocam= l-beta-repository.git

If you want to tweak the configuration of the = compiler, you can pick configuration options with

opam update
opa= m switch create <switch_name> --packages=3Docaml-variants.4.12.0~beta= 2+options,<option_list> --repositories=3Ddefault,beta=3Dgit+https://g= ithub.com/ocaml/ocaml-beta-repository.git

where <option_list> = is a comma separated list of ocaml-option-* packages. For
instance, for = a flambda and afl enabled switch:

opam switch create 4.12.0~beta2+fl= ambda+afl --packages=3Docaml-variants.4.12.0~beta2+options,ocaml-option-fla= mbda,ocaml-option-afl --repositories=3Ddefault,beta=3Dgit+https://github.co= m/ocaml/ocaml-beta-repository.git

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

The source code is available at t= hese addresses:

 https://github.com/ocaml/ocaml/archive/4.12.0-= beta2.tar.gz
 https://caml.inria.fr/pub/distrib/ocaml-4.12/ocaml-4.= 12.0~beta2.tar.gz

If you want to test this version, you may want to = install the alpha opam repository

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

with

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

This alpha repository contains= various packages patched with fixes in the
process of being upstreamed.= Once the repository installed, these patched
packages will take precede= nce over the non-patched version.


Changes from the first beta-------------------------------------

### Thread library

+* = #9757, #9846, +#10161: check proper ownership when operating over mutexes.<= br>  Now, unlocking a mutex held by another thread or not locked at al= l
  reliably raises a Sys_error exception.  Before, it was und= efined
  behavior, but the documentation did not say so.
  = Likewise, locking a mutex already locked by the current thread
  re= liably raises a Sys_error exception.  Before, it could
  deadl= ock or succeed (and do recursive locking), depending on the OS.
  (= Xavier Leroy, report by Guillaume Munch-Maccagnoni, review by
  Gui= llaume Munch-Maccagnoni, David Allsopp, and Stephen Dolan)

### Build= system

- #10063: (Re-)enable building on illumos (SmartOS, OmniOS, = ...) and
  Oracle Solaris; x86_64/GCC and 64-bit SPARC/Sun PRO C co= mpilers.
  (partially revert #2024).
  (T=C3=B5ivo Leedj=C3= =A4rv and Konstantin Romanov,
   review by Gabriel Scherer, S= =C3=A9bastien Hinderer and Xavier Leroy)


### Documentation
- #9755: Manual: post-processing the html generated by ocamldoc and
&n= bsp;  hevea. Improvements on design and navigation, including a mobile=
   version, and a quick-search functionality for the API.
=    (San V=C5=A9 Ng=E1=BB=8Dc, review by David Allsopp and Florian= Angeletti)

- #10142, #10154: improved rendering and latex code for = toplevel code examples.
  (Florian Angeletti, report by John Whitin= gton, review by Gabriel Scherer)

--=_29bed4ac-750f-42c3-be7a-1cd1be49fa8d--