librarian.mli 761 Bytes
Newer Older
1 2 3
open Ident

exception InconsistentCrc of U.t
4 5
exception InvalidObject of string
exception CannotOpen of string
6
exception NoImplementation of U.t
7

8
val name: Compunit.t -> U.t
9
val run_loaded: bool ref
10

11
val obj_path: string list ref
12

13 14 15 16
val compile_save: bool -> U.t -> string -> string -> unit
val compile_run: bool -> U.t -> string -> unit
val load_run: U.t -> unit
val run: Compunit.t -> unit
17

18 19 20 21 22
val prepare_stub: string -> unit
val ocaml_stub: string -> 
  Types.t array * (Value.t array -> unit) * 
    Value.t array *
    (unit -> unit)
23 24

val stub_ml : (string -> Typer.t -> Compile.env -> 
25 26 27
		 Externals.ext_info option -> (Types.t array -> string) ->
		   unit) ref

28 29

val register_static_external: string -> Value.t -> unit
30
val get_builtins: unit -> string list
31 32