Bruce/nomsu
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Cleaned up code duplication in 'compile % to %' and 'compile % to code

Browse Source 
%' and improved generated lua output for the common case (a text value).
This commit is contained in:
Bruce Hill 2018-01-24 01:38:05 -08:00
parent 3e1e32e953
commit a33cb2598f
1 changed files with 38 additions and 53 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

91
lib/metaprogramming.nom
View File

@ -32,63 +32,48 @@ immediately
# TODO: reduce code duplication here # TODO: reduce code duplication here
immediately immediately
lua> ".." lua> ".."
nomsu:define_compile_action("compile %names to %body", \(__line_no__), function(\%names, \%body)
local names, args = nomsu:parse_spec(\%names);
local declared_locals = {};
for i, arg in ipairs(args) do declared_locals[arg] = true; end
names, args = repr(names), table.concat(args, ", ");
local body_lua = nomsu:tree_to_lua(\%body);
local body_code = body_lua.statements or ("return "..body_lua.expr..";");
local undeclared_locals = {};
for i, body_local in ipairs(body_lua.locals or {}) do
if not declared_locals[body_local] then
table.insert(undeclared_locals, body_local);
end
end
if #undeclared_locals > 0 then
body_code = "local "..table.concat(undeclared_locals, ", ")..";\\n"..body_code;
end
local lua = ([[
do do
local function compile_action(%s) local function compile_to(name_tree, body_tree, kind)
%s local names, args = nomsu:parse_spec(name_tree);
end local declared_locals = {};
local function compile_action_wrapper(%s) return {expr=compile_action(%s)}; end for i, arg in ipairs(args) do declared_locals[arg] = true; end
nomsu:define_compile_action(%s, %s, compile_action_wrapper, %s); names, args = repr(names), table.concat(args, ", ");
end]]):format(args, body_code, args, args, names, repr(\%names:get_line_no()), local body_lua = nomsu:tree_to_lua(body_tree);
repr(("compile %s\\n..to %s"):format(\%names.src, \%body.src))); if body_lua.expr and not body_lua.locals then
return {statements=lua}; return [[
end, \(__src__ 1)); nomsu:define_compile_action(]]..names..[[, ]]..repr(name_tree:get_line_no())..[[, function(]]..args..[[)
return {]]..kind..[[=]]..body_lua.expr..[[};
lua> ".." end, ]]..repr(nomsu:source_code())..[[);
nomsu:define_compile_action("compile %names to code %body", \(__line_no__), function(\%names, \%body) ]];
local names, args = nomsu:parse_spec(\%names);
local declared_locals = {};
for i, arg in ipairs(args) do declared_locals[arg] = true; end
names, args = repr(names), table.concat(args, ", ");
local body_lua = nomsu:tree_to_lua(\%body);
local body_code = body_lua.statements or ("return "..body_lua.expr..";");
local body_code = body_lua.statements or ("return "..body_lua.expr..";");
local undeclared_locals = {};
for i, body_local in ipairs(body_lua.locals or {}) do
if not declared_locals[body_local] then
table.insert(undeclared_locals, body_local);
end end
end local body_code = body_lua.statements or ("return "..body_lua.expr..";");
if #undeclared_locals > 0 then local undeclared_locals = {};
body_code = "local "..table.concat(undeclared_locals, ", ")..";\\n"..body_code; for i, body_local in ipairs(body_lua.locals or {}) do
end if not declared_locals[body_local] then
local lua = ([[ table.insert(undeclared_locals, body_local);
end
end
if #undeclared_locals > 0 then
body_code = "local "..table.concat(undeclared_locals, ", ")..";\\n"..body_code;
end
return [[
do do
local function compile_action(%s) local function compile_action(]]..args..[[)
%s ]]..body_code.."\\n"..[[
end end
local function compile_action_wrapper(%s) return {statements=compile_action(%s)}; end nomsu:define_compile_action(]]..names..[[, ]]..repr(name_tree:get_line_no())..[[, function(]]..args..[[)
nomsu:define_compile_action(%s, %s, compile_action_wrapper, %s); return {]]..kind..[[=compile_action(]]..args..[[)};
end]]):format(args, body_code, args, args, names, repr(\%names:get_line_no()), end, ]]..repr(nomsu:source_code())..[[);
repr(("compile %s\\n..to code %s"):format(\%names.src, \%body.src))); end]];
return {statements=lua}; end
end, \(__src__ 1)); local src = \(__src__ 1);
nomsu:define_compile_action("compile %names to %body", \(__line_no__), function(\%names, \%body)
return {statements=compile_to(\%names, \%body, "expr")};
end, src);
nomsu:define_compile_action("compile %names to code %body", \(__line_no__), function(\%names, \%body)
return {statements=compile_to(\%names, \%body, "statements")};
end, src);
end
# Compile-time action to make actions # Compile-time action to make actions
immediately immediately