Gabriel Scherer

Let's consider that this issue is solved by @nojb's recommendation, and close. Thanks!

I wonder if we could compress those messages by having, instead of a series of "Type ... is incompatible with ..." that zoom progressively into the source of the unification...

Another example with different explanation types. Currently (in the testsuite): Error: The class type object method a : int method b : 'a end is not matched by the class...

- I made a [specific proposal](https://github.com/ocaml/ocaml/issues/11748#issuecomment-1325715678) about how to explain errors arising from unification errors that could be actionable and is not related to whitespace. (Should I create a separate...

We now delimite *separate* messages with a blank line between them (and Dune upstream was changed to do the same as well). This issue discusses separate submessages of a single...

I think that this suggestion is not a priority for how to improve the C FFI documentation. Regarding root registration, the C FFI has an easy mode and a hard...

The status of this issue is that no one is actively trying to write a more comprehensive FFI documentation. It would be a lot of work and requires expertise. If...

Ideally one would want to initialize the value for the child thread on demand, when it is first requested. The problem is that deriving the value may require computations and...

I haven't looked at the full PR, but on that commit you point out the dls_state is initialized with `Val_unit` in `caml_thread_new_info`, while I would expect to use `Atom(0)` if...

Indeed, `+ocamlbuild` is wrong and I should have been more careful about this. We need to fix this. Note that using `-use-ocamlfind -package ocamlbuild` should work fine. I usually use...