Mark Shinwell
Mark Shinwell
(@gasche typo in your last comment, it's 12882) I'm also interested in #12882 but will have to take time to look at it carefully. I think it might be better...
Ah yes - I meant to mention statmemprof. I'm not sure what the situation is here - @NickBarnes should be able to advise.
@damiendoligez your thoughts would be welcomed!
#12879 also relates to the hook mentioned here, fwiw.
This should involve reporting an error "properly" via the exception/error mechanism.
I propose we go with @xavierleroy 's suggestion of using `$$xx` for the non-ASCII escapes, and then a single `$` for the separator, unless Xavier did determine that in fact...
It won't be, although I've had some thoughts as to how to do it.
I haven't thought about this for literally years, so my memory is hazy. However the general idea was the following. The most difficult problem is probably that, before unloading, you...
P.S. In fact the code pointers scheme above relies on all closures in the dynamically-loaded/generated units being dynamically allocated, otherwise the finaliser will never be called.
I think it's because Jérémie's github account has been deleted.