summaryrefslogtreecommitdiff
path: root/otherlibs/unix
diff options
context:
space:
mode:
authorfavonia <favonia@gmail.com>2022-08-05 11:03:45 -0500
committerfavonia <favonia@gmail.com>2022-08-08 06:40:10 -0500
commitd31ba87ef8fc1d9e2ab0a4fae36d42e3d5607d82 (patch)
tree21c8183bf0a431b2bc4ca855004603b5dd12ef11 /otherlibs/unix
parentf40bc2697234e075eb69294e2e2e19a790de8aba (diff)
downloadocaml-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.mli2
-rw-r--r--otherlibs/unix/unixLabels.mli2
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.