[Date Prev][Date Next][Thread Prev][Thread Next]
[Date Index]
[Thread Index]
- Subject: Re: time_t always an integer?
- From: Roberto Ierusalimschy <roberto@...>
- Date: Wed, 11 Jan 2006 14:26:27 -0200
> 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.
Not all integers have 32 bits. If we change to pushinteger, we can
hurt people that are using standard Lua in small machines.
-- Roberto