home *** CD-ROM | disk | FTP | other *** search
Text File | 1997-08-18 | 1.5 KB | 33 lines | [TEXT/R*ch] |
- (* To control the runtime system and bytecode interpreter *)
-
- local
- open Obj;
- in
-
- prim_val global_data : obj Vector.vector = 0 "global_data"
- prim_val realloc_global_data : int -> unit = 1 "realloc_global";
- prim_val static_alloc : int -> string = 1 "static_alloc";
- prim_val static_free : string -> unit = 1 "static_free";
- prim_val static_resize : string -> int -> string = 2 "static_resize";
- prim_val gc_full_major : unit -> unit = 1 "gc_full_major";
- prim_val interprete : string -> int -> int -> obj = 3 "start_interp";
- prim_val available_primitives : unit -> string Vector.vector
- = 1 "available_primitives";
-
- (* The following primitives are not implemented by *)
- (* the `standard' Caml Light system. *)
-
- prim_val system : string -> int = 1 "sml_system";
- prim_val sml_int_of_string : string -> int = 1 "sml_int_of_string";
- prim_val sml_hex_of_string : string -> int = 1 "sml_int_of_hex";
- prim_val sml_float_of_string : string -> real = 1 "sml_float_of_string";
- prim_val sml_string_of_int : int -> string = 1 "sml_string_of_int";
- prim_val sml_hexstring_of_word : word -> string = 1 "sml_hexstring_of_word";
- prim_val sml_string_of_float : real -> string = 1 "sml_string_of_float";
- prim_val sml_makestring_of_char : char -> string
- = 1 "sml_makestring_of_char";
- prim_val sml_makestring_of_string : string -> string
- = 1 "sml_makestring_of_string";
-
- end;
-