Nicolás Ojeda Bär

> The PR looks good to me. Thanks! I am updating Changes, and am wondering if I should move it to the 5.1 section :) @Octachron?

> Yes, a new port should be moved to the next version at this point of the release. We could possibly discuss adding it to the possible midpoint `5.0.1` release....

> No RISCV definition has been added. Is it because the fallback is adequate on RISCV, or because we forgot to extend this with a RISCV version? We forgot to...

You are passing `-nostdlib`. Could you clarify what behaviour would you like in this situation?

If I'm understanding correctly, you would like to make `stdlib.cmx` visible to the compiler but not `stdlib.cmi`. This is not currently possible to do, and would need some work at...

Yes, the `.cmx` is used during compilation to perform inlining. Perhaps `dune` could help in some way, but that would require `dune` having a higher-level understanding of what you are...

Did not know about this; looks interesting!

Also, am not sure if the problem is the merlin server process or the Dune process that is started in the background (or both).

I did some more digging: it seems the problem is the `ocamlmerlin-server.exe` process which keeps an open handle to the directory where the file being edited is found.

Now that bigarrays are part of the stdlib, maybe printers could be considered for them?