caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] OCaml 4.13.0, first alpha release
@ 2021-06-04 18:35 Florian Angeletti
  2021-07-19  8:08 ` [Caml-list] OCaml 4.13.0, second " Florian Angeletti
  0 siblings, 1 reply; 2+ messages in thread
From: Florian Angeletti @ 2021-06-04 18:35 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] 2+ messages in thread

* [Caml-list] OCaml 4.13.0, second alpha release
  2021-06-04 18:35 [Caml-list] OCaml 4.13.0, first alpha release Florian Angeletti
@ 2021-07-19  8:08 ` " Florian Angeletti
  0 siblings, 0 replies; 2+ 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] 2+ messages in thread

end of thread, back to index

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-06-04 18:35 [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

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