sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page
Load installed modules in the toplevel.
See the tutorial.
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.
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.
incs
is true
), load the actual object and finally load its toplevel init file (if init
is true
and the file exists, see below).o
is a file called o_top_init.ml
in the same directory as the object.cmo
, cmx
) and in a library archive (cma
, cmxs
), Omod
favours loading the library archive.incs
is true).The initialization performed by omod.top
and omod.nattop
assume (with incs:false
and init:false
) the following modules:
utop.UTop
if omod.top
is #use
d in utop
.ocaml.Toploop
if omod.top
is #use
d (not in utop
).ocaml.Opttoploop
if omod.nattop
is #use
d. .vmthread
variants and objects of the form m.p.ext
(profiling versions in the stdlib) are excluded from load sequence results. This reduces the load sequence from multiple occurrences to a single candidate on many modules.ocamlnat
dependency analysis is made on cmx
and cmxa
files, the suffixes of resulting objects is then mapped to cmxs
. This assumes the corresponding files exist and their objects match.