Gabriel Scherer

I hadn't seen this yet, impressive bugfinding @edwintorok! Note that the compiler has a flag `-safer-matching` that avoids eliding the tag checks in code such as `let Pending callbacks =...

I was nerd-sniped by @raphael-proust difficulties, and propose a PR at #1084.

@edwintorok if you have time, I would be curious to know whether you can reproduce the crash on top of #1084. Presumably not, but this is worth checking to be...

I wonder if it would be possible to reproduce the issue without OCaml, but in C using `pthreads` standard POSIX commands for filesystem operations. That would indicate that the problem...

(cc @nojb, @ygrek, @xavierleroy with whom I have discussed this proposal beforehand)

We could plausibly experiment with a Linux-only solution, if it is not a wart and we have ideas to scale it to other systems later on. But even in the...

My understanding: in your example `(A | B)`, `A` and `B` actually have a unifiable type which is `a t`, but to see that they have this type we would...

In the long term, should we consider splitting the `contains_gadt` information in two parts, `contains_existentials` and `contains_equations`, and actually make them precise? (Actually, quickly browsing the sources suggests that we...

My own remarks in this PR have been of the form "long ramblings about very ambitious ways to do something I don't underestand really well", and they have not gone...

> (e.g. when there's a constructor GADT syntax but no actual indexing/existentials going on) Well, if that proved to be an issue we could refine `contains_gadt` to be more precise....