Gabriel Scherer

Thanks! A 5.3 version would be nice. I wondered how many domains you run, and my understanding from looking at the DomainPool module and its usage is that the code...

Thinking out loud (I haven't looked at this specific workflow): - The fact that some of the threads spend a lot of time waiting is not necessarily an issue, because...

Some details on backup threads to make this discussion clearer to a larger audience. Each domain must react promptly to STW interrupts coming from other domains. In particular, there could...

> It's surprising that multicore Infer needs to set the minor heap size 32 times the default to approach multi-process performance. The running hypothesis is that a part of the...

`update_major_slice_work` is a short function that does some arithmetic computations to decide how much the GC should work next. It is not supposed to show high in profiles, unlike `major_collection_slice`...

For what it's worth, I've also been using "dependent module argument", a coincidence that suggests that this naming is natural. Technically it is the function that is dependent (the parameter/argument...

We had a discussion about the Regression during today's type-system meeting: ```ocaml module type T = sig end let rec f (module M : T) = f (module M) ```...

My understanding is that there is consensus among language maintainers in favor of the feature (we discussed this in January 2024, before this specific PR came up), and the PR...

I wish that the following would work, but it currently does not: ```ocaml module type Monad = sig type 'a t val return : 'a -> 'a t val bind...

Note: using `(module M : Monad)` at the callsite also fails. I guess that this comes from using `Tarrow` in `type_approx`, which cannot allow dependencies. ```ocaml let rec mapM (module...