OCaml 4.11.0, second alpha release

A new alpha version of OCaml 4.11.0 has been published.
Compared to the first alpha version, this version contains the following new bug
fixes:

  • [additional fixes] 6673, 1132, +9617: Relax the handling of explicit polymorphic types
    (Leo White, review by Jacques Garrigue and Gabriel Scherer)

  • [additional fixes] 7364, 2188, +9592, +9609: improvement of the unboxability check for types
    with a single constructor. Mutually-recursive type declarations can
    now contain unboxed types. This is based on the paper
    https://arxiv.org/abs/1811.02300

  • 7817, 9546: Unsound inclusion check for polymorphic variant
    (Jacques Garrigue, report by Mikhail Mandrykin, review by Gabriel Scherer)

  • 9549, 9557: Make -flarge-toc the default for PowerPC and introduce
    -fsmall-toc to enable the previous behaviour.
    (David Allsopp, report by Nathaniel Wesley Filardo, review by Xavier Leroy)

  • 9320, 9550: under Windows, make sure that the Unix.exec* functions
    properly quote their argument lists.
    (Xavier Leroy, report by André Maroneze, review by Nicolás Ojeda Bär
    and David Allsopp)

  • 9490, 9505: ensure proper rounding of file times returned by
    Unix.stat, Unix.lstat, Unix.fstat.
    (Xavier Leroy and Guillaume Melquiond, report by David Brown,
    review by Gabriel Scherer and David Allsopp)

  • 8676, 9594: turn debugger off in programs launched by the program
    being debugged
    (Xavier Leroy, report by Michael Soegtrop, review by Gabriel Scherer)

  • 9552: restore ocamloptp build and installation
    (Florian Angeletti, review by David Allsopp and Xavier Leroy)

  • 7708, 9580: Ensure Stdlib documentation index refers to Stdlib.
    (Stephen Dolan, review by Florian Angeletti, report by Hannes Mehnert)

  • 9189, 9281: fix a conflict with Gentoo build system
    by removing an one-letter Makefile variable.
    (Florian Angeletti, report by Ralph Seichter, review by David Allsopp
    and Damien Doligez)

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

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

or

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

where 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+alpha2.tar.gz
https://caml.inria.fr/pub/distrib/ocaml-4.11/ocaml-4.11.0+alpha2.tar.gz

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

3 Likes

Can I see the OCaml manual updated till 4.11 alpha-2 anywhere on the web?

I’d like to see the “latest and greatest” documentation if possible when test driving 4.11 alpha-2.

It would be great to be able to see an “in-progress” build of the manual here: https://caml.inria.fr/pub/docs/ . The latest available seems to 4.10 currently only.

I know that Haskell does this. See for instance http://downloads.haskell.org/~ghc/ and you will be able to see manuals for alpha releases also (click on docs folder link after clicking on any of the Haskell versions you’re interested in at the above link).

1 Like

I have yet to take the time to publish the manual, but I will do so in the next release.

1 Like