From: Florian Angeletti <email@example.com> To: firstname.lastname@example.org Subject: [Caml-list] OCaml 4.11.0, second alpha release Date: Thu, 4 Jun 2020 09:29:05 +0200 Message-ID: <email@example.com> (raw) In-Reply-To: <firstname.lastname@example.org> Dear OCaml users, 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: + #6673, #1132, +#9617: Relax the handling of explicit polymorphic types Fix an issue with recursive polymorphic function and constrained types. (Leo White, review by Jacques Garrigue and Gabriel Scherer) + #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) Entries marked with "+" were already present in previous alphas, but they have been complemented by new bug fixes. 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 <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+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 Happy hacking, Florian Angeletti for the OCaml team.
next prev parent 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 ` Florian Angeletti [this message] 2020-06-17 15:42 ` [Caml-list] OCaml 4.11.0, third " Florian Angeletti 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 \ --email@example.com \ --firstname.lastname@example.org \ --email@example.com \ /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