~ chicken-core (chicken-5) 3de97278e21c980cd4b9d57dc584c4d0da8d924e

commit 3de97278e21c980cd4b9d57dc584c4d0da8d924e
Author:     felix <felix@call-with-current-continuation.org>
AuthorDate: Tue Nov 17 13:39:01 2009 +0100
Commit:     felix <felix@call-with-current-continuation.org>
CommitDate: Sun Nov 22 11:12:32 2009 +0100

    documented optional args to seconds->XXX
    
    Signed-off-by: felix <felix@call-with-current-continuation.org>

diff --git a/manual/Unit posix b/manual/Unit posix
index 0281a37c..7c6b587e 100644
--- a/manual/Unit posix	
+++ b/manual/Unit posix	
@@ -933,7 +933,7 @@ defaults to the complete length given when the file was mapped.
 
 ==== seconds->local-time
 
-<procedure>(seconds->local-time SECONDS)</procedure>
+<procedure>(seconds->local-time [SECONDS])</procedure>
 
 Breaks down the time value represented in {{SECONDS}} into a 10
 element vector of the form {{#(seconds minutes hours mday month
@@ -950,6 +950,9 @@ year wday yday dstflag timezone)}}, in the following format:
 ; dstflag (8) : a flag that is true if Daylight Saving Time is in effect at the time described.
 ; timezone (9) : the difference between UTC and the latest local standard time, in seconds west of UTC.
 
+{{SECONDS}} defaults to
+the value of {{(current-seconds)}}.
+
 ==== local-time->seconds
 
 <procedure>(local-time->seconds VECTOR)</procedure>
@@ -966,17 +969,19 @@ Returns the abbreviation for the local timezone as a string.
 
 ==== seconds->string
 
-<procedure>(seconds->string SECONDS)</procedure>
+<procedure>(seconds->string [SECONDS])</procedure>
 
 Converts the local time represented in {{SECONDS}} into a string
-of the form {{"Tue May 21 13:46:22 1991"}}.
+of the form {{"Tue May 21 13:46:22 1991"}}. {{SECONDS}} defaults to
+the value of {{(current-seconds)}}.
 
 ==== seconds->utc-time
 
-<procedure>(seconds->utc-time SECONDS)</procedure>
+<procedure>(seconds->utc-time [SECONDS])</procedure>
 
 Similar to {{seconds->local-time}}, but interpretes {{SECONDS}}
-as UTC time.
+as UTC time. {{SECONDS}} defaults to
+the value of {{(current-seconds)}}.
 
 ==== utc-time->seconds