Go to the first, previous, next, last section, table of contents.

The Dyneval module

val init : bool -> unit

init auth Initialize the library. Must be called before anything. auth is true if unsafe modules are allowed, false otherwise (really implemented ?)

val load_path : string list ref

load_path the path used to find bytecode files and interfaces.

val libraries : (string * string list) list Options.option_record

libraries correspondance between libraries and modules

Compilation/Evaluation functions

val eval : string -> string

eval command evaluate the command, and return a string corresponding to the result. Raise an exception for compilation errors or exception results. You can use Utils.printexn to get a string corresponding to the exception. (Dyneval.init will install a printer for compilation exceptions in Utils).

val compile : string -> unit

compile filename compile a source file to a bytecode file. Useful to avoid "ocamlc" when versions may have changed.

Loading functions

val load : string -> unit

load modname load the bytecode file corresponding to the given module. If the bytecode depends on other modules or interfaces, these dependencies will be loaded before.

val load_module : string -> unit

load_module modname the same as load, but doesn't print anything in case of error.

val load_file : string -> unit

load_file filename the same as load_module, but a filename is specified instead of a module name.


val print_value : Env.t -> Obj.t -> Format.formatter -> Types.type_expr -> unit

print_value env v formatter ty pretty-prints the value v on formatter. v should have type ty, and env should be the corresponding compilation environment. This function should normally not be used.

Go to the first, previous, next, last section, table of contents.