diff options
author | favonia <favonia@gmail.com> | 2022-08-05 11:03:45 -0500 |
---|---|---|
committer | favonia <favonia@gmail.com> | 2022-08-08 06:40:10 -0500 |
commit | d31ba87ef8fc1d9e2ab0a4fae36d42e3d5607d82 (patch) | |
tree | 21c8183bf0a431b2bc4ca855004603b5dd12ef11 /otherlibs/unix | |
parent | f40bc2697234e075eb69294e2e2e19a790de8aba (diff) | |
download | ocaml-d31ba87ef8fc1d9e2ab0a4fae36d42e3d5607d82.tar.gz |
Fix the type of Unix.umask to `Unix.file_perm -> Unix.file_perm`
Diffstat (limited to 'otherlibs/unix')
-rw-r--r-- | otherlibs/unix/unix.mli | 2 | ||||
-rw-r--r-- | otherlibs/unix/unixLabels.mli | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/unix/unix.mli b/otherlibs/unix/unix.mli index e6397efcc5..d0d70cd950 100644 --- a/otherlibs/unix/unix.mli +++ b/otherlibs/unix/unix.mli @@ -681,7 +681,7 @@ val fchown : file_descr -> int -> int -> unit @raise Invalid_argument on Windows *) -val umask : int -> int +val umask : file_perm -> file_perm (** Set the process's file mode creation mask, and return the previous mask. diff --git a/otherlibs/unix/unixLabels.mli b/otherlibs/unix/unixLabels.mli index 944e588fa5..746ea232e7 100644 --- a/otherlibs/unix/unixLabels.mli +++ b/otherlibs/unix/unixLabels.mli @@ -681,7 +681,7 @@ val fchown : file_descr -> uid:int -> gid:int -> unit @raise Invalid_argument on Windows *) -val umask : int -> int +val umask : file_perm -> file_perm (** Set the process's file mode creation mask, and return the previous mask. |