librarian.mli 927 Bytes
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 24 25 26 27
val registered_types: Types.CompUnit.t -> Types.t array


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