diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2003-06-19 13:05:17 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2003-06-19 13:05:17 +0000 |
| commit | b55c04a78864716f083b03fcdacddd2939e81d6e (patch) | |
| tree | 4ebb29d5fc7c1a562ae820befec7dd27d30d6a6e /byterun/extern.c | |
| parent | e3d20e31700365e3e3aa8eac5f47e347be46e373 (diff) | |
failwith -> extern_invalid_argument
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5601 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'byterun/extern.c')
| -rw-r--r-- | byterun/extern.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/byterun/extern.c b/byterun/extern.c index b01a5f89e..4d5888002 100644 --- a/byterun/extern.c +++ b/byterun/extern.c @@ -338,7 +338,8 @@ static void extern_rec(value v) void (*serialize)(value v, unsigned long * wsize_32, unsigned long * wsize_64) = Custom_ops_val(v)->serialize; - if (serialize == NULL) failwith("output_value: abstract value"); + if (serialize == NULL) + extern_invalid_argument("output_value: abstract value"); Write(CODE_CUSTOM); writeblock(ident, strlen(ident) + 1); Custom_ops_val(v)->serialize(v, &sz_32, &sz_64); |