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

chore(frontends/lua/lean.lua.h): fix style warnings

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2013-12-22 21:34:20 -08:00
parent b5d23619cb
commit f0833b6f46
1 changed files with 16 additions and 11 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

27
src/frontends/lua/lean.lua.h
View file

@ -1,11 +1,16 @@
static char const * g_extra_code = 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";
/*
Copyright (c) 2013 Microsoft Corporation. All rights reserved.
Released under Apache 2.0 license as described in the file LICENSE.
Author: Leonardo de Moura
*/
static char const * g_extra_code =
"function Consts(s)\n"
" r = {}\n"
" i = 1\n"
" for c in string.gmatch(s, '[^ ,;\\t\\n]+') do\n"
" r[i] = Const(c)\n"
" i = i + 1\n"
" end\n"
" return unpack(r)\n"
"end\n";