The following functions are exposed for expert users only, not for the casual
user, because they are much more error prone. Prefer load_ocaml_src_files if
possible.
The complexity is due to the following unexpected or unpredictable behavior of
Dynlink: dynlinking a file with a given filename only works properly the first
time. Further dynlinks with the same filename (even if the contents of the file
has changed in the meantime) will not load the new module but instead execute the
initial module. Some even says that the behavior upon reload depends on the
platform. Long story short: don't do that. Dynlink files at most once.
To work around this, you may automatically copy the given file to a temporary and unique name before dynlinking it.
It is worth noting too that the *load_cmxs_file functions below only work with
cmxs files produced by ocaml_plugin's compile_ocaml_src_files_into_cmxs_file.
They expect the code to perform some internal library calls, thus it cannot be
used with any arbitrary cmxs compiled in some other way. Furthermore those
functions would return an error even though the cmxs was built with ocaml_plugin
when built under a different context (compiler version used, cmi dependencies
version, etc.) The intended usage is to have the compilation and loading done
using the same executable.
val compile_ocaml_src_files_into_cmxs_file : dynloader ‑> string list ‑> output_file:string ‑> unit Async.Deferred.Or_error.tThis compiles the source files into cmxs file, but does not execute the plugin
toplevel. The resulting cmxs file can be loaded by the *load_cmxs_file function
below either from within the same process or other processes which share the same
executable. If compile succeeds, it returns Ok and write the compiled cmxs file
into output_file (may override existing file), otherwise it returns Error and
won't write to output_file at all.
val load_cmxs_file : string ‑> t Core.Or_error.t Async.Deferred.tval blocking_load_cmxs_file : string ‑> t Core.Or_error.tblocking_load_cmxs_file will return an error if called after the async scheduler
has been started.