lua-users home
lua-l archive

[Date Prev][Date Next][Thread Prev][Thread Next] [Date Index] [Thread Index]

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.