Gabriel Scherer

Currently all active domains participate to Stop-The-World (STW) sections, we say that they are registered as STW participants. A thread that is not registered as STW participation cannot run any...

Thanks! I am on vacation right now (until January 3rd) but I hope to look at this shortly.

We are at a state where I think that the implementation is basically fine, but I still dislike some aspects of the design of the PR, which is that it...

> I'm not quite sure adding NonImmediate avoids all the same expansions. It seems to me that NonImmediate helps us fail immediacy checks more quickly (a clear improvement on this...

Yes. I still wonder whether it would be possible to present the computation as a "compute the property then compare", without loss in efficiency, by using a different interface, for...

Quoting the "comment above" from @ccasin to discuss this important question in the main thread. > We can not perform the kind check in `transl_declaration`. The issue is mutually defined...

@ccasin I apologize for the silence here; I was at a conference last week and am trying to write a paper this week. I won't be back to reviewing this...

I understand that there have been significant changes to this design on the Jane Street side, see in particular https://github.com/ocaml-flambda/flambda-backend/pull/1384 . When they have time, I would be curious to...

There is no hurry on my end (next week it will be my turn to go for vacations for the month of August), but I would still be interested in...

My understanding is that the Jane Street type-checker is not using this approach anymore, so my hope of merging this to reduce the diff before the two is not up-to-date,...