librarian.mli 769 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 12 13 14
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
15

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

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

26 27

val register_static_external: string -> Value.t -> unit
28
val get_builtins: unit -> string list
29 30


31
val make_wrapper: (string -> unit) ref