Jacques Garrigue

That's quite mysterious. I tried doing the same kind of experiment on MacOS, but MOD2 (which is mapped to the command key) only appears when it is pressed. This may...

I tried your code, and only the correct modifiers appear. So this looks like a problem in the version of gtk you are using.

I've changed it quite a lot. Basically, since OCaml uses a common tagged data structure for sockets and handles, there is no need to have separate functions. Unfortunately, I have...

I pushed the code to the pr branch.

Sorry the long delay, I got to do other things and forgot. But I still need to do a release, probably next week.

As a historical comment, all modules were labelized in ocaml 3.00. However, this was reverted in 3.04, and the StdLabels and MoreLabels modules were introduced. At the time, there were...

That is an interesting proposal. However, it requires an important amount of work to be implemented: basically, you need to both substitute the occurrences of `t` and unify its arguments....

This is the intended behavior, and this is documented in the reference manual, section 7.7 (coercions): As an exception to the above algorithm, if both the inferred type of [expr](https://ocaml.org/manual/5.1/expr.html#expr)...

Indeed, it looks like we do useless work when we generalize nodes that will just be garbage collected. However, our measurements show that there is no impact on performance, so...

Performance measurements on ocamldoc, using ocamlc.opt and ocamlopt.opt. There seems to be a 2% slowdown with ocamlc.opt, but with ocamlopt.opt it is not even clear which is faster. We also...