lua-users home
lua-l archive

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


Hello,

With the changes to LUA_NUMBER shouldn't os_difftime() use LUA_INTEGER now?

--- lua-5.3.0-work2/src/loslib.c
+++ lua-5.3.0-work2/src/loslib.c
@@ -289,7 +289,7 @@ static int os_time (lua_State *L) {


 static int os_difftime (lua_State *L) {
-  lua_pushnumber(L, difftime((l_checktime(L, 1)), (l_checktime(L, 2))));
+  lua_pushinteger(L, difftime((l_checktime(L, 1)), (l_checktime(L, 2))));
   return 1;
 }

Cheers.