Carsten Dominik <carsten.domi...@gmail.com> wrote:
> > Ah, OK - thanks! I looked in current-time, saw the 0xffff mask and I
> > thought that the extra bits are truncated, but apparently not: I need to
> > go back and look at the C rules again.
>
> I have no idea what you are talking about :)
>
You think I do? :)
I was referring to the C code implementing current-time (which, btw, has been
changed in latest):
,----
| DEFUN ("current-time", Fcurrent_time, Scurrent_time, 0, 0, 0,
| doc: /* Return the current time, as the number of seconds since
1970-01-01 00:00:00.
| The time is returned as a list of three integers. The first has the
| most significant 16 bits of the seconds, while the second has the
| least significant 16 bits. The third integer gives the microsecond
| count.
|
| The microsecond count is zero on systems that do not provide
| resolution finer than a second. */)
| (void)
| {
| EMACS_TIME t;
|
| EMACS_GET_TIME (t);
| return list3 (make_number ((EMACS_SECS (t) >> 16) & 0xffff),
| make_number ((EMACS_SECS (t) >> 0) & 0xffff),
| make_number (EMACS_USECS (t)));
| }
`----
Nick
