Olivier Nicole

Ravi is an interesting effort, but the [optional types](https://the-ravi-programming-language.readthedocs.io/en/latest/ravi-reference.html#optional-static-typing) seem pretty basic and would not allow the kind of things that of checks that you describe in https://github.com/sile-typesetter/sile/issues/871. The situation...

P.S. another interesting characteristics of Luau is its performance, too: it advertises performance nearly as good as LuaJIT's, even though not using JIT compilation.

I'm a bit lost between all the revisions and patch suggestions, but I still have this issue on `nixos-stable-21.05` and `release-21.05` for home-manager: ``` Existing file '/home/olivier/.config/nvim/init.vim' is in the...

I can confirm the issue, which I just had and which makes it impossible for me to use pop shell. ### Config - Gnome shell 42.1 - Pop shell 2022-03-25...

Understood. Regarding the data race in `dup2`, unlike POSIX the Win32 API does not allow to duplicate a handle or socket without allocating a new one. I don't really see...

@dra27 I'm happy to do it.

Done. The Windows CI seems happy—but as far as I can see it doesn't run the test suite?

Thank you for the review; I've done the adjustments you suggested. Let me know if I need to rewrite this PR's history into a single commit.

Hi everyone, I spent some time reviewing a few Stdlib modules lately (`{in_out}_channel.ml`, `stdlib.ml`, `sys.ml`, `scanf.ml`), I summarize here my findings with help from @Engil. ### Needs fixing, actionable -...

I am looking at `camlinternalOO.ml` but feel a bit disarmed as I know little about how OO is implemented in OCaml, and how this module is used. In addition, @dra27...