Module Side_effect : S with type t := unit

In some cases, we are not interested by the module, but rather because it uses a side effect registering mechanism.


type t
val load_ocaml_src_files : (string list -> t Async.Std.Deferred.Or_error.t) create_arguments
val check_ocaml_src_files : (string list -> unit Async.Std.Deferred.Or_error.t) create_arguments
val check_plugin_cmd : with_code_style_switch:bool -> unit -> Async.Std.Command.t

Command that checks that the anon files given compile and match the interface X given. Also provides a -ocamldep mode allowing only the main file to be passed on the command line.

When with_code_style_switch:false, the code style is the same as for with_compiler. One may use true if both camlp4 and ppx are embedded, in which case a -code-style flag is provided in the command line to pick between camlp4 and ppx to perform the validation.

module Load : Ocaml_dynloader.S with type t := t
Load contains functions similar to the ones above, and can be used if you want to separate extraction of the compiler from building/loading files.