[Date Prev][Date Next][Thread Prev][Thread Next]
[Date Index]
[Thread Index]
- Subject: Re: time_t always an integer?
- From: Rici Lake <lua@...>
- Date: Wed, 11 Jan 2006 11:33:34 -0500
On 11-Jan-06, at 10:46 AM, Asko Kauppi wrote:
If so, the return of os.time() should imho use "pushInteger()", which
does make a difference on float/int32 patched systems, where pushing
an integer allows full 32-bit range, but pushing a number (float) does
not.
What if time_t happened to be "long long" (as it is on at least some
OS's)? Then coercing it to an int would also truncate it.
