Vincent Laviron

I've played a bit with the compiler's command line, and it happens that (for `ocamlc`) `.cmo` files passed on the command line will be silently ignored if the `-c` option...

`ocamldebug` should already support reproducible builds based on the `BUILD_PATH_PREFIX_MAP` standard (https://reproducible-builds.org/specs/build-path-prefix-map/). Could you try to see if you can make use of that, and report back whether it works...

I had some discussions with @chambart earlier this week about this issue (the original #13150, not this new algorithm), and we suspect that for menhir-generated parsers we should simply not...

The per-file flags could be made to work independently of the build system with the introduction of unit headers (https://github.com/ocaml/RFCs/pull/26). For example menhir would add at the start of the...

The `return` kind on functions was introduced in #2156, but never used (@chambart had a patch that used it but it was never merged). I have checked that removing the...

I'm aware of two indirect references: the section on builtin attributes mentions it, as well as the section on tail mod cons. Both of those could benefit from a dedicated...

I'm not sure it makes sense as a macro. `Data_custom_val` returns a `void*` pointer, so users are expected to cast it to the right type before manipulating the contents: ```c...

You can't set the pointer returned by `Data_custom_val(v)` to `NULL`, because it isn't stored anywhere. It's basically `&(v->snd)`, where `snd` is the second field of a C struct. Either you...

> What are use-cases of immutable arrays in practice, can we discuss some examples? @OlivierNicole mentioned that this could be useful for constant tables, as used in Unicode libraries. What...

The issue here is that we have a very strong hint that the implementation of stamp freshening is wrong. When building the freshening substitution for a given cmi, we expect...