Commits

Anonymous committed 32d5a61

Deplacement du module meta.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@96f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Comments (0)

Files changed (2)

+external global_data : unit -> Obj.t array = "get_global_data"
+external realloc_global_data : int -> unit = "realloc_global"
+external static_alloc : int -> string = "static_alloc"
+external static_free : string -> unit = "static_free"
+external static_resize : string -> int -> string = "static_resize"
+external execute_bytecode : string -> int -> Obj.t = "execute_bytecode"
+external available_primitives : unit -> string array = "available_primitives"

bytecomp/meta.mli

+(* To control the runtime system and bytecode interpreter *)
+
+external global_data : unit -> Obj.t array = "get_global_data"
+external realloc_global_data : int -> unit = "realloc_global"
+external static_alloc : int -> string = "static_alloc"
+external static_free : string -> unit = "static_free"
+external static_resize : string -> int -> string = "static_resize"
+external execute_bytecode : string -> int -> Obj.t = "execute_bytecode"
+external available_primitives : unit -> string array = "available_primitives"