* [Caml-list] OCaml 4.13.0, first alpha release @ 2021-06-04 18:34 Florian Angeletti 2021-07-19 8:08 ` [Caml-list] OCaml 4.13.0, second " Florian Angeletti 0 siblings, 1 reply; 5+ messages in thread From: Florian Angeletti @ 2021-06-04 18:34 UTC (permalink / raw) To: caml-list [-- Attachment #1: Type: text/plain, Size: 2654 bytes --] Dear OCaml users, Three months after the release of OCaml 4.12.0, the set of new features for the future version 4.13.0 of OCaml has been frozen. I am thus happy to announce the first alpha release for OCaml 4.13.0 . This alpha version is here to help fellow hackers join us early in our bug hunting and opam ecosystem fixing fun (see below for the installation instructions). You can see the progress on this front at https://github.com/ocaml/opam-repository/issues/18791 . If you find any bugs, please report them here: https://github.com/ocaml/ocaml/issues Once most major OCaml tools are supported, we will switch to beta releases. The full release is expected to happen in September. If you are interested by the ongoing list of new features and bug fixes, the updated change log for OCaml 4.13.0 is available at: https://github.com/ocaml/ocaml/blob/4.13/Changes Note that there is still some on-going work to support improved polling points in preparation for OCaml multicore. Another alpha release will be published once this work is merged. Happy hacking, Florian Angeletti for the OCaml team. Installation instructions --------------------------------- The base compiler can be installed as an opam switch with the following commands opam update opam switch create 4.13.0~alpha1 --repositories=default,beta=git+https://github.com/ocaml/ocaml-beta-repository.git If you want to tweak the configuration of the compiler, you can switch to the option variant with: opam update opam switch create <switch_name> --packages=ocaml-variants.4.13.0~alpha1+options,<option_list> --repositories=default,beta=git+https://github.com/ocaml/ocaml-beta-repository.git where <option_list> is a comma separated list of ocaml-option-* packages. For instance, for a flambda and no-flat-float-array switch: opam switch create 4.13.0~alpha1+flambda+nffa --packages=ocaml-variants.4.13.0~alpha1+options,ocaml-option-flambda,ocaml-option-no-flat-float-array --repositories=default,beta=git+https://github.com/ocaml/ocaml-beta-repository.git All available options can be listed with "opam search ocaml-option". If you want to test this version, it is advised to install the alpha opam repository https://github.com/kit-ty-kate/opam-alpha-repository with opam repo add alpha git://github.com/kit-ty-kate/opam-alpha-repository.git This alpha repository contains various fixes in the process of being upstreamed. The source code for the alpha is also available at these addresses: https://github.com/ocaml/ocaml/archive/4.13.0-alpha1.tar.gz https://caml.inria.fr/pub/distrib/ocaml-4.13/ocaml-4.13.0~alpha1.tar.gz [-- Attachment #2: Type: text/html, Size: 2994 bytes --] ^ permalink raw reply [flat|nested] 5+ messages in thread
* [Caml-list] OCaml 4.13.0, second alpha release 2021-06-04 18:34 [Caml-list] OCaml 4.13.0, first alpha release Florian Angeletti @ 2021-07-19 8:08 ` Florian Angeletti 2021-08-25 18:16 ` [Caml-list] OCaml 4.13.0, first beta release Florian Angeletti 0 siblings, 1 reply; 5+ messages in thread From: Florian Angeletti @ 2021-07-19 8:08 UTC (permalink / raw) To: caml-list [-- Attachment #1: Type: text/plain, Size: 4720 bytes --] Dear OCaml users, The release of OCaml 4.13.0 is approaching. We have released a second alpha version to help fellow hackers join us early in our bug hunting and opam ecosystem fixing fun (see below for the installation instructions). You can see the progress on this front at https://github.com/ocaml/opam-repository/issues/18791 . Beyond the usual bug fixes (see the full list below), this second alpha integrates a new feature for native generated code: poll points. Those poll points currently fixes some issues with signals in non-allocating loops in native code. More importantly, they are a prerequisite for the multicore runtime. Another change is the removal of the removal of interbranch propagation of type information. The feature, already postponed from 4.12, has been removed to focus for now on better error message in the `-principal` mode. If you find any bugs, please report them here: https://github.com/ocaml/ocaml/issues The first beta release may follow soon since the opam ecosystem is in quite good shape; and we are on track for a full release in September. Happy hacking, Florian Angeletti for the OCaml team. Installation instructions --------------------------------- The base compiler can be installed as an opam switch with the following commands opam update opam switch create 4.13.0~alpha2 --repositories=default,beta=git+https://github.com/ocaml/ocaml-beta-repository.git If you want to tweak the configuration of the compiler, you can switch to the option variant with: opam update opam switch create <switch_name> --packages=ocaml-variants.4.13.0~alpha2+options,<option_list> --repositories=default,beta=git+https://github.com/ocaml/ocaml-beta-repository.git where <option_list> is a comma separated list of ocaml-option-* packages. For instance, for a flambda and no-flat-float-array switch: opam switch create 4.13.0~alpha2+flambda+nffa --packages=ocaml-variants.4.13.0~alpha2+options,ocaml-option-flambda,ocaml-option-no-flat-float-array --repositories=default,beta=git+https://github.com/ocaml/ocaml-beta-repository.git All available options can be listed with "opam search ocaml-option". If you want to test this version, it is advised to install the alpha opam repository https://github.com/kit-ty-kate/opam-alpha-repository with opam repo add alpha git://github.com/kit-ty-kate/opam-alpha-repository.git This alpha repository contains various fixes in the process of being upstreamed. The source code for the alpha is also available at these addresses: https://github.com/ocaml/ocaml/archive/4.13.0-alpha2.tar.gz https://caml.inria.fr/pub/distrib/ocaml-4.13/ocaml-4.13.0~alpha2.tar.gz ------------------------------------ Changes since the first alpha release ------------------------------------- New feature: ----------------- - #10039: Safepoints Add poll points to native generated code. These are effectively zero-sized allocations and fix some signal and remembered set issues. Also multicore prerequisite. (Sadiq Jaffer, Stephen Dolan, Damien Doligez, Xavier Leroy, Anmol Sahoo, Mark Shinwell, review by Damien Doligez, Xavier Leroy, and Mark Shinwell) New bug fixes: ------------------- - #10449: Fix major GC work accounting (the GC was running too fast). (Damien Doligez, report by Stephen Dolan, review by Nicolás Ojeda Bär and Sadiq Jaffer) - #10454: Check row_more in nondep_type_rec. (Leo White, review by Thomas Refis) - #10468: Correctly pretty print local type substitution, e.g. type t := ..., with -dsource (Matt Else, review by Florian Angeletti) - #10461, #10498: `caml_send*` helper functions take derived pointers as arguments. Those must be declared with type Addr instead of Val. Moreover, poll point insertion must be disabled for `caml_send*`, otherwise the derived pointer is live across a poll point. (Vincent Laviron and Xavier Leroy, review by Xavier Leroy and Sadiq Jaffer) - #10478: Fix segfault under Windows due to a mistaken initialization of thread ID when a thread starts. (David Allsopp, Nicolás Ojeda Bär, review by Xavier Leroy) Removed feature: ------------------------ * #9811: remove propagation from previous branches Type information inferred from previous branches was propagated in non-principal mode. Revert this for better compatibility with -principal mode. For the time being, infringing code should result in a principality warning. (Jacques Garrigue, review by Thomas Refis and Gabriel Scherer) The up-to-date list of changes for OCaml 4.13 is available at https://github.com/ocaml/ocaml/blob/4.13/Changes . [-- Attachment #2: Type: text/html, Size: 5234 bytes --] ^ permalink raw reply [flat|nested] 5+ messages in thread
* [Caml-list] OCaml 4.13.0, first beta release 2021-07-19 8:08 ` [Caml-list] OCaml 4.13.0, second " Florian Angeletti @ 2021-08-25 18:16 ` Florian Angeletti 2021-09-10 13:05 ` [Caml-list] OCaml 4.13.0, first release candidate Florian Angeletti 0 siblings, 1 reply; 5+ messages in thread From: Florian Angeletti @ 2021-08-25 18:16 UTC (permalink / raw) To: caml-list [-- Attachment #1: Type: text/plain, Size: 3235 bytes --] Dear OCaml users, The release of OCaml 4.13.0 is close. The set of new features has been stabilized, and core opam packages already work with this release (see [ http://check.ocamllabs.io/ | http://check.ocamllabs.io ] ). After two alpha releases, we have created a first beta version to help you update your softwares and libraries ahead of the release. If you find any bugs, please report them here: https://github.com/ocaml/ocaml/issues The full release of OCaml 4.13.0 is currently planned for September. Happy hacking, Florian Angeletti for the OCaml team. Installation instructions --------------------------------- The base compiler can be installed as an opam switch with the following commands opam update opam switch create 4.13.0~beta1 --repositories=default,beta=git+https://github.com/ocaml/ocaml-beta-repository.git If you want to tweak the configuration of the compiler, you can switch to the option variant with: opam update opam switch create <switch_name> --packages=ocaml-variants.4.13.0~beta1+options,<option_list> --repositories=default,beta=git+https://github.com/ocaml/ocaml-beta-repository.git where <option_list> is a comma separated list of ocaml-option-* packages. For instance, for a flambda and no-flat-float-array switch: opam switch create 4.13.0~beta1+flambda+nffa --packages=ocaml-variants.4.13.0~beta1+options,ocaml-option-flambda,ocaml-option-no-flat-float-array --repositories=default,beta=git+https://github.com/ocaml/ocaml-beta-repository.git All available options can be listed with "opam search ocaml-option". The source code for ths beta release is also available at these addresses: https://github.com/ocaml/ocaml/archive/4.13.0-beta1.tar.gz https://caml.inria.fr/pub/distrib/ocaml-4.13/ocaml-4.13.0~beta1.tar.gz -------------------------------------------------- Changes since the last alpha release -------------------------------------------------- - #10549: Stack overflow detection and naked pointers checking for ARM64 (Xavier Leroy, review by Stephen Dolan) - #10442, #10446: Fix regression in the toplevel to #directory caused by corrections and improvements to the Load_path in #9611. #directory now adds the path to the start of the load path again (so files in the newly added directory take priority). (David Allsopp, report by Vasile Rotaru, review by Florian Angeletti and Nicolás Ojeda Bär) - #10450, #10558: keep %apply and %revapply primitives working with abstract types. This breach of backward compatibility was only present in the alpha releases of OCaml 4.13.0 . (Florian Angeletti, review by Thomas Refis and Leo White) - #10380: Correct handling of UTF-8 paths in configure on Windows (David Allsopp, review by Sébastien Hinderer) - #10543: Fix Ast_mapper to apply the mapping function to the constants in "interval" patterns `c1..c2`. (Guillaume Petiot, review by Gabriel Scherer and Nicolás Ojeda Bär) - #10550, #10551: fix pretty-print of gadt-pattern-with-type-vars (Chet Murthy, review by Gabriel Scherer) - #10497: Styling changes in the post-processed HTML manual (webman) (Wiktor Kuchta, review by Florian Angeletti) [-- Attachment #2: Type: text/html, Size: 3634 bytes --] ^ permalink raw reply [flat|nested] 5+ messages in thread
* [Caml-list] OCaml 4.13.0, first release candidate 2021-08-25 18:16 ` [Caml-list] OCaml 4.13.0, first beta release Florian Angeletti @ 2021-09-10 13:05 ` Florian Angeletti 2021-09-16 8:32 ` [Caml-list] OCaml 4.13.0, second " Florian Angeletti 0 siblings, 1 reply; 5+ messages in thread From: Florian Angeletti @ 2021-09-10 13:05 UTC (permalink / raw) To: caml-list [-- Attachment #1: Type: text/plain, Size: 3690 bytes --] Dear OCaml users, The release of OCaml 4.13.0 is imminent. As a last test that everything is in order, we are publishing a first release candidate for OCaml 4.13.0. Compared to the last beta release, this release candidate includes one small fix for flambda, another for the compiler-libs, one regression fix when compiling C files with ocamlc or ocamlopt, and a handful of configuration and build system improvements (in particular on Windows). See the changelog below for more details. If you find any bugs, please report them here: https://github.com/ocaml/ocaml/issues The release of OCaml 4.13.0 is currently planned for mid-September. (An assembler generation bug was discovered this morning, we might release another release candidate next week once this bug is fixed.) Happy hacking, Florian Angeletti for the OCaml team. Installation instructions ---------------------------- The base compiler can be installed as an opam switch with the following commands opam update opam switch create 4.13.0~rc1 --repositories=default,beta=git+https://github.com/ocaml/ocaml-beta-repository.git If you want to tweak the configuration of the compiler, you can switch to the option variant with: opam update opam switch create <switch_name> --packages=ocaml-variants.4.13.0~rc1+options,<option_list> --repositories=default,beta=git+https://github.com/ocaml/ocaml-beta-repository.git where <option_list> is a comma separated list of ocaml-option-* packages. For instance, for a flambda and no-flat-float-array switch: opam switch create 4.13.0~rc1+flambda+nffa --packages=ocaml-variants.4.13.0~rc1+options,ocaml-option-flambda,ocaml-option-no-flat-float-array --repositories=default,beta=git+https://github.com/ocaml/ocaml-beta-repository.git All available options can be listed with "opam search ocaml-option". The source code for the beta release is also available at these addresses: https://github.com/ocaml/ocaml/archive/4.13.0-rc1.tar.gz https://caml.inria.fr/pub/distrib/ocaml-4.13/ocaml-4.13.0~rc1.tar.gz Changes since the first beta ---------------------------- ## Bug fixes - #10593: Fix untyping of patterns without named existential quantifiers. This bug was only present in the beta version of OCaml 4.13.0. (Ulysse Gérard, review by Florian Angeletti) - #10603, #10611: Fix if condition marked as inconstant in flambda (Vincent Laviron and Pierre Chambart, report by Marcello Seri) ## Regression fix + #9960, #10619(new in rc1): extend ocamlc/ocamlopt's -o option to work when compiling C files (Sébastien Hinderer, reported by Daniel Bünzli, review by Florian Angeletti and Gabriel Scherer) ## Internal configuration and build system - #10471: Fix detection of arm32 architectures with musl in configure. (Louis Gesbert, review by David Allsopp) - #10451: Replace the use of iconv with a C utility to convert $(LIBDIR) to a C string constant on Windows when building the runtime. Hardens the generation of the constant on Unix for paths with backslashes, double-quotes and newlines. (David Allsopp, review by Florian Angeletti and Sébastien Hinderer) - #10511: Cygwin ports now correctly configure when flexdll is not available. (David Allsopp, review by Florian Angeletti) - #10584, #10856: Standard Library documentation build no longer fails if optional libraries have been disabled. (David Allsopp, report by Yuri Victorovich review by Florian Angeletti) ## Manual - #10605: manual, name few css classes to ease styling and maintainability. (Florian Angeletti, review by Wiktor Kuchta and Gabriel Scherer) [-- Attachment #2: Type: text/html, Size: 4081 bytes --] ^ permalink raw reply [flat|nested] 5+ messages in thread
* [Caml-list] OCaml 4.13.0, second release candidate 2021-09-10 13:05 ` [Caml-list] OCaml 4.13.0, first release candidate Florian Angeletti @ 2021-09-16 8:32 ` Florian Angeletti 0 siblings, 0 replies; 5+ messages in thread From: Florian Angeletti @ 2021-09-16 8:32 UTC (permalink / raw) To: caml-list [-- Attachment #1: Type: text/plain, Size: 2481 bytes --] Dear OCaml users, The release of OCaml 4.13.0 is expected for next week. Since we had a native code generation bug fix and two minor configuration tweaks since the first release candidate, we are publishing a second release candidate. If you find any bugs, please report them here: https://github.com/ocaml/ocaml/issues Happy hacking, Florian Angeletti for the OCaml team. Installation instructions ---------------------------- The base compiler can be installed as an opam switch with the following commands opam update opam switch create 4.13.0~rc2 --repositories=default,beta=git+https://github.com/ocaml/ocaml-beta-repository.git If you want to tweak the configuration of the compiler, you can switch to the option variant with: opam update opam switch create <switch_name> --packages=ocaml-variants.4.13.0~rc2+options,<option_list> --repositories=default,beta=git+https://github.com/ocaml/ocaml-beta-repository.git where <option_list> is a comma separated list of ocaml-option-* packages. For instance, for a flambda and no-flat-float-array switch: opam switch create 4.13.0~rc2+flambda+nffa --packages=ocaml-variants.4.13.0~rc2+options,ocaml-option-flambda,ocaml-option-no-flat-float-array --repositories=default,beta=git+https://github.com/ocaml/ocaml-beta-repository.git All available options can be listed with "opam search ocaml-option". The source code for the release candidate is also available at these addresses: https://github.com/ocaml/ocaml/archive/4.13.0-rc2.tar.gz https://caml.inria.fr/pub/distrib/ocaml-4.13/ocaml-4.13.0~rc2.tar.gz Changes since the first release candidate ------------------------------------------------------ - #10626, #10628: Wrong reloading of the x86-64 instruction for integer multiplication by a constant, causing the assembler to reject the ocamlopt-generated code. (Xavier Leroy, report by Dave Aitken, review by Vincent Laviron) + #10176, #10632(new in rc2): By default, call the assembler through the C compiler driver (Sébastien Hinderer, review by Gabriel Scherer, David Allsopp and Xavier Leroy) + #10451, #10635(new in rc2): Replace the use of iconv with a C utility to convert $(LIBDIR) to a C string constant on Windows when building the runtime. Hardens the generation of the constant on Unix for paths with backslashes, double-quotes and newlines. (David Allsopp, review by Florian Angeletti and Sébastien Hinderer) [-- Attachment #2: Type: text/html, Size: 2778 bytes --] ^ permalink raw reply [flat|nested] 5+ messages in thread
end of thread, other threads:[~2021-09-16 8:32 UTC | newest] Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2021-06-04 18:34 [Caml-list] OCaml 4.13.0, first alpha release Florian Angeletti 2021-07-19 8:08 ` [Caml-list] OCaml 4.13.0, second " Florian Angeletti 2021-08-25 18:16 ` [Caml-list] OCaml 4.13.0, first beta release Florian Angeletti 2021-09-10 13:05 ` [Caml-list] OCaml 4.13.0, first release candidate Florian Angeletti 2021-09-16 8:32 ` [Caml-list] OCaml 4.13.0, second " Florian Angeletti
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for NNTP newsgroup(s).