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: Roberto Ierusalimschy <roberto@...>
- Date: 2006年1月11日 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