diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2000-07-28 12:25:36 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2000-07-28 12:25:36 +0000 |
| commit | 51768ea61b09a10e6163ba592e8f79b9e86dabec (patch) | |
| tree | bcc496c0eee7049ddb9cdef125f8afbe0bf938e3 /stdlib | |
| parent | d48c6cfaea74da36e8268888cce3429a883a8395 (diff) | |
Marshal.{to,from}channel declares val et non external pour permettre redefinition dans les threads
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3263 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib')
| -rw-r--r-- | stdlib/marshal.mli | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/stdlib/marshal.mli b/stdlib/marshal.mli index b49eb0def..8a436fd45 100644 --- a/stdlib/marshal.mli +++ b/stdlib/marshal.mli @@ -47,8 +47,7 @@ type extern_flags = | Closures (* Send function closures *) (* The flags to the [Marshal.to_*] functions below. *) -external to_channel: out_channel -> 'a -> mode:extern_flags list -> unit - = "output_value" +val to_channel: out_channel -> 'a -> mode:extern_flags list -> unit (* [Marshal.to_channel chan v flags] writes the representation of [v] on channel [chan]. The [flags] argument is a possibly empty list of flags that governs the marshaling @@ -95,7 +94,7 @@ val to_buffer: string -> pos:int -> len:int -> of [v] does not fit in [len] characters, the exception [Failure] is raised. *) -external from_channel: in_channel -> 'a = "input_value" +val from_channel: in_channel -> 'a (* [Marshal.from_channel chan] reads from channel [chan] the byte representation of a structured value, as produced by one of the [Marshal.to_*] functions, and reconstructs and |