lua-users home
lua-l archive

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

> 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