michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat(lua): allow environment object references to be moved between Lua states

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2013-11-11 20:32:36 -08:00
parent ac6c18321a
commit 7cb15cdac5
2 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/bindings/lua/environment.cpp
View file

@ -21,7 +21,7 @@ bool is_environment(lua_State * L, int idx) {
return testudata(L, idx, environment_mt);
}
static environment & to_environment(lua_State * L, int idx) {
environment & to_environment(lua_State * L, int idx) {
return *static_cast<environment*>(luaL_checkudata(L, idx, environment_mt));
}

4
src/bindings/lua/leanlua_state.cpp
View file

@ -31,7 +31,7 @@ extern "C" void * lua_realloc(void *, void * q, size_t, size_t new_size) { retur
namespace lean {
static void open_state(lua_State * L);
static void open_thread(lua_State * L);
environment & to_environment(lua_State * L, int idx);
static void copy_values(lua_State * src, int first, int last, lua_State * tgt) {
for (int i = first; i <= last; i++) {
if (lua_isstring(src, i)) {
@ -42,6 +42,8 @@ static void copy_values(lua_State * src, int first, int last, lua_State * tgt) {
push_expr(tgt, to_expr(src, i));
} else if (is_context(src, i)) {
push_context(tgt, to_context(src, i));
} else if (is_environment(src, i)) {
push_environment(tgt, to_environment(src, i));
} else if (is_name(src, i)) {
push_name(tgt, to_name(src, i));
} else if (is_mpz(src, i)) {