Vincent Laviron
Vincent Laviron
The link time consistency check (that errors when linking object files that were compiled against different versions of the same interface) fails to detect inconsistencies between an object's interface and...
When using `Dynlink.loadfile`, there is a runtime error if the same module is loaded twice. However, `Dynlink.loadfile_private` is not affected by this restriction, and there is even a test in...
There's a hack in the compiler that miscompiles the `caml_sys_argv` primitive if it's declared as an external directly (it's supposed to be exposed through the `"%sys_argv"` builtin primitive, not directly)....
An user was trying to disable inlining-related warnings using global attributes (`[@@@ocaml.warning "-53-55"]`) and this didn't work (see https://discuss.ocaml.org/t/capnproto-functor-inlining/12111/9). I think that it would be nice to make that work....
Here is a pull request enabling compilation of Clangml with a 4.06 compiler. I haven't been able to test the 4.07 beta because a compatible camlp4 version hasn't been released...
This PR fixes the issue with local opens in classes, as described in #13178. I've added the examples from that issue in this PR, with their current semantics.
I have a question that can be explained with this example (and some variations later): ```ocaml module M1 = struct let () = print_endline "Before class" class c = let...
Follow-up to #13150 and #13156: the computation of invariant parameters in Flambda is not linear in the number of functions in the set, so it can get expensive for large...
Fix for #13374. I'm not 100% convinced that we should apply this fix (after all, `loadfile_private` might be expected to load all units of a library as individual private modules,...
This PR ports a good chunk of the comments @Ekdohibs and I wrote on the compilation of objects (the rest can be seen at https://github.com/lthls/ocaml/tree/objects_documentation). I will try to add...