Gabriel Scherer
Gabriel Scherer
Indeed I can see by testing that even in `-principal` mode today we have: ```ocaml # let j a b = (k a b : t1);; val j : t1...
I think that you are explaining how, from `j : t1 -> 'a -> t1` and `j {x = a} {x = b}`, we can disambiguate the first argument `{x...
... you are correct indeed, I mistyped the example. Sorry for the noise.
It is not clear to me that any change is desirable here. I can see *some* use-cases where breaking lines at 80 columns is undesired, but *many* use-cases where not...
I don't know much about how the library subsystem is working, and I've been very happy to avoid it and use ocamlfind packages instead. It should still be useful for...
(I wonder if @nojb, our resident Load_path expert, would maybe have the time to look at this.)
I tried to create a synthetic benchmark that reproduces the performance difference, but this harder than I expected: many workflows of the form "do a mix of unmarshalling and unrelated...
I have the following in my notes: ``` opam switch create coq-ocaml5-debug 5.2.0 --repos=default,coq-released=https://coq.inria.fr/opam/released eval $(opam env --switch=coq-ocaml5-debug --set-switch) opam install coq-color ``` (Building the coq-color dependencies, including Coq in...
Two questions: - can you have a look at the `perf` profile to see if you see `do_some_marking` work with the 5.2 version, and with the 4.14 version? - can...
Okay, so my impression so far is that there is no *conclusive* evidence of a real slowdown. I suspect that the GC pacing is off when unmarshalling data, but have...