caml-list - the Caml user's mailing list
 help / Atom feed
From: Florian Angeletti <florian.angeletti@inria.fr>
To: caml-list@inria.fr
Subject: [Caml-list] OCaml 4.11.0, third alpha release
Date: Wed, 17 Jun 2020 17:42:34 +0200
Message-ID: <800d1d00-1fb8-1485-3022-c581753b3fba@inria.fr> (raw)
In-Reply-To: <c0c703ab-5aff-1d04-9492-682d60b19653@inria.fr>

Dear OCaml users,

A new alpha version of OCaml 4.11.0 has been published.

Exceptionally, this third alpha release integrates a new exciting feature:
a native-code backend for RISC-V.
Since this new backend cannot affect negatively other architecture, the 
feature
has been backported to the 4.11 branch.

Beyond this important change, the full change list compared to the 
second alpha
is rather small:


! #9440: Add RISC-V RV64G native-code backend.
   (Nicolás Ojeda Bär, review by Xavier Leroy and Gabriel Scherer)

+ #8920, #9238, #9239, #9254, #9458: New API for statistical memory 
profiling
   in Memprof.Gc. The new version does no longer use ephemerons and allows
    registering callbacks for promotion and deallocation of memory
    blocks.
    The new API no longer gives the block tags to the allocation callback.

- #7520, #9547: Odd behaviour of refutation cases with polymorphic variants
   (Jacques Garrigue, report by Leo White, reviews by Gabriel Scherer 
and Leo)

- #7741, #9645: Failure to report escaping type variable
   (Jacques Garrigue, report by Gabriel Radanne, review by Gabriel Scherer)

- #9623, #9642: fix typing environments in Typedecl.transl_with_constraint
   (Gabriel Scherer, review by Jacques Garrigue and Leo White,
    report by Hugo Heuzard)

- #9610: manual, C FFI: naked pointers are deprecated, detail the
   forward-compatible options for handling out-of-heap pointers.
   (Xavier Leroy, review by Mark Shinwell, David Allsopp and Florian 
Angeletti)

- #9618: clarify the Format documentation on the margin and maximum 
indentation
   limit
   (Florian Angeletti, review by Josh Berdine)


Entries marked with "+" were already present in previous alphas, but
they have been complemented by new bug fixes.
We are expecting this third alpha release to be the last alpha release.

The compiler can be installed as an OPAM switch with one of the 
following commands

opam switch create ocaml-variants.4.11.0+alpha3 
--repositories=default,beta=git+https://github.com/ocaml/ocaml-beta-repository.git

or

opam switch create ocaml-variants.4.11.0+alpha3+<VARIANT> 
--repositories=default,beta=git+https://github.com/ocaml/ocaml-beta-repository.git

where <VARIANT> is replaced with one of these: afl, flambda, fp, fp+flambda

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

  https://github.com/ocaml/ocaml/archive/4.11.0+alpha3.tar.gz
  https://caml.inria.fr/pub/distrib/ocaml-4.11/ocaml-4.11.0+alpha3.tar.gz

If you find any bugs, please report them here:
  https://github.com/ocaml/ocaml/issues


Happy hacking,
Florian Angeletti for the OCaml team.


  reply index

Thread overview: 9+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2020-05-06 13:17 [Caml-list] OCaml 4.11.0, first " Florian Angeletti
2020-06-04  7:29 ` [Caml-list] OCaml 4.11.0, second " Florian Angeletti
2020-06-17 15:42   ` Florian Angeletti [this message]
2020-06-18  1:53     ` [Caml-list] 300$ Bounty for the feature compilation cache in opam Francois Berenger
2020-06-18  9:00       ` Fabrice Le Fessant
2020-06-18  9:10         ` Louis Roché
2020-06-18  9:23           ` Gabriel Scherer
2020-06-18 11:18           ` Muriel SHAN SEI FAN
2020-06-29 15:25     ` [Caml-list] OCaml 4.11.0, first beta release Florian Angeletti

Reply instructions:

You may reply publically 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:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

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

  git send-email \
    --in-reply-to=800d1d00-1fb8-1485-3022-c581753b3fba@inria.fr \
    --to=florian.angeletti@inria.fr \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

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

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox