summaryrefslogtreecommitdiff
path: root/otherlibs
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2003-10-21 12:27:43 +0000
committerXavier Leroy <xavier.leroy@inria.fr>2003-10-21 12:27:43 +0000
commit4ee3610db1b6f5161a8926ff6d3701455ed5280e (patch)
tree973826785b80c5a0a86280ecbb7fe01b0a27e37b /otherlibs
parentdb2dbeca8a0479e72b085d73a240994c37b40619 (diff)
downloadocaml-4ee3610db1b6f5161a8926ff6d3701455ed5280e.tar.gz
Doc plus complete de mktime (PR#1882)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5878 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs')
-rw-r--r--otherlibs/unix/unix.mli11
1 files changed, 7 insertions, 4 deletions
diff --git a/otherlibs/unix/unix.mli b/otherlibs/unix/unix.mli
index 3a94208f0f..4328fed5a9 100644
--- a/otherlibs/unix/unix.mli
+++ b/otherlibs/unix/unix.mli
@@ -713,10 +713,13 @@ val localtime : float -> tm
val mktime : tm -> float * tm
(** Convert a date and time, specified by the [tm] argument, into
- a time in seconds, as returned by {!Unix.time}. Also return a normalized
- copy of the given [tm] record, with the [tm_wday], [tm_yday],
- and [tm_isdst] fields recomputed from the other fields.
- The [tm] argument is interpreted in the local time zone. *)
+ a time in seconds, as returned by {!Unix.time}. The [tm_isdst],
+ [tm_wday] and [tm_yday] fields of [tm] are ignored. Also return a
+ normalized copy of the given [tm] record, with the [tm_wday],
+ [tm_yday], and [tm_isdst] fields recomputed from the other fields,
+ and the other fields normalized (so that, e.g., 40 October is
+ changed into 9 November). The [tm] argument is interpreted in the
+ local time zone. *)
val alarm : int -> int
(** Schedule a [SIGALRM] signal after the given number of seconds. *)