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:
[new feature] 9440: Add RISC-V RV64G native-code backend.
(Nicolás Ojeda Bär, review by Xavier Leroy and Gabriel Scherer)
[additional fixes] 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
The new API no longer gives the block tags to the allocation callback.
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
(Florian Angeletti, review by Josh Berdine)
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
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:
If you find any bugs, please report them here: