Re: time_t always an integer?
[
Date Prev][
Date Next][
Thread Prev][
Thread Next]
[
Date Index]
[
Thread Index]
- Subject: Re: time_t always an integer?
- From: Rici Lake <lua@...>
- Date: 2006年1月11日 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.