New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
patch of byterun/unix.c to bring native runtime inline with bytecode in regards to plugin reloading #7893
Comments
Comment author: progman bytecode plugins can be edited, re-compiled and re-loaded into a running program. |
Makefile: dmods: dmod.ml dmod2.ml #doesn't work! dynlink successful but code not changed. dyn.ml: let deffun()= let dynfuns={f1=deffun} main.ml: open Printf open Dynlink let prompt()= let go()= let _=go() dmod.ml: let _= dmod2.ml: type t=INT of int let myfun()= let _= |
This issue has been open one year with no activity. Consequently, it is being marked with the "stale" label. What this means is that the issue will be automatically closed in 30 days unless more comments are added or the "stale" label is removed. Comments that provide new information on the issue are especially welcome: is it still reproducible? did it appear in other contexts? how critical is it? etc. |
still reproducible. |
Unloading of modules in native dynlink is not supposed to work, and your example doesn't need to be modified much to show why. let file= adapt_filename "dmod.cmo" in
let f_before = dynfuns.f1 in
loadfile file; (*it registers in the above record *)
let f_between = dynfuns.f1 in
prompt();
loadfile file;
let f_after = dynfuns.f1 in
f_before ();
f_between ();
f_after ();
printf "done\n" You should get an error in the call to |
This issue has been open one year with no activity. Consequently, it is being marked with the "stale" label. What this means is that the issue will be automatically closed in 30 days unless more comments are added or the "stale" label is removed. Comments that provide new information on the issue are especially welcome: is it still reproducible? did it appear in other contexts? how critical is it? etc. |
Original bug ID: 7893
Reporter: progman
Status: new
Resolution: open
Priority: normal
Severity: minor
Platform: rpi3
OS: raspbian
OS Version: debian 18
Version: 4.07.1
Category: dynlink and natdynlink
Monitored by: @nojb @hcarty
Bug description
The text was updated successfully, but these errors were encountered: