Florian Angeletti

This repo is mainly an archived version of the old version of ocaml.org, no changes are planned to this site. Were you looking for https://github.com/ocaml/ocaml.org ?

Also my remark on `\machine{"gmp"}` still stands: this is translated to `\machine{\machine{gmp}}`.

https://github.com/ocaml/ocaml uses `trunk` because the repository is tracking Caml history since the conversion from cvs to svn in 1995. I don't think that it is necessary to use that naming...

The `name-out-of-scope` warning is raised whenever name resolution for a constructor or a field is only possible due to the available type information [^1]. This implies that the name resolution...

A more minimalist reproduction case would be: ```ocaml type 'a x = [ `X of 'e ] constraint 'a = 'e list type p = private [> a x] and...

I am afraid that this out-of-scope of the 5.2.1 release which is supposed to contain only absolutely safe bug fixes for people already using 5.2.0. People (hypothetically) stuck to 5.1.0...

I took the liberty to replace the placeholder reviewer by myself, @gasche and @goldfirere . Please don't hesitate to protest if this seems inaccurate to you. Also cherry-picked to 5.3...

The current process for the manual is that new features are added to the language extensions chapter, with a forward reference in the "language" chapter. Then some years later when...

I am not sure I follow, the CI is running just fine on this PR, isn't it? I will try to find the time to debug what is happening with...

Having the committee relaunch the debate sounds sensible to me, I will keep you updated once we have a shepherd.