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

fix(shell/lua_repl.h): use loadstring for Lua-5.1 instead of load

Browse source
This commit is contained in:
Soonho Kong 2013-12-13 00:02:12 -05:00
parent f90a9e96d0
commit 5b95cf1e03
1 changed files with 38 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

38
src/shell/lua_repl.h
View file

@ -5,6 +5,8 @@ Released under Apache 2.0 license as described in the file LICENSE.
Author: Leonardo de Moura
*/
// Very simple read-eval-print for Lua
#if LUA_VERSION_NUM >= 520
static char const * g_lua_repl =
"local function trim(s)\n"
" return s:gsub('^%s+', ''):gsub('%s+$', '')\n"
@ -39,3 +41,39 @@ static char const * g_lua_repl =
" print(err)\n"
" end\n"
"until false\n";
#else /* For Lua 5.1, we uses loadstring instead of load */
static char const * g_lua_repl =
"local function trim(s)\n"
" return s:gsub('^%s+', ''):gsub('%s+$', '')\n"
"end\n"
"local function show_results(...)\n"
" if select('#', ...) > 1 then\n"
" print(select(2, ...))\n"
" end\n"
"end\n"
"print([[Type 'Exit' to exit.]])\n"
"repeat\n"
" io.write'lean > '\n"
" local s = io.read()\n"
" if s == nil then print(""); break end\n"
" if trim(s) == 'Exit' then break end\n"
" local f, err = loadstring(s, 'stdin')\n"
" if err then\n"
" f = loadstring('return (' .. s .. ')', 'stdin')\n"
" end\n"
" if f then\n"
" local ok, err = pcall(f)\n"
" if not ok then\n"
" if is_exception(err) then\n"
" print(err:what())\n"
" else\n"
" print(err)\n"
" end\n"
" else\n"
" if err then print(err) end\n"
" end\n"
" else\n"
" print(err)\n"
" end\n"
"until false\n";
#endif