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 | |
parent | 5c0fb8e23865fdbf151bdbe15d91176903c284d3 (diff) | |
download | ocaml-4c896cfabe86d99ba33934b7b84c577b6f3320db.tar.gz |
fix broken links in documentation comments
-rw-r--r-- | otherlibs/unix/unix.mli | 2 | ||||
-rw-r--r-- | otherlibs/unix/unixLabels.mli | 2 | ||||
-rw-r--r-- | stdlib/marshal.mli | 6 |
3 files changed, 5 insertions, 5 deletions
diff --git a/otherlibs/unix/unix.mli b/otherlibs/unix/unix.mli index 3cdb1c701a..e416d5c53b 100644 --- a/otherlibs/unix/unix.mli +++ b/otherlibs/unix/unix.mli @@ -921,7 +921,7 @@ val open_process_full : val open_process_args : string -> string array -> in_channel * out_channel (** [open_process_args prog args] runs the program [prog] with arguments [args]. Note that the first argument is by convention the filename of - the program being executed, just like {!Sys.argv.(0)}. The new process + the program being executed, just like [Sys.argv.(0)]. The new process executes concurrently with the current process. The standard input and output of the new process are redirected to pipes, which can be respectively read and written via the returned channels. The input diff --git a/otherlibs/unix/unixLabels.mli b/otherlibs/unix/unixLabels.mli index a92ffc56e0..3ad2c778ce 100644 --- a/otherlibs/unix/unixLabels.mli +++ b/otherlibs/unix/unixLabels.mli @@ -921,7 +921,7 @@ val open_process_full : val open_process_args : string -> string array -> in_channel * out_channel (** [open_process_args prog args] runs the program [prog] with arguments [args]. Note that the first argument is by convention the filename of - the program being executed, just like {!Sys.argv.(0)}. The new process + the program being executed, just like [Sys.argv.(0)]. The new process executes concurrently with the current process. The standard input and output of the new process are redirected to pipes, which can be respectively read and written via the returned channels. The input 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 |