Gabriel Scherer
Gabriel Scherer
This PR is part of the Pattern-Matching Bug Saga, see the summary comment in https://github.com/ocaml/ocaml/issues/7241#issuecomment-1722226025 . It is in the context of #13152, the "main" PR that actually fixes the...
When tracking a Coq performance regression in OCaml 5 (#13300), we (@OlivierNicole and myself) realized that the GC work-computation heuristics are bad for ramp-up phases of programs that do a...
We have a problem in some compiler error messages today, they mention the path to a compiled artifact instead of the corresponding source artifact that the user wrote. An example...
This is an immediate follow-up over #13361, sorry for the noise. Yesterday I was intimidated by the length of the implementation of `caml_array_concat` (it is 43 lines of C code...
The standard library allocates domain-local resources (the RNG state and the stdout/stderr Format buffers), and some of them (the Format buffers) come with corresponding release functions. The documentation recommends a...
This PR is the third PR to propose thread-local storage, after - #12719, written by @c-cube and inspired by @polytypic - #12724, a second attempt by @c-cube, later adopted by...
There is a weird macos-arm64 failure in the CI for #13350 which is clearly unrelated to the PR. This comes from the `ast-invariants` test ``` 2024-08-01T22:56:17.0656510Z > Fatal error: exception...
One problem we have in the discussion of the domain-local-storage vs. thread-local-storage discussion is that we cannot write code that relies on the Thread module in the runtime or stdlib,...
This is part of #13315, split out for easier reviewing. It adds an `ocamltest;` action in ocamltest, which allows to test ocamltest scripts. This sounds like a generally useful feature...
This is a fragment of #13315, separated out for easier reviewing: this is just a simple refactoring and anyone is free to have a look. `run_test_tree` is the core function...