Module Omod

Load installed modules in the toplevel.

See the tutorial.

Omod

type fpath = string

The type for file paths.

type silent = [
  1. | `Yes
  2. | `Loads
  3. | `No
]

The type for specifying silence. See load.

val load : ?batch:bool -> ?silent:silent -> ?force:bool -> ?incs:bool -> ?init:bool -> ?dir:fpath -> string -> bool

load ~batch ~silent ~force ~deps ~incs ~init ~dir "M" loads module M and returns true if the load was successful; init files may however have failed to load. The exact side effects of this function are described here. The optional parameters are as follows:

  • batch if true alternative load sequences error rather than interactively ask to select one. Defaults to not !Sys.interactive.
  • silent if `All nothing is logged except errors. If `Loads then load sequences are not logged but other diagnostic messages may be logged. If `No both load sequences and diagnostic messages are logged. Defaults to `No.
  • force if true force the reload of objects. Defaults to false.
  • incs if true directory includes should be added. Defaults to true. See load semantics for details.
  • init if true toplevel init files should be loaded, see the load semantics. Defaults to true.
  • dir is currently ignored.

The full syntax for specifying the module to load is:

[PKG.]M(@VARIANT)*
  • M is always the top level (compilation unit) module name to load.
  • PKG constrains M to be found in package PKG. Packages names are the name of directories just below omod's library directory (see omod conf, and omod pkg for a list).
  • @VARIANT (repeatable) indicates that all ambiguities should be resolved according to variant VARIANT. This means that if an object can be found in multiple directories in a package directory P, the one that is rooted in the hierarchy starting at P/VARIANT or P/@VARIANT will be selected. If no ambiguity arises the parameter is ignored. See the tutorial for an example.
val loads : ?batch:bool -> ?silent:silent -> ?force:bool -> ?incs:bool -> ?init:bool -> ?dir:fpath -> string list -> bool

loads is like load but for a list of module specifications. Note that specified variants apply to all of the modules.

val help : unit -> unit

help () prints basic help on stdout.

val status : unit -> unit

status () prints what is currently loaded by omod (including assumptions)

Assuming loads

This following can be used to assume that certain loads are already performed to prevent them from being (re)loaded by load invocations.

val assume_load : ?batch:bool -> ?silent:silent -> ?force:bool -> ?incs:bool -> ?init:bool -> ?dir:fpath -> string -> bool

assume_load is like load but assumes the corresponding load sequence was already performed.

val assume_loads : ?batch:bool -> ?silent:silent -> ?force:bool -> ?incs:bool -> ?init:bool -> ?dir:fpath -> string list -> bool

assume_loads is like loads but assumes the corresponding load sequence was already performed.

val assume_inc : fpath -> unit

assume_inc dir assumes that path dir has been included.

val assume_obj : fpath -> unit

assume_obj obj assumes that file path obj has been loaded.

module Private : sig ... end

Private definitions.

Load semantics and effects