Mark Shinwell
Mark Shinwell
Some work has started on a compilation strategy from the OCaml language to WebAssembly. This work unfortunately had to be paused due to the pandemic, but hopefully it's not too...
As per #11527, double dynlinking can crash the GC on OCaml 4 during compaction, because the dynamic global roots list will contain duplicate entries. I think this is especially likely...
Actually I'm not sure the piece of code concerned used `loadfile_private` -- I think it just used `loadfile`, and the only way that I can see it managed to circumvent...
My comment above turns out to be wrong; after some more digging, the code probably was in fact using `loadfile_private`.
@xavierleroy Ping on @diml 's question.
@alainfrisch Given there has been no progress on this issue for 8 years, would you like to perhaps implement the flag (I agree that positional precedence seems fine, but watch...
There's no point in spending newcomer time on features people don't actually want, though. (I'm not certain that is the case for this one, but it seems likely...)
This is very good news, thanks. cc @stedolan The only other things on `special_dune` should be two bugfixes, one of which we probably won't need anyway after some Flambda backend...
It would be nice to see this fixed completely properly, but the above gives a really significant improvement, to what seems a fairly serious usability issue.
I have also hit this in lldb. The new name mangling convention also causes problems for cases where C `extern` declarations are being used to bind to OCaml symbols. I...