librarian.mli 800 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


33
val make_wrapper: (string -> unit) ref