diff options
author | Damien Doligez <damien.doligez-inria.fr> | 2003-12-29 22:15:02 +0000 |
---|---|---|
committer | Damien Doligez <damien.doligez-inria.fr> | 2003-12-29 22:15:02 +0000 |
commit | 31943bac1db3351118c7f911db99bd567f02a883 (patch) | |
tree | 053244070a0a7f612d637a0547f0d851a2dd024a /byterun/extern.c | |
parent | dbf40e0b61af6f34d4a2736be1f0562ee5e8a52f (diff) |
depollution suite (PR#1914 et PR#1956); byterun/weak.c: PR#1929 suite
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6041 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'byterun/extern.c')
-rw-r--r-- | byterun/extern.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/byterun/extern.c b/byterun/extern.c index d9beb235d..1bdd1c64e 100644 --- a/byterun/extern.c +++ b/byterun/extern.c @@ -394,7 +394,7 @@ static long extern_value(value v, value flags) long res_len; int fl; /* Parse flag list */ - fl = convert_flag_list(flags, extern_flags); + fl = caml_convert_flag_list(flags, extern_flags); extern_ignore_sharing = fl & NO_SHARING; extern_closures = fl & CLOSURES; /* Allocate hashtable of objects already seen, if needed */ @@ -444,15 +444,15 @@ void output_val(struct channel *chan, value v, value flags) long len; char * block; - if (! channel_binary_mode(chan)) + if (! caml_channel_binary_mode(chan)) failwith("output_value: not a binary channel"); alloc_extern_block(); len = extern_value(v, flags); - /* During really_putblock, concurrent output_val operations can take + /* During caml_really_putblock, concurrent output_val operations can take place (via signal handlers or context switching in systhreads), and extern_block may change. So, save the pointer in a local variable. */ block = extern_block; - really_putblock(chan, extern_block, len); + caml_really_putblock(chan, extern_block, len); stat_free(block); } @@ -473,7 +473,7 @@ CAMLprim value output_value_to_string(value v, value flags) value res; alloc_extern_block(); len = extern_value(v, flags); - res = alloc_string(len); + res = caml_alloc_string(len); memmove(String_val(res), extern_block, len); stat_free(extern_block); return res; |