diff options
| author | Nicolás Ojeda Bär <n.oje.bar@gmail.com> | 2019-12-29 09:55:13 -0800 |
|---|---|---|
| committer | Nicolás Ojeda Bär <n.oje.bar@gmail.com> | 2019-12-30 05:22:21 +0100 |
| commit | 55d286505c5b55fe73cc1587797fe023581f109e (patch) | |
| tree | 02bf78947eaca734d360faf11ae36d5f16e6180d /stdlib/filename.mli | |
| parent | c5e875d09349b75b939cace8b73db1b520326c02 (diff) | |
| download | ocaml-55d286505c5b55fe73cc1587797fe023581f109e.tar.gz | |
Merge pull request #9217 from kit-ty-kate/fix-doc-filename-null
Add missing since annotation for Filename.null
(cherry picked from commit bb62942ed5c3081d295e0b78a1c16cfb9061b613)
Diffstat (limited to 'stdlib/filename.mli')
| -rw-r--r-- | stdlib/filename.mli | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/stdlib/filename.mli b/stdlib/filename.mli index 9e032b8625..1e77c0d863 100644 --- a/stdlib/filename.mli +++ b/stdlib/filename.mli @@ -120,7 +120,9 @@ val dirname : string -> string val null : string (** [null] is ["/dev/null"] on POSIX and ["NUL"] on Windows. It represents a - file on the OS that discards all writes and returns end of file on reads. *) + file on the OS that discards all writes and returns end of file on reads. + + @since 4.10.0 *) val temp_file : ?temp_dir: string -> string -> string -> string (** [temp_file prefix suffix] returns the name of a |