librarian.mli 615 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
val import_and_run: Types.CompUnit.t -> unit
13
val save: Types.CompUnit.t -> string -> unit
14

15 16 17 18 19 20
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