Module Ocaml_plugin.Dynloader
val default_disabled_warnings : int list
See the labelled argument
custom_warnings_spec
for what these are for.
type dynloader
= t
type 'a create_arguments
= ?in_dir:string -> ?in_dir_perm:Async.Unix.file_perm -> ?include_directories:string list -> ?custom_warnings_spec:string -> ?strict_sequence:bool -> ?cmx_flags:string list -> ?cmxs_flags:string list -> ?trigger_unused_value_warnings_despite_mli:bool -> ?use_cache:Plugin_cache.Config.t -> 'a
module Ppx : sig ... end
module Preprocessor : sig ... end
module Compilation_config : sig ... end
val create : (?initialize:(directory:string -> unit Async.Deferred.Or_error.t) -> ?compilation_config:Compilation_config.t -> ?ocamlopt_opt:string -> ?ocamldep_opt:string -> unit -> t Async.Deferred.Or_error.t) create_arguments
Currently this library works with native code only. The function
create
will raise if called in bytecode.
val clean : t -> unit Async.Deferred.Or_error.t
Cleaning the files generated by this Dynloader.t from the begining of his life, and try to remove the directory if it is empty once the files have been removed. Doesn't fail if the directory contains other files, keep them and keep the directory in that case. Once cleaned, you cannot use a dynloader anymore, you should just leave it alone and let it be collected by the GC at some point. Using a cleaned dynloader will result in an error.
module Univ_constr : sig ... end
module type Module_type = sig ... end
val find_dependencies : t -> string -> string list Async.Deferred.Or_error.t
find_dependencies t file
uses ocamldep to compute the list of .ml and .mli files thatfile
depends on transitively, which you can then pass toload_ocaml_src_files
.file
must be an .ml file, and all the files it depend on must be in the same folder.
module type S = sig ... end
module Side_effect : S with type t := unit
In some cases, we are only interested by the toplevel side effects of dynlinked modules.
module type Side_effect = sig ... end
val side_effect_univ_constr : (module Side_effect) Univ_constr.t
val return_plugin : 'a Univ_constr.t -> (unit -> 'a) -> unit