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

fix(lua): cpplint.py does not like multiline strings

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2013-11-08 13:26:31 -08:00
parent ec56ba72ea
commit bbab454b6c
3 changed files with 13 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
src/bindings/lua/expr.cpp
View file

@ -172,18 +172,6 @@ void open_expr(lua_State * L) {
lua_setfield(L, -2, "__index");
setfuncs(L, expr_m, 0);
dostring(L, R"Lua(
function Consts(s)
r = {}
i = 1
for c in string.gmatch(s, '[^ ,;\t\n]+') do
r[i] = Const(c)
i = i + 1
end
return unpack(r)
end
)Lua");
set_global_function<expr_mk_constant>(L, "mk_constant");
set_global_function<expr_mk_constant>(L, "Const");
set_global_function<expr_mk_var>(L, "mk_var");

11
src/bindings/lua/lean.lua Normal file
View file

@ -0,0 +1,11 @@
static char const * g_leanlua_extra = R"Lua(
function Consts(s)
r = {}
i = 1
for c in string.gmatch(s, '[^ ,;\t\n]+') do
r[i] = Const(c)
i = i + 1
end
return unpack(r)
end
)Lua";

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

@ -19,6 +19,7 @@ Author: Leonardo de Moura
#include "bindings/lua/sexpr.h"
#include "bindings/lua/format.h"
#include "bindings/lua/expr.h"
#include "bindings/lua/lean.lua"
extern "C" void * lua_realloc(void *, void * q, size_t, size_t new_size) { return lean::realloc(q, new_size); }
@ -43,6 +44,7 @@ struct leanlua_state::imp {
lean::open_sexpr(m_state);
lean::open_format(m_state);
lean::open_expr(m_state);
dostring(g_leanlua_extra);
}
~imp() {