From 0ce301810960e77498afb58063a40b125a31f908 Mon Sep 17 00:00:00 2001
From: Roberto Ierusalimschy <roberto@inf.puc-rio.br>
Date: Tue, 7 May 2013 16:01:16 -0300
Subject: 'pushnum' pushes a "number" (float) + new C instruction 'pushint'

---
 ltests.c | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'ltests.c')

diff --git a/ltests.c b/ltests.c
index c20085a0..01e37047 100644
--- a/ltests.c
+++ b/ltests.c
@@ -1,5 +1,5 @@
 /*
-** $Id: ltests.c,v 2.136 2013/04/24 19:41:48 roberto Exp roberto $
+** $Id: ltests.c,v 2.137 2013/04/26 13:07:53 roberto Exp roberto $
 ** Internal Module for Debugging of the Lua Implementation
 ** See Copyright Notice in lua.h
 */
@@ -1109,6 +1109,9 @@ static int runC (lua_State *L, lua_State *L1, const char *pc) {
       lua_pop(L1, getnum);
     }
     else if EQ("pushnum") {
+      lua_pushnumber(L1, (lua_Number)getnum);
+    }
+    else if EQ("pushint") {
       lua_pushinteger(L1, getnum);
     }
     else if EQ("pushstring") {
-- 
cgit v1.2.3-55-g6feb