michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
1146 commits 3 branches 0 tags 28 MiB
Commit graph

15 commits

Author SHA1 Message Date
Leonardo de Moura
2ccd5cc559 fix(lua): workaround memory leak problem with __cxa_thread_atexit code generated by g++ 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2013-11-18 06:40:32 -08:00
Leonardo de Moura
0e6df0a55b fix(lua): warning message 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2013-11-16 19:58:34 -08:00
Leonardo de Moura
590b14570f feat(lua): improve error handling in Lua API 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2013-11-16 18:21:42 -08:00
Leonardo de Moura
64cce595a5 feat(lua): add splay_maps to the Lua API 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2013-11-14 13:35:36 -08:00
Leonardo de Moura
ed3cf8152b feat(lua): add for_each to expr Lua API 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2013-11-13 16:30:59 -08:00
Leonardo de Moura
b986af09ed feat(lua): add support for copying closures between Lua states 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2013-11-12 12:54:34 -08:00
Leonardo de Moura
b7d8391306 refactor(lua): remove duplicate code, separate lua_exception, add missing #pragma once 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2013-11-08 11:59:47 -08:00
Leonardo de Moura
c8b0c10c88 refactor(lua): make Lua a required (non-optional) package 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2013-11-08 10:56:29 -08:00
Leonardo de Moura
a10aa0880f fix(build): add CheckLuaObjlen.cc test, not every Lua version has the function lua_objlen 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2013-11-08 08:26:04 -08:00
Leonardo de Moura
055cc7f957 fix(lua): make testudata compatible with Lua 5.1 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2013-11-05 11:35:09 -08:00
Leonardo de Moura
1e12ddc7a9 refactor(lua): add goodies for accessing Lean values on the Lua stack 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2013-11-04 19:45:15 -08:00
Leonardo de Moura
f488e6bbfc fix(lua): safe_function_wrapper 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2013-11-04 18:12:53 -08:00
Leonardo de Moura
92b2591a6f style(lua): add missing include 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2013-11-04 16:29:47 -08:00
Leonardo de Moura
fd7e85f0bb feat(lua): add safe_function template that catches Lean and C++ exceptions and convert them into Lua errors 
I'm using the approach described at:
http://stackoverflow.com/questions/4615890/how-to-handle-c-exceptions-when-calling-functions-from-lua

BTW, in some Lua versions, the C++ exceptions are correctly propagated.
I think we should not rely on features of particular implementations.
For example, LuaJIT does not propagate C++ exceptions.
Whenever an exception is thrown from C++ code invoked from LuaJit, LuaJit interrupts the execution and converts it to an error "C++ exception".
On the other hand, Lua 5.2 PUC-Rio interpreter (for Ubuntu) seem to propagate the C++ exceptions.
The template safe_function solves the issue. It will also produce a Lua error whenever the function being wrapped throws an exception. The error message is based on the "what()" method.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2013-11-03 14:42:57 -08:00
Leonardo de Moura
df7dbe17b5 feat(lua/util): remove dependency on luaL_setfuncs 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2013-11-03 12:16:23 -08:00