diff options
| author | Damien Doligez <damien.doligez@inria.fr> | 2023-04-17 12:03:06 +0200 |
|---|---|---|
| committer | Damien Doligez <damien.doligez@inria.fr> | 2023-04-17 12:03:36 +0200 |
| commit | 4c896cfabe86d99ba33934b7b84c577b6f3320db (patch) | |
| tree | e776823e0fecd0bfa22731f43628aa9348fe7274 /stdlib | |
| parent | 5c0fb8e23865fdbf151bdbe15d91176903c284d3 (diff) | |
| download | ocaml-4c896cfabe86d99ba33934b7b84c577b6f3320db.tar.gz | |
fix broken links in documentation comments
Diffstat (limited to 'stdlib')
| -rw-r--r-- | stdlib/marshal.mli | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/marshal.mli b/stdlib/marshal.mli index c13b239d84..357c5a0eb6 100644 --- a/stdlib/marshal.mli +++ b/stdlib/marshal.mli @@ -102,7 +102,7 @@ val to_channel : out_channel -> 'a -> extern_flags list -> unit If [flags] contains [Marshal.Compression], the marshaled data representing value [v] is compressed before being written to channel [chan]. Decompression takes place automatically in - the unmarshaling functions {!input_value}, {!Marshal.from_channel}, + the unmarshaling functions {!Stdlib.input_value}, {!Marshal.from_channel}, {!Marshal.from_string}, etc. For large values [v], compression typically reduces the size of marshaled data by a factor 2 to 4, but slows down marshaling and, to a lesser extent, unmarshaling. @@ -203,14 +203,14 @@ val compression_supported : unit -> bool (** Indicates whether the compressed data format is supported. If [Marshal.compression_supported()] is [true], compressed data - is unmarshaled safely by {!input_value}, {!Marshal.from_channel}, + is unmarshaled safely by {!Stdlib.input_value}, {!Marshal.from_channel}, {!Marshal.from_string} and related functions. Moreover, the [Marshal.Compression] flag is honored by the {!Marshal.to_channel}, {!Marshal.to_string} and related functions, resulting in the production of compressed data. If [Marshal.compression_supported()] is [false], compressed data - causes {!input_value}, {!Marshal.from_channel}, + causes {!Stdlib.input_value}, {!Marshal.from_channel}, {!Marshal.from_string} and related functions to fail and a [Failure] exception to be raised. Moreover, {!Marshal.to_channel}, {!Marshal.to_string} and related functions |