trunk/driver/librarian.mli

open Ident

exception InconsistentCrc of U.t
exception InvalidObject of string
exception CannotOpen of string
exception NoImplementation of U.t

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

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

val prepare_stub: string -> unit
val ocaml_stub: string -> 
  Types.t array * (Value.t array -> unit) * 
    Value.t array *
    (unit -> unit)

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


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


val make_wrapper: (string -> unit) ref
1	open Ident
2
3	exception InconsistentCrc of U.t
4	exception InvalidObject of string
5	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 compile_save: bool -> U.t -> string -> string -> unit
12	val compile_run: bool -> U.t -> string -> unit
13	val load_run: U.t -> unit
14	val run: Compunit.t -> unit
15
16	val prepare_stub: string -> unit
17	val ocaml_stub: string ->
18	Types.t array * (Value.t array -> unit) *
19	Value.t array *
20	(unit -> unit)
21
22	val stub_ml : (string -> Typer.t -> Compile.env ->
23	Externals.ext_info option -> (Types.t array -> string) ->
24	unit) ref
25
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