diff options
Diffstat (limited to 'byterun/alloc.h')
| -rw-r--r-- | byterun/alloc.h | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/byterun/alloc.h b/byterun/alloc.h index a0cd41b65..2a640ebe6 100644 --- a/byterun/alloc.h +++ b/byterun/alloc.h @@ -32,11 +32,12 @@ CAMLextern value caml_alloc_string (mlsize_t); /* size in bytes */ CAMLextern value caml_copy_string (char const *); CAMLextern value caml_copy_string_array (char const **); CAMLextern value caml_copy_double (double); -CAMLextern value caml_copy_int32 (int32); /* defined in [ints.c] */ -CAMLextern value caml_copy_int64 (int64); /* defined in [ints.c] */ +CAMLextern value caml_copy_int32 (int32_t); /* defined in [ints.c] */ +CAMLextern value caml_copy_int64 (int64_t); /* defined in [ints.c] */ CAMLextern value caml_copy_nativeint (intnat); /* defined in [ints.c] */ CAMLextern value caml_alloc_array (value (*funct) (char const *), char const ** array); +CAMLextern value caml_alloc_sprintf(const char * format, ...); typedef void (*final_fun)(value); CAMLextern value caml_alloc_final (mlsize_t, /*size in words*/ |