Florian Angeletti

I am not sure why you think that we are at an impasse? What is the issue with rerouting the functor related explanations to the functor tutorial?

Hm, I think that I see what you mean. From my point of view, when you say > you could search through the documentation for the original `Set` functor to...

For the OCaml's reference manual, before thinking about localization, there is first the question of having a good internationalization process for the manual pipeline. Without such process, I am not...

My personal opinion for the part that concerns the OCaml reference manual is that this goes far beyond the scope of a medium-sized issue: the translation itself is already a...

It seems to me that we could start by updating the manual source to point to ocaml.org . This would solve the issue for at least 4.10 (once 4.10.1 is...

Overall, I think that all tutorials would need to be edited. Another piece from the label tutorial: > When and when not to use ~ and ? > > The...

I am not sure if there is a Japanese reviewer around, but this seems essentially correct (through the Google-translate looking glass). I will try to have a look at the...

I have split the first commit in two, you should now have a nice link to the implementation changes.

In this case, we are (temporarily?) exposing one of the short-path security belt that hides the type being declared by adding yet another type `t` to the printing environment: https://github.com/ocaml/ocaml/blob/trunk/typing/printtyp.ml#L2539...

If I am reading correctly, the two should be really complimentary: our [work](https://github.com/Octachron/ocaml/commits/semdiff_includemod) is more concerned with reorganizing the global flow of information in includecore. The idea is to make...