Olivier Nicole
Olivier Nicole
We want to avoid: ```ocaml # macro m x = ) in g >>;; macro m : ('a expr -> 'a expr) -> 'a expr = # m (fun y...
Hello and thanks again for this very nice tutorial, https://github.com/kayceesrk/ocaml5-tutorial/blob/1179f3e3f932d79b3e87cdd4c870c89c1b8b6dc2/README.md?plain=1#L470-L471 Would it be possible to know (and maybe put in the tutorial) the answer to this question? I personally can't...
The `lib-threads/sockets.ml` test exercises systhreads and socket communication, by creating a server thread, two client threads, and a thread for each connection. The reproducibility of the output is ensured by...
This PR proposes to add immutable arrays to OCaml. This is a feature originally by @antalsz and has been in use for a bit more than six months at Jane...
Wouldn’t it be good to have `Dynarray.equal` and `Dynarray.compare` functions? It is appreciable to have non-polymorphic comparison functions for standard types, and in addition neither `(=)` nor `(==)` express equality...
Currently, when the compiler is configured with TSan enabled, only native programs are compiled with TSan instrumentation; bytecode programs produced by ocamlc are not. However, `ocamlrun` gets linked with the...
I'm currently experimenting with a [ThreadSanitizer instrumentation pass for OCaml](https://github.com/OlivierNicole/ocaml/wiki/ThreadSanitizer-for-OCaml) that allows to detect some data races in OCaml programs. When running Domainslib's test suite, ThreadSanitizer reported two possible data...
First of all, thanks for the existence of `opam-health-check` which is obviously quite a piece of work. I am trying to use `opam-health-check` and I am being substantially slowed down...
Given that domains are costly to spawn and join, and parallel tests in multicoretests do it many thousands of times, I wanted to look at it more closely. A quick...
As I was writing an STM specification for Dynarrays, I was a bit frustrated to have to add a catch-all `assert false` at the end of `postcond`. So I went...