librarian.mli 1.02 KB
Newer Older
1 2 3 4 5 6 7 8
exception InconsistentCrc of Types.CompUnit.t
exception Loop of Types.CompUnit.t
exception InvalidObject of string
exception CannotOpen of string
exception NoImplementation of Types.CompUnit.t

val obj_path: string list ref

9
val compile: bool -> string -> Types.CompUnit.t -> string -> unit
10
val run: Types.CompUnit.t -> unit
11
val import: Types.CompUnit.t -> unit
12 13
val import_check: Types.CompUnit.t -> Digest.t -> unit
val import_from_string: Types.CompUnit.t -> string -> string -> (Ident.U.t * Digest.t) list -> unit
14 15 16 17

val register_unit: string -> string -> string -> (string * string) list -> Types.CompUnit.t
val load_unit: string -> string -> Types.CompUnit.t

18

19
val import_and_run: Types.CompUnit.t -> unit
20
val save: string -> Types.CompUnit.t -> string -> unit
21

22 23
val registered_types: Types.CompUnit.t -> Types.t array

24 25
val set_externals: Types.CompUnit.t -> Value.t array -> unit

26 27 28 29

type stub_ml
val stub_ml : (string -> Typer.t -> Compile.env -> 
		 stub_ml option * Types.t array) ref
30 31 32

val register_static_external: string -> Value.t -> unit