Pierre Chambart
Pierre Chambart
By the way I came up with some pattern to control how to inline this kind of code correctly with the current flambda. But you probably don't want to use...
When a compilation unit is loaded multiple times in native code, the symbols are shared. This can lead to many *original* behaviors.
The FFI story is not obvious here. We might want the compiler to be allowed to be as clever as possible as soon as the user ask for unboxing (or...
There is also another question that arise with that kind of performance related annotations. How do user discover about that kind of features ? Should there be a mode where...
As a last comment, the notion of separability might not be as stable as one could assume. There is some work going on to try to compile OCaml to webassembly....
This is a pattern that is actually quite common in the flambda2 code base, in particular ```ocaml module T = struct module M = struct type t = ... let...
I would assume https://github.com/OCamlPro/owi/blob/82c1b6affcd531d06a771b56504109737228b2d7/src/concolic/concolic.ml#L85 This is the most likely one in a program compiled from C like language. This is going to occur on calls to function pointer.
@zshipko Could you try again now that #314 is merged ?
The repeating thing feels a bit weird to me. My assumption would be that when there is an actual race between multiple force, the first one is expected to almost...
@gasche, I too don't like the idea of busy waiting. But my point is that you proposed version is basically equivalent to that just hidden in a subtle way. And...