2020-09-18 12:13:53 -07:00
package.preload [ " fennel.repl " ] = package.preload [ " fennel.repl " ] or function ( ... )
local utils = require ( " fennel.utils " )
local parser = require ( " fennel.parser " )
local compiler = require ( " fennel.compiler " )
local specials = require ( " fennel.specials " )
local function default_read_chunk ( parser_state )
local function _0_ ( )
if ( 0 < parser_state [ " stack-size " ] ) then
return " .. "
else
return " >> "
end
2018-10-17 18:32:39 -07:00
end
2020-09-18 12:13:53 -07:00
io.write ( _0_ ( ) )
io.flush ( )
local input = io.read ( )
return ( input and ( input .. " \n " ) )
end
local function default_on_values ( xs )
io.write ( table.concat ( xs , " \9 " ) )
return io.write ( " \n " )
end
local function default_on_error ( errtype , err , lua_source )
local function _1_ ( )
local _0_0 = errtype
if ( _0_0 == " Lua Compile " ) then
return ( " Bad code generated - likely a bug with the compiler: \n " .. " --- Generated Lua Start --- \n " .. lua_source .. " --- Generated Lua End --- \n " )
elseif ( _0_0 == " Runtime " ) then
2021-02-01 17:09:15 -08:00
return ( compiler.traceback ( tostring ( err ) , 4 ) .. " \n " )
2020-09-18 12:13:53 -07:00
else
local _ = _0_0
return ( " %s error: %s \n " ) : format ( errtype , tostring ( err ) )
end
2018-10-17 18:32:39 -07:00
end
2020-09-18 12:13:53 -07:00
return io.write ( _1_ ( ) )
end
local save_source = table.concat ( { " local ___i___ = 1 " , " while true do " , " local name, value = debug.getlocal(1, ___i___) " , " if(name and name ~= \" ___i___ \" ) then " , " ___replLocals___[name] = value " , " ___i___ = ___i___ + 1 " , " else break end end " } , " \n " )
local function splice_save_locals ( env , lua_source )
env.___replLocals___ = ( env.___replLocals___ or { } )
local spliced_source = { }
local bind = " local %s = ___replLocals___['%s'] "
for line in lua_source : gmatch ( " ([^ \n ]+) \n ? " ) do
table.insert ( spliced_source , line )
end
for name in pairs ( env.___replLocals___ ) do
table.insert ( spliced_source , 1 , bind : format ( name , name ) )
end
if ( ( 1 < # spliced_source ) and ( spliced_source [ # spliced_source ] ) : match ( " ^ *return .*$ " ) ) then
table.insert ( spliced_source , # spliced_source , save_source )
end
return table.concat ( spliced_source , " \n " )
end
2020-12-23 10:33:09 -08:00
local commands = { }
local function command_3f ( input )
return input : match ( " ^%s*, " )
end
2021-02-01 17:09:15 -08:00
local function command_docs ( )
local _0_
do
local tbl_0_ = { }
for name , f in pairs ( commands ) do
tbl_0_ [ ( # tbl_0_ + 1 ) ] = ( " ,%s - %s " ) : format ( name , ( ( compiler.metadata ) : get ( f , " fnl/docstring " ) or " undocumented " ) )
end
_0_ = tbl_0_
end
return table.concat ( _0_ , " \n " )
end
2020-12-23 10:33:09 -08:00
commands.help = function ( _ , _0 , on_values )
2021-02-01 17:09:15 -08:00
return on_values ( { ( " Welcome to Fennel. \n This is the REPL where you can enter code to be evaluated. \n You can also run these repl commands: \n \n " .. command_docs ( ) .. " \n ,exit - Leave the repl. \n \n Use (doc something) to see descriptions for individual macros and special forms. \n \n For more information about the language, see https://fennel-lang.org/reference " ) } )
2020-12-23 10:33:09 -08:00
end
2021-02-01 17:09:15 -08:00
do end ( compiler.metadata ) : set ( commands.help , " fnl/docstring " , " Show this message. " )
2020-12-23 10:33:09 -08:00
local function reload ( module_name , env , on_values , on_error )
local _0_0 , _1_0 = pcall ( specials [ " load-code " ] ( " return require(...) " , env ) , module_name )
if ( ( _0_0 == true ) and ( nil ~= _1_0 ) ) then
local old = _1_0
local _ = nil
package.loaded [ module_name ] = nil
_ = nil
local ok , new = pcall ( require , module_name )
local new0 = nil
if not ok then
2021-02-01 17:09:15 -08:00
on_values ( { new } )
2020-12-23 10:33:09 -08:00
new0 = old
else
new0 = new
end
if ( ( type ( old ) == " table " ) and ( type ( new0 ) == " table " ) ) then
for k , v in pairs ( new0 ) do
old [ k ] = v
end
for k in pairs ( old ) do
if ( nil == new0 [ k ] ) then
old [ k ] = nil
end
end
package.loaded [ module_name ] = old
end
return on_values ( { " ok " } )
elseif ( ( _0_0 == false ) and ( nil ~= _1_0 ) ) then
local msg = _1_0
local function _3_ ( )
local _2_0 = msg : gsub ( " \n .* " , " " )
return _2_0
end
return on_error ( " Runtime " , _3_ ( ) )
end
end
2021-02-01 17:09:15 -08:00
commands.reload = function ( env , read , on_values , on_error )
2020-12-23 10:33:09 -08:00
local _0_0 , _1_0 , _2_0 = pcall ( read )
if ( ( _0_0 == true ) and ( _1_0 == true ) and ( nil ~= _2_0 ) ) then
local module_sym = _2_0
return reload ( tostring ( module_sym ) , env , on_values , on_error )
elseif ( ( _0_0 == false ) and true and true ) then
local _3fparse_ok = _1_0
local _3fmsg = _2_0
return on_error ( " Parse " , ( _3fmsg or _3fparse_ok ) )
end
end
2021-02-01 17:09:15 -08:00
do end ( compiler.metadata ) : set ( commands.reload , " fnl/docstring " , " Reload the specified module. " )
commands.reset = function ( env , _ , on_values )
2020-12-23 10:33:09 -08:00
env.___replLocals___ = { }
return on_values ( { " ok " } )
end
2021-02-01 17:09:15 -08:00
do end ( compiler.metadata ) : set ( commands.reset , " fnl/docstring " , " Erase all repl-local scope. " )
local function load_plugin_commands ( )
if ( utils.root and utils.root . options and utils.root . options.plugins ) then
for _ , plugin in ipairs ( utils.root . options.plugins ) do
for name , f in pairs ( plugin ) do
local _0_0 = name : match ( " ^repl%-command%-(.*) " )
if ( nil ~= _0_0 ) then
local cmd_name = _0_0
commands [ cmd_name ] = ( commands [ cmd_name ] or f )
end
end
end
return nil
end
end
2020-12-23 10:33:09 -08:00
local function run_command ( input , read , loop , env , on_values , on_error )
2021-02-01 17:09:15 -08:00
load_plugin_commands ( )
2020-12-23 10:33:09 -08:00
local command_name = input : match ( " ,([^%s/]+) " )
do
local _0_0 = commands [ command_name ]
if ( nil ~= _0_0 ) then
local command = _0_0
2021-02-01 17:09:15 -08:00
command ( env , read , on_values , on_error )
2020-12-23 10:33:09 -08:00
else
local _ = _0_0
if ( " exit " ~= command_name ) then
on_values ( { " Unknown command " , command_name } )
end
end
end
if ( " exit " ~= command_name ) then
return loop ( )
end
end
2020-09-18 12:13:53 -07:00
local function completer ( env , scope , text )
local matches = { }
local input_fragment = text : gsub ( " .*[%s)(]+ " , " " )
local function add_partials ( input , tbl , prefix )
for k in utils.allpairs ( tbl ) do
local k0 = nil
if ( ( tbl == env ) or ( tbl == env.___replLocals___ ) ) then
k0 = scope.unmanglings [ k ]
2018-10-17 18:32:39 -07:00
else
2020-09-18 12:13:53 -07:00
k0 = k
end
if ( ( # matches < 2000 ) and ( type ( k0 ) == " string " ) and ( input == k0 : sub ( 0 , # input ) ) ) then
table.insert ( matches , ( prefix .. k0 ) )
end
end
return nil
end
local function add_matches ( input , tbl , prefix )
local prefix0 = nil
if prefix then
prefix0 = ( prefix .. " . " )
else
prefix0 = " "
end
if not input : find ( " %. " ) then
return add_partials ( input , tbl , prefix0 )
else
local head , tail = input : match ( " ^([^.]+)%.(.*) " )
local raw_head = nil
if ( ( tbl == env ) or ( tbl == env.___replLocals___ ) ) then
raw_head = scope.manglings [ head ]
else
raw_head = head
end
if ( type ( tbl [ raw_head ] ) == " table " ) then
return add_matches ( tail , tbl [ raw_head ] , ( prefix0 .. head ) )
end
end
end
add_matches ( input_fragment , ( scope.specials or { } ) )
add_matches ( input_fragment , ( scope.macros or { } ) )
add_matches ( input_fragment , ( env.___replLocals___ or { } ) )
add_matches ( input_fragment , env )
add_matches ( input_fragment , ( env._ENV or env._G or { } ) )
return matches
end
local function repl ( options )
local old_root_options = utils.root . options
local env = nil
if options.env then
2020-10-13 23:23:38 -07:00
env = specials [ " wrap-env " ] ( options.env )
2020-09-18 12:13:53 -07:00
else
2021-02-01 17:09:15 -08:00
env = setmetatable ( { } , { __index = ( rawget ( _G , " _ENV " ) or _G ) } )
2020-09-18 12:13:53 -07:00
end
local save_locals_3f = ( ( options.saveLocals ~= false ) and env.debug and env.debug . getlocal )
local opts = { }
local _ = nil
for k , v in pairs ( options ) do
opts [ k ] = v
end
_ = nil
local read_chunk = ( opts.readChunk or default_read_chunk )
local on_values = ( opts.onValues or default_on_values )
local on_error = ( opts.onError or default_on_error )
local pp = ( opts.pp or tostring )
local byte_stream , clear_stream = parser.granulate ( read_chunk )
local chars = { }
local read , reset = nil , nil
local function _1_ ( parser_state )
local c = byte_stream ( parser_state )
2020-12-23 10:33:09 -08:00
table.insert ( chars , c )
2020-09-18 12:13:53 -07:00
return c
end
read , reset = parser.parser ( _1_ )
local scope = compiler [ " make-scope " ] ( )
opts.useMetadata = ( options.useMetadata ~= false )
if ( opts.allowedGlobals == nil ) then
opts.allowedGlobals = specials [ " current-global-names " ] ( opts.env )
end
if opts.registerCompleter then
local function _3_ ( ... )
return completer ( env , scope , ... )
end
opts.registerCompleter ( _3_ )
end
2020-12-23 10:33:09 -08:00
local function print_values ( ... )
local vals = { ... }
local out = { }
env._ , env.__ = vals [ 1 ] , vals
for i = 1 , select ( " # " , ... ) do
table.insert ( out , pp ( vals [ i ] ) )
end
return on_values ( out )
end
2020-09-18 12:13:53 -07:00
local function loop ( )
for k in pairs ( chars ) do
chars [ k ] = nil
end
local ok , parse_ok_3f , x = pcall ( read )
2021-02-01 17:09:15 -08:00
local src_string = string.char ( ( table.unpack or _G.unpack ) ( chars ) )
2020-09-18 12:13:53 -07:00
utils.root . options = opts
if not ok then
on_error ( " Parse " , parse_ok_3f )
clear_stream ( )
reset ( )
return loop ( )
2020-12-23 10:33:09 -08:00
elseif command_3f ( src_string ) then
return run_command ( src_string , read , loop , env , on_values , on_error )
2020-09-18 12:13:53 -07:00
else
if parse_ok_3f then
do
local _4_0 , _5_0 = pcall ( compiler.compile , x , { [ " assert-compile " ] = opts [ " assert-compile " ] , [ " parse-error " ] = opts [ " parse-error " ] , correlate = opts.correlate , moduleName = opts.moduleName , scope = scope , source = src_string , useMetadata = opts.useMetadata } )
if ( ( _4_0 == false ) and ( nil ~= _5_0 ) ) then
local msg = _5_0
clear_stream ( )
on_error ( " Compile " , msg )
elseif ( ( _4_0 == true ) and ( nil ~= _5_0 ) ) then
2020-12-23 10:33:09 -08:00
local src = _5_0
local src0 = nil
2020-09-18 12:13:53 -07:00
if save_locals_3f then
2020-12-23 10:33:09 -08:00
src0 = splice_save_locals ( env , src )
2020-09-18 12:13:53 -07:00
else
2020-12-23 10:33:09 -08:00
src0 = src
2020-09-18 12:13:53 -07:00
end
2020-12-23 10:33:09 -08:00
local _7_0 , _8_0 = pcall ( specials [ " load-code " ] , src0 , env )
if ( ( _7_0 == false ) and ( nil ~= _8_0 ) ) then
local msg = _8_0
2020-09-18 12:13:53 -07:00
clear_stream ( )
2020-12-23 10:33:09 -08:00
on_error ( " Lua Compile " , msg , src0 )
elseif ( true and ( nil ~= _8_0 ) ) then
local _0 = _7_0
local chunk = _8_0
2020-09-18 12:13:53 -07:00
local function _9_ ( )
2020-12-23 10:33:09 -08:00
return print_values ( chunk ( ) )
2020-09-18 12:13:53 -07:00
end
local function _10_ ( ... )
return on_error ( " Runtime " , ... )
end
2020-12-23 10:33:09 -08:00
xpcall ( _9_ , _10_ )
2020-09-18 12:13:53 -07:00
end
2018-10-17 18:32:39 -07:00
end
2020-09-18 12:13:53 -07:00
end
utils.root . options = old_root_options
return loop ( )
2018-10-17 18:32:39 -07:00
end
2020-09-18 12:13:53 -07:00
end
2018-10-17 18:32:39 -07:00
end
2020-09-18 12:13:53 -07:00
return loop ( )
end
return repl
end
2021-02-01 17:09:15 -08:00
package.preload [ " fennel.view " ] = package.preload [ " fennel.view " ] or function ( ... )
local type_order = { [ " function " ] = 5 , boolean = 2 , number = 1 , string = 3 , table = 4 , thread = 7 , userdata = 6 }
local function sort_keys ( _0_0 , _1_0 )
local _1_ = _0_0
local a = _1_ [ 1 ]
local _2_ = _1_0
local b = _2_ [ 1 ]
local ta = type ( a )
local tb = type ( b )
if ( ( ta == tb ) and ( ( ta == " string " ) or ( ta == " number " ) ) ) then
return ( a < b )
else
local dta = type_order [ ta ]
local dtb = type_order [ tb ]
if ( dta and dtb ) then
return ( dta < dtb )
elseif dta then
return true
elseif dtb then
return false
else
return ( ta < tb )
end
end
end
local function table_kv_pairs ( t )
local assoc_3f = false
2021-04-12 16:52:31 -07:00
local i = 1
2021-02-01 17:09:15 -08:00
local kv = { }
local insert = table.insert
for k , v in pairs ( t ) do
2021-04-12 16:52:31 -07:00
if ( ( type ( k ) ~= " number " ) or ( k ~= i ) ) then
2021-02-01 17:09:15 -08:00
assoc_3f = true
end
2021-04-12 16:52:31 -07:00
i = ( i + 1 )
2021-02-01 17:09:15 -08:00
insert ( kv , { k , v } )
end
table.sort ( kv , sort_keys )
if ( # kv == 0 ) then
return kv , " empty "
else
local function _2_ ( )
if assoc_3f then
return " table "
else
return " seq "
end
end
return kv , _2_ ( )
end
end
local function count_table_appearances ( t , appearances )
if ( type ( t ) == " table " ) then
if not appearances [ t ] then
appearances [ t ] = 1
for k , v in pairs ( t ) do
count_table_appearances ( k , appearances )
count_table_appearances ( v , appearances )
end
else
appearances [ t ] = ( ( appearances [ t ] or 0 ) + 1 )
end
end
return appearances
end
local function save_table ( t , seen )
local seen0 = ( seen or { len = 0 } )
local id = ( seen0.len + 1 )
if not seen0 [ t ] then
seen0 [ t ] = id
seen0.len = id
end
return seen0
end
2021-04-12 16:52:31 -07:00
local function detect_cycle ( t , seen , _3fk )
if ( " table " == type ( t ) ) then
seen [ t ] = true
local _2_0 , _3_0 = next ( t , _3fk )
if ( ( nil ~= _2_0 ) and ( nil ~= _3_0 ) ) then
local k = _2_0
local v = _3_0
return ( seen [ k ] or detect_cycle ( k , seen ) or seen [ v ] or detect_cycle ( v , seen ) or detect_cycle ( t , seen , k ) )
2021-02-01 17:09:15 -08:00
end
end
end
local function visible_cycle_3f ( t , options )
2021-04-12 16:52:31 -07:00
return ( options [ " detect-cycles? " ] and detect_cycle ( t , { } ) and save_table ( t , options.seen ) and ( 1 < ( options.appearances [ t ] or 0 ) ) )
2021-02-01 17:09:15 -08:00
end
local function table_indent ( t , indent , id )
local opener_length = nil
if id then
opener_length = ( # tostring ( id ) + 2 )
else
opener_length = 1
end
return ( indent + opener_length )
end
2021-04-12 16:52:31 -07:00
local pp = nil
2021-02-01 17:09:15 -08:00
local function concat_table_lines ( elements , options , multiline_3f , indent , table_type , prefix )
local indent_str = ( " \n " .. string.rep ( " " , indent ) )
local open = nil
local function _2_ ( )
if ( " seq " == table_type ) then
return " [ "
else
return " { "
end
end
open = ( ( prefix or " " ) .. _2_ ( ) )
local close = nil
if ( " seq " == table_type ) then
close = " ] "
else
close = " } "
end
local oneline = ( open .. table.concat ( elements , " " ) .. close )
2021-04-12 16:52:31 -07:00
if ( not options [ " one-line? " ] and ( multiline_3f or ( ( indent + # oneline ) > options [ " line-length " ] ) ) ) then
2021-02-01 17:09:15 -08:00
return ( open .. table.concat ( elements , indent_str ) .. close )
else
return oneline
end
end
local function pp_associative ( t , kv , options , indent , key_3f )
local multiline_3f = false
local id = options.seen [ t ]
if ( options.level >= options.depth ) then
return " {...} "
elseif ( id and options [ " detect-cycles? " ] ) then
return ( " @ " .. id .. " {...} " )
else
local visible_cycle_3f0 = visible_cycle_3f ( t , options )
local id0 = ( visible_cycle_3f0 and options.seen [ t ] )
local indent0 = table_indent ( t , indent , id0 )
local slength = nil
local function _3_ ( )
local _2_0 = rawget ( _G , " utf8 " )
if _2_0 then
return _2_0.len
else
return _2_0
end
end
local function _4_ ( _241 )
return # _241
end
slength = ( ( options [ " utf8? " ] and _3_ ( ) ) or _4_ )
local prefix = nil
if visible_cycle_3f0 then
prefix = ( " @ " .. id0 )
else
prefix = " "
end
2021-04-12 16:52:31 -07:00
local items = nil
2021-02-01 17:09:15 -08:00
do
local tbl_0_ = { }
for _ , _6_0 in pairs ( kv ) do
local _7_ = _6_0
local k = _7_ [ 1 ]
local v = _7_ [ 2 ]
local _8_
do
2021-04-12 16:52:31 -07:00
local k0 = pp ( k , options , ( indent0 + 1 ) , true )
local v0 = pp ( v , options , ( indent0 + slength ( k0 ) + 1 ) )
2021-02-01 17:09:15 -08:00
multiline_3f = ( multiline_3f or k0 : find ( " \n " ) or v0 : find ( " \n " ) )
_8_ = ( k0 .. " " .. v0 )
end
tbl_0_ [ ( # tbl_0_ + 1 ) ] = _8_
end
2021-04-12 16:52:31 -07:00
items = tbl_0_
2021-02-01 17:09:15 -08:00
end
2021-04-12 16:52:31 -07:00
return concat_table_lines ( items , options , multiline_3f , indent0 , " table " , prefix )
2021-02-01 17:09:15 -08:00
end
end
local function pp_sequence ( t , kv , options , indent )
local multiline_3f = false
local id = options.seen [ t ]
if ( options.level >= options.depth ) then
return " [...] "
elseif ( id and options [ " detect-cycles? " ] ) then
return ( " @ " .. id .. " [...] " )
else
local visible_cycle_3f0 = visible_cycle_3f ( t , options )
local id0 = ( visible_cycle_3f0 and options.seen [ t ] )
local indent0 = table_indent ( t , indent , id0 )
local prefix = nil
if visible_cycle_3f0 then
prefix = ( " @ " .. id0 )
else
prefix = " "
end
2021-04-12 16:52:31 -07:00
local items = nil
2021-02-01 17:09:15 -08:00
do
local tbl_0_ = { }
for _ , _3_0 in pairs ( kv ) do
local _4_ = _3_0
local _0 = _4_ [ 1 ]
local v = _4_ [ 2 ]
local _5_
do
2021-04-12 16:52:31 -07:00
local v0 = pp ( v , options , indent0 )
2021-02-01 17:09:15 -08:00
multiline_3f = ( multiline_3f or v0 : find ( " \n " ) )
_5_ = v0
end
tbl_0_ [ ( # tbl_0_ + 1 ) ] = _5_
end
2021-04-12 16:52:31 -07:00
items = tbl_0_
2021-02-01 17:09:15 -08:00
end
2021-04-12 16:52:31 -07:00
return concat_table_lines ( items , options , multiline_3f , indent0 , " seq " , prefix )
2021-02-01 17:09:15 -08:00
end
end
local function concat_lines ( lines , options , indent , force_multi_line_3f )
if ( # lines == 0 ) then
if options [ " empty-as-sequence? " ] then
return " [] "
else
return " {} "
end
else
local oneline = nil
local _2_
do
local tbl_0_ = { }
for _ , line in ipairs ( lines ) do
tbl_0_ [ ( # tbl_0_ + 1 ) ] = line : gsub ( " ^%s+ " , " " )
end
_2_ = tbl_0_
end
oneline = table.concat ( _2_ , " " )
if ( not options [ " one-line? " ] and ( force_multi_line_3f or oneline : find ( " \n " ) or ( ( indent + # oneline ) > options [ " line-length " ] ) ) ) then
return table.concat ( lines , ( " \n " .. string.rep ( " " , indent ) ) )
else
return oneline
end
end
end
local function pp_metamethod ( t , metamethod , options , indent )
if ( options.level >= options.depth ) then
if options [ " empty-as-sequence? " ] then
return " [...] "
else
return " {...} "
end
else
local _ = nil
local function _2_ ( _241 )
return visible_cycle_3f ( _241 , options )
end
options [ " visible-cycle? " ] = _2_
_ = nil
2021-04-12 16:52:31 -07:00
local lines , force_multi_line_3f = metamethod ( t , pp , options , indent )
2021-02-01 17:09:15 -08:00
options [ " visible-cycle? " ] = nil
local _3_0 = type ( lines )
if ( _3_0 == " string " ) then
return lines
elseif ( _3_0 == " table " ) then
return concat_lines ( lines , options , indent , force_multi_line_3f )
else
local _0 = _3_0
2021-04-12 16:52:31 -07:00
return error ( " __fennelview metamethod must return a table of lines " )
2021-02-01 17:09:15 -08:00
end
end
end
local function pp_table ( x , options , indent )
options.level = ( options.level + 1 )
local x0 = nil
do
local _2_0 = nil
if options [ " metamethod? " ] then
local _3_0 = x
if _3_0 then
local _4_0 = getmetatable ( _3_0 )
if _4_0 then
_2_0 = _4_0.__fennelview
else
_2_0 = _4_0
end
else
_2_0 = _3_0
end
else
_2_0 = nil
end
if ( nil ~= _2_0 ) then
local metamethod = _2_0
x0 = pp_metamethod ( x , metamethod , options , indent )
else
local _ = _2_0
local _4_0 , _5_0 = table_kv_pairs ( x )
if ( true and ( _5_0 == " empty " ) ) then
local _0 = _4_0
if options [ " empty-as-sequence? " ] then
x0 = " [] "
else
x0 = " {} "
end
elseif ( ( nil ~= _4_0 ) and ( _5_0 == " table " ) ) then
local kv = _4_0
x0 = pp_associative ( x , kv , options , indent )
elseif ( ( nil ~= _4_0 ) and ( _5_0 == " seq " ) ) then
local kv = _4_0
x0 = pp_sequence ( x , kv , options , indent )
else
x0 = nil
end
end
end
options.level = ( options.level - 1 )
return x0
end
local function number__3estring ( n )
2021-04-12 16:52:31 -07:00
local _2_0 = string.gsub ( tostring ( n ) , " , " , " . " )
return _2_0
2021-02-01 17:09:15 -08:00
end
local function colon_string_3f ( s )
2021-04-12 16:52:31 -07:00
return s : find ( " ^[-%w?^_!$%&*+./@|<=>]+$ " )
end
local function pp_string ( str , options , indent )
local escs = nil
local _2_
if ( options [ " escape-newlines? " ] and ( # str < ( options [ " line-length " ] - indent ) ) ) then
_2_ = " \\ n "
else
_2_ = " \n "
end
local function _4_ ( _241 , _242 )
return ( " \\ %03d " ) : format ( _242 : byte ( ) )
end
escs = setmetatable ( { [ " \" " ] = " \\ \" " , [ " \11 " ] = " \\ v " , [ " \12 " ] = " \\ f " , [ " \13 " ] = " \\ r " , [ " \7 " ] = " \\ a " , [ " \8 " ] = " \\ b " , [ " \9 " ] = " \\ t " , [ " \\ " ] = " \\ \\ " , [ " \n " ] = _2_ } , { __index = _4_ } )
return ( " \" " .. str : gsub ( " [%c \\ \" ] " , escs ) .. " \" " )
2021-02-01 17:09:15 -08:00
end
local function make_options ( t , options )
2021-04-12 16:52:31 -07:00
local defaults = { [ " detect-cycles? " ] = true , [ " empty-as-sequence? " ] = false , [ " escape-newlines? " ] = false , [ " line-length " ] = 80 , [ " metamethod? " ] = true , [ " one-line? " ] = false , [ " prefer-colon? " ] = false , [ " utf8? " ] = true , depth = 128 }
2021-02-01 17:09:15 -08:00
local overrides = { appearances = count_table_appearances ( t , { } ) , level = 0 , seen = { len = 0 } }
for k , v in pairs ( ( options or { } ) ) do
defaults [ k ] = v
end
for k , v in pairs ( overrides ) do
defaults [ k ] = v
end
return defaults
end
2021-04-12 16:52:31 -07:00
local function _2_ ( x , options , indent , colon_3f )
2021-02-01 17:09:15 -08:00
local indent0 = ( indent or 0 )
local options0 = ( options or make_options ( x ) )
local tv = type ( x )
2021-04-12 16:52:31 -07:00
local function _4_ ( )
local _3_0 = getmetatable ( x )
if _3_0 then
return _3_0.__fennelview
2021-02-01 17:09:15 -08:00
else
2021-04-12 16:52:31 -07:00
return _3_0
2021-02-01 17:09:15 -08:00
end
end
2021-04-12 16:52:31 -07:00
if ( ( tv == " table " ) or ( ( tv == " userdata " ) and _4_ ( ) ) ) then
2021-02-01 17:09:15 -08:00
return pp_table ( x , options0 , indent0 )
elseif ( tv == " number " ) then
return number__3estring ( x )
else
2021-04-12 16:52:31 -07:00
local function _5_ ( )
if ( colon_3f ~= nil ) then
return colon_3f
elseif ( " function " == type ( options0 [ " prefer-colon? " ] ) ) then
return options0 [ " prefer-colon? " ] ( x )
else
return options0 [ " prefer-colon? " ]
end
end
if ( ( tv == " string " ) and colon_string_3f ( x ) and _5_ ( ) ) then
return ( " : " .. x )
elseif ( tv == " string " ) then
return pp_string ( x , options0 , indent0 )
elseif ( ( tv == " boolean " ) or ( tv == " nil " ) ) then
return tostring ( x )
else
return ( " #< " .. tostring ( x ) .. " > " )
end
2021-02-01 17:09:15 -08:00
end
end
2021-04-12 16:52:31 -07:00
pp = _2_
2021-02-01 17:09:15 -08:00
local function view ( x , options )
2021-04-12 16:52:31 -07:00
return pp ( x , make_options ( x , options ) , 0 )
2021-02-01 17:09:15 -08:00
end
return view
end
2020-09-18 12:13:53 -07:00
package.preload [ " fennel.specials " ] = package.preload [ " fennel.specials " ] or function ( ... )
local utils = require ( " fennel.utils " )
2021-02-01 17:09:15 -08:00
local view = require ( " fennel.view " )
2020-09-18 12:13:53 -07:00
local parser = require ( " fennel.parser " )
local compiler = require ( " fennel.compiler " )
2021-02-01 17:09:15 -08:00
local unpack = ( table.unpack or _G.unpack )
2020-09-18 12:13:53 -07:00
local SPECIALS = compiler.scopes . global.specials
local function wrap_env ( env )
local function _0_ ( _ , key )
if ( type ( key ) == " string " ) then
return env [ compiler [ " global-unmangling " ] ( key ) ]
else
return env [ key ]
end
2018-10-17 18:32:39 -07:00
end
2020-09-18 12:13:53 -07:00
local function _1_ ( _ , key , value )
if ( type ( key ) == " string " ) then
env [ compiler [ " global-unmangling " ] ( key ) ] = value
return nil
else
env [ key ] = value
return nil
end
2018-10-17 18:32:39 -07:00
end
2020-09-18 12:13:53 -07:00
local function _2_ ( )
local function putenv ( k , v )
local _3_
if ( type ( k ) == " string " ) then
_3_ = compiler [ " global-unmangling " ] ( k )
2018-10-17 18:32:39 -07:00
else
2020-09-18 12:13:53 -07:00
_3_ = k
end
return _3_ , v
end
return next , utils.kvmap ( env , putenv ) , nil
end
return setmetatable ( { } , { __index = _0_ , __newindex = _1_ , __pairs = _2_ } )
end
local function current_global_names ( env )
return utils.kvmap ( ( env or _G ) , compiler [ " global-unmangling " ] )
end
local function load_code ( code , environment , filename )
2021-02-01 17:09:15 -08:00
local environment0 = ( environment or rawget ( _G , " _ENV " ) or _G )
if ( rawget ( _G , " setfenv " ) and rawget ( _G , " loadstring " ) ) then
2020-09-18 12:13:53 -07:00
local f = assert ( _G.loadstring ( code , filename ) )
_G.setfenv ( f , environment0 )
return f
else
return assert ( load ( code , filename , " t " , environment0 ) )
end
end
local function doc_2a ( tgt , name )
if not tgt then
return ( name .. " not found " )
else
local docstring = ( ( ( compiler.metadata ) : get ( tgt , " fnl/docstring " ) or " #<undocumented> " ) ) : gsub ( " \n $ " , " " ) : gsub ( " \n " , " \n " )
2021-02-01 17:09:15 -08:00
local mt = getmetatable ( tgt )
if ( ( type ( tgt ) == " function " ) or ( ( type ( mt ) == " table " ) and ( type ( mt.__call ) == " function " ) ) ) then
2020-09-18 12:13:53 -07:00
local arglist = table.concat ( ( ( compiler.metadata ) : get ( tgt , " fnl/arglist " ) or { " #<unknown-arguments> " } ) , " " )
local _0_
if ( # arglist > 0 ) then
_0_ = " "
else
_0_ = " "
end
return string.format ( " (%s%s%s) \n %s " , name , _0_ , arglist , docstring )
else
return string.format ( " %s \n %s " , name , docstring )
end
end
end
local function doc_special ( name , arglist , docstring )
compiler.metadata [ SPECIALS [ name ] ] = { [ " fnl/arglist " ] = arglist , [ " fnl/docstring " ] = docstring }
return nil
end
local function compile_do ( ast , scope , parent , start )
local start0 = ( start or 2 )
local len = # ast
local sub_scope = compiler [ " make-scope " ] ( scope )
for i = start0 , len do
compiler.compile1 ( ast [ i ] , sub_scope , parent , { nval = 0 } )
end
return nil
end
SPECIALS [ " do " ] = function ( ast , scope , parent , opts , start , chunk , sub_scope , pre_syms )
local start0 = ( start or 2 )
local sub_scope0 = ( sub_scope or compiler [ " make-scope " ] ( scope ) )
local chunk0 = ( chunk or { } )
local len = # ast
local retexprs = { returned = true }
2020-10-13 23:23:38 -07:00
local function compile_body ( outer_target , outer_tail , outer_retexprs )
if ( len < start0 ) then
compiler.compile1 ( nil , sub_scope0 , chunk0 , { tail = outer_tail , target = outer_target } )
2020-09-18 12:13:53 -07:00
else
2020-10-13 23:23:38 -07:00
for i = start0 , len do
local subopts = { nval = ( ( ( i ~= len ) and 0 ) or opts.nval ) , tail = ( ( ( i == len ) and outer_tail ) or nil ) , target = ( ( ( i == len ) and outer_target ) or nil ) }
local _ = utils [ " propagate-options " ] ( opts , subopts )
local subexprs = compiler.compile1 ( ast [ i ] , sub_scope0 , chunk0 , subopts )
if ( i ~= len ) then
compiler [ " keep-side-effects " ] ( subexprs , parent , nil , ast [ i ] )
end
end
2020-09-18 12:13:53 -07:00
end
2020-10-13 23:23:38 -07:00
compiler.emit ( parent , chunk0 , ast )
compiler.emit ( parent , " end " , ast )
return ( outer_retexprs or retexprs )
2020-09-18 12:13:53 -07:00
end
2020-10-13 23:23:38 -07:00
if ( opts.target or ( opts.nval == 0 ) or opts.tail ) then
compiler.emit ( parent , " do " , ast )
return compile_body ( opts.target , opts.tail )
elseif opts.nval then
local syms = { }
2020-12-23 10:33:09 -08:00
for i = 1 , opts.nval do
2020-10-13 23:23:38 -07:00
local s = ( ( pre_syms and pre_syms [ i ] ) or compiler.gensym ( scope ) )
syms [ i ] = s
retexprs [ i ] = utils.expr ( s , " sym " )
end
local outer_target = table.concat ( syms , " , " )
compiler.emit ( parent , string.format ( " local %s " , outer_target ) , ast )
compiler.emit ( parent , " do " , ast )
return compile_body ( outer_target , opts.tail )
2020-09-18 12:13:53 -07:00
else
2020-10-13 23:23:38 -07:00
local fname = compiler.gensym ( scope )
local fargs = nil
if scope.vararg then
fargs = " ... "
else
fargs = " "
2020-09-18 12:13:53 -07:00
end
2020-10-13 23:23:38 -07:00
compiler.emit ( parent , string.format ( " local function %s(%s) " , fname , fargs ) , ast )
utils.hook ( " do " , ast , sub_scope0 )
return compile_body ( nil , true , utils.expr ( ( fname .. " ( " .. fargs .. " ) " ) , " statement " ) )
2020-09-18 12:13:53 -07:00
end
end
doc_special ( " do " , { " ... " } , " Evaluate multiple forms; return last value. " )
SPECIALS.values = function ( ast , scope , parent )
local len = # ast
local exprs = { }
for i = 2 , len do
local subexprs = compiler.compile1 ( ast [ i ] , scope , parent , { nval = ( ( i ~= len ) and 1 ) } )
2020-12-23 10:33:09 -08:00
table.insert ( exprs , subexprs [ 1 ] )
2020-09-18 12:13:53 -07:00
if ( i == len ) then
2020-12-23 10:33:09 -08:00
for j = 2 , # subexprs do
table.insert ( exprs , subexprs [ j ] )
2020-09-18 12:13:53 -07:00
end
end
end
return exprs
end
doc_special ( " values " , { " ... " } , " Return multiple values from a function. Must be in tail position. " )
2021-02-01 17:09:15 -08:00
local function deep_tostring ( x , key_3f )
local elems = { }
if utils [ " sequence? " ] ( x ) then
local _0_
do
local tbl_0_ = { }
for _ , v in ipairs ( x ) do
tbl_0_ [ ( # tbl_0_ + 1 ) ] = deep_tostring ( v )
end
_0_ = tbl_0_
end
return ( " [ " .. table.concat ( _0_ , " " ) .. " ] " )
elseif utils [ " table? " ] ( x ) then
local _0_
do
local tbl_0_ = { }
for k , v in pairs ( x ) do
tbl_0_ [ ( # tbl_0_ + 1 ) ] = ( deep_tostring ( k , true ) .. " " .. deep_tostring ( v ) )
end
_0_ = tbl_0_
end
return ( " { " .. table.concat ( _0_ , " " ) .. " } " )
elseif ( key_3f and ( type ( x ) == " string " ) and x : find ( " ^[-%w? \\ ^_!$%&*+./@:|<=>]+$ " ) ) then
return ( " : " .. x )
elseif ( type ( x ) == " string " ) then
return string.format ( " %q " , x ) : gsub ( " \\ \" " , " \\ \\ \" " ) : gsub ( " \" " , " \\ \" " )
else
return tostring ( x )
end
end
2020-10-13 23:23:38 -07:00
local function set_fn_metadata ( arg_list , docstring , parent , fn_name )
if utils.root . options.useMetadata then
local args = nil
2021-04-12 16:52:31 -07:00
local function _0_ ( _241 )
return ( " \" %s \" " ) : format ( deep_tostring ( _241 ) )
2020-10-13 23:23:38 -07:00
end
args = utils.map ( arg_list , _0_ )
local meta_fields = { " \" fnl/arglist \" " , ( " { " .. table.concat ( args , " , " ) .. " } " ) }
if docstring then
table.insert ( meta_fields , " \" fnl/docstring \" " )
table.insert ( meta_fields , ( " \" " .. docstring : gsub ( " %s+$ " , " " ) : gsub ( " \\ " , " \\ \\ " ) : gsub ( " \n " , " \\ n " ) : gsub ( " \" " , " \\ \" " ) .. " \" " ) )
end
local meta_str = ( " require( \" %s \" ).metadata " ) : format ( ( utils.root . options.moduleName or " fennel " ) )
return compiler.emit ( parent , ( " pcall(function() %s:setall(%s, %s) end) " ) : format ( meta_str , fn_name , table.concat ( meta_fields , " , " ) ) )
end
end
local function get_fn_name ( ast , scope , fn_name , multi )
if ( fn_name and ( fn_name [ 1 ] ~= " nil " ) ) then
local _0_
if not multi then
_0_ = compiler [ " declare-local " ] ( fn_name , { } , scope , ast )
else
_0_ = compiler [ " symbol-to-expression " ] ( fn_name , scope ) [ 1 ]
end
return _0_ , not multi , 3
else
2021-04-12 16:52:31 -07:00
return nil , true , 2
end
end
local function compile_named_fn ( ast , f_scope , f_chunk , parent , index , fn_name , local_3f , arg_name_list , arg_list , docstring )
for i = ( index + 1 ) , # ast do
compiler.compile1 ( ast [ i ] , f_scope , f_chunk , { nval = ( ( ( i ~= # ast ) and 0 ) or nil ) , tail = ( i == # ast ) } )
end
local _0_
if local_3f then
_0_ = " local function %s(%s) "
else
_0_ = " %s = function(%s) "
2020-10-13 23:23:38 -07:00
end
2021-04-12 16:52:31 -07:00
compiler.emit ( parent , string.format ( _0_ , fn_name , table.concat ( arg_name_list , " , " ) ) , ast )
compiler.emit ( parent , f_chunk , ast )
compiler.emit ( parent , " end " , ast )
set_fn_metadata ( arg_list , docstring , parent , fn_name )
utils.hook ( " fn " , ast , f_scope )
return utils.expr ( fn_name , " sym " )
end
local function compile_anonymous_fn ( ast , f_scope , f_chunk , parent , index , arg_name_list , arg_list , docstring , scope )
local fn_name = compiler.gensym ( scope )
return compile_named_fn ( ast , f_scope , f_chunk , parent , index , fn_name , true , arg_name_list , arg_list , docstring )
2020-10-13 23:23:38 -07:00
end
2020-09-18 12:13:53 -07:00
SPECIALS.fn = function ( ast , scope , parent )
local f_scope = nil
do
local _0_0 = compiler [ " make-scope " ] ( scope )
_0_0 [ " vararg " ] = false
f_scope = _0_0
end
local f_chunk = { }
2020-10-13 23:23:38 -07:00
local fn_sym = utils [ " sym? " ] ( ast [ 2 ] )
local multi = ( fn_sym and utils [ " multi-sym? " ] ( fn_sym [ 1 ] ) )
2021-04-12 16:52:31 -07:00
local fn_name , local_3f , index = get_fn_name ( ast , scope , fn_sym , multi )
2020-10-13 23:23:38 -07:00
local arg_list = compiler.assert ( utils [ " table? " ] ( ast [ index ] ) , " expected parameters table " , ast )
compiler.assert ( ( not multi or not multi [ " multi-sym-method-call " ] ) , ( " unexpected multi symbol " .. tostring ( fn_name ) ) , fn_sym )
local function get_arg_name ( arg )
if utils [ " varg? " ] ( arg ) then
compiler.assert ( ( arg == arg_list [ # arg_list ] ) , " expected vararg as last parameter " , ast )
f_scope.vararg = true
return " ... "
elseif ( utils [ " sym? " ] ( arg ) and ( utils.deref ( arg ) ~= " nil " ) and not utils [ " multi-sym? " ] ( utils.deref ( arg ) ) ) then
return compiler [ " declare-local " ] ( arg , { } , f_scope , ast )
elseif utils [ " table? " ] ( arg ) then
local raw = utils.sym ( compiler.gensym ( scope ) )
local declared = compiler [ " declare-local " ] ( raw , { } , f_scope , ast )
2020-12-23 10:33:09 -08:00
compiler.destructure ( arg , raw , ast , f_scope , f_chunk , { declaration = true , nomulti = true , symtype = " arg " } )
2020-10-13 23:23:38 -07:00
return declared
2020-09-18 12:13:53 -07:00
else
2020-10-13 23:23:38 -07:00
return compiler.assert ( false , ( " expected symbol for function parameter: %s " ) : format ( tostring ( arg ) ) , ast [ 2 ] )
2020-09-18 12:13:53 -07:00
end
end
2021-04-12 16:52:31 -07:00
local arg_name_list = utils.map ( arg_list , get_arg_name )
local index0 , docstring = nil , nil
if ( ( type ( ast [ ( index + 1 ) ] ) == " string " ) and ( ( index + 1 ) < # ast ) ) then
index0 , docstring = ( index + 1 ) , ast [ ( index + 1 ) ]
else
index0 , docstring = index , nil
end
if fn_name then
return compile_named_fn ( ast , f_scope , f_chunk , parent , index0 , fn_name , local_3f , arg_name_list , arg_list , docstring )
else
return compile_anonymous_fn ( ast , f_scope , f_chunk , parent , index0 , arg_name_list , arg_list , docstring , scope )
2020-09-18 12:13:53 -07:00
end
end
doc_special ( " fn " , { " name? " , " args " , " docstring? " , " ... " } , " Function syntax. May optionally include a name and docstring. \n If a name is provided, the function will be bound in the current scope. \n When called with the wrong number of args, excess args will be discarded \n and lacking args will be nil, use lambda for arity-checked functions. " )
SPECIALS.lua = function ( ast , _ , parent )
compiler.assert ( ( ( # ast == 2 ) or ( # ast == 3 ) ) , " expected 1 or 2 arguments " , ast )
if ( ast [ 2 ] ~= nil ) then
table.insert ( parent , { ast = ast , leaf = tostring ( ast [ 2 ] ) } )
end
2021-02-01 17:09:15 -08:00
if ( ast [ 3 ] ~= nil ) then
2020-09-18 12:13:53 -07:00
return tostring ( ast [ 3 ] )
end
end
SPECIALS.doc = function ( ast , scope , parent )
assert ( utils.root . options.useMetadata , " can't look up doc with metadata disabled. " )
compiler.assert ( ( # ast == 2 ) , " expected one argument " , ast )
local target = utils.deref ( ast [ 2 ] )
local special_or_macro = ( scope.specials [ target ] or scope.macros [ target ] )
if special_or_macro then
2020-12-23 10:33:09 -08:00
return ( " print(%q) " ) : format ( doc_2a ( special_or_macro , target ) )
2020-09-18 12:13:53 -07:00
else
2021-04-12 16:52:31 -07:00
local _0_ = compiler.compile1 ( ast [ 2 ] , scope , parent , { nval = 1 } )
local value = _0_ [ 1 ]
return ( " print(require('%s').doc(%s, '%s')) " ) : format ( ( utils.root . options.moduleName or " fennel " ) , tostring ( value ) , tostring ( ast [ 2 ] ) )
2020-09-18 12:13:53 -07:00
end
end
doc_special ( " doc " , { " x " } , " Print the docstring and arglist for a function, macro, or special form. " )
local function dot ( ast , scope , parent )
compiler.assert ( ( 1 < # ast ) , " expected table argument " , ast )
local len = # ast
2020-12-23 10:33:09 -08:00
local _0_ = compiler.compile1 ( ast [ 2 ] , scope , parent , { nval = 1 } )
local lhs = _0_ [ 1 ]
2020-09-18 12:13:53 -07:00
if ( len == 2 ) then
2020-12-23 10:33:09 -08:00
return tostring ( lhs )
2020-09-18 12:13:53 -07:00
else
local indices = { }
2020-12-23 10:33:09 -08:00
for i = 3 , len do
2020-09-18 12:13:53 -07:00
local index = ast [ i ]
if ( ( type ( index ) == " string " ) and utils [ " valid-lua-identifier? " ] ( index ) ) then
table.insert ( indices , ( " . " .. index ) )
else
2020-12-23 10:33:09 -08:00
local _1_ = compiler.compile1 ( index , scope , parent , { nval = 1 } )
local index0 = _1_ [ 1 ]
2020-10-13 23:23:38 -07:00
table.insert ( indices , ( " [ " .. tostring ( index0 ) .. " ] " ) )
2020-09-18 12:13:53 -07:00
end
end
2021-02-01 17:09:15 -08:00
if ( tostring ( lhs ) : find ( " [{ \" 0-9] " ) or ( " nil " == tostring ( lhs ) ) ) then
2020-12-23 10:33:09 -08:00
return ( " ( " .. tostring ( lhs ) .. " ) " .. table.concat ( indices ) )
2020-09-18 12:13:53 -07:00
else
2020-12-23 10:33:09 -08:00
return ( tostring ( lhs ) .. table.concat ( indices ) )
2020-09-18 12:13:53 -07:00
end
end
end
SPECIALS [ " . " ] = dot
doc_special ( " . " , { " tbl " , " key1 " , " ... " } , " Look up key1 in tbl table. If more args are provided, do a nested lookup. " )
SPECIALS.global = function ( ast , scope , parent )
compiler.assert ( ( # ast == 3 ) , " expected name and value " , ast )
2020-12-23 10:33:09 -08:00
compiler.destructure ( ast [ 2 ] , ast [ 3 ] , ast , scope , parent , { forceglobal = true , nomulti = true , symtype = " global " } )
2020-09-18 12:13:53 -07:00
return nil
end
doc_special ( " global " , { " name " , " val " } , " Set name as a global with val. " )
SPECIALS.set = function ( ast , scope , parent )
compiler.assert ( ( # ast == 3 ) , " expected name and value " , ast )
2020-12-23 10:33:09 -08:00
compiler.destructure ( ast [ 2 ] , ast [ 3 ] , ast , scope , parent , { noundef = true , symtype = " set " } )
2020-09-18 12:13:53 -07:00
return nil
end
doc_special ( " set " , { " name " , " val " } , " Set a local variable to a new value. Only works on locals using var. " )
local function set_forcibly_21_2a ( ast , scope , parent )
compiler.assert ( ( # ast == 3 ) , " expected name and value " , ast )
2020-12-23 10:33:09 -08:00
compiler.destructure ( ast [ 2 ] , ast [ 3 ] , ast , scope , parent , { forceset = true , symtype = " set " } )
2020-09-18 12:13:53 -07:00
return nil
end
SPECIALS [ " set-forcibly! " ] = set_forcibly_21_2a
local function local_2a ( ast , scope , parent )
compiler.assert ( ( # ast == 3 ) , " expected name and value " , ast )
2020-12-23 10:33:09 -08:00
compiler.destructure ( ast [ 2 ] , ast [ 3 ] , ast , scope , parent , { declaration = true , nomulti = true , symtype = " local " } )
2020-09-18 12:13:53 -07:00
return nil
end
SPECIALS [ " local " ] = local_2a
doc_special ( " local " , { " name " , " val " } , " Introduce new top-level immutable local. " )
SPECIALS.var = function ( ast , scope , parent )
compiler.assert ( ( # ast == 3 ) , " expected name and value " , ast )
2020-12-23 10:33:09 -08:00
compiler.destructure ( ast [ 2 ] , ast [ 3 ] , ast , scope , parent , { declaration = true , isvar = true , nomulti = true , symtype = " var " } )
2020-09-18 12:13:53 -07:00
return nil
end
doc_special ( " var " , { " name " , " val " } , " Introduce new mutable local. " )
SPECIALS.let = function ( ast , scope , parent , opts )
local bindings = ast [ 2 ]
local pre_syms = { }
2020-10-13 23:23:38 -07:00
compiler.assert ( ( utils [ " list? " ] ( bindings ) or utils [ " table? " ] ( bindings ) ) , " expected binding table " , ast )
2020-09-18 12:13:53 -07:00
compiler.assert ( ( ( # bindings % 2 ) == 0 ) , " expected even number of name/value bindings " , ast [ 2 ] )
compiler.assert ( ( # ast >= 3 ) , " expected body expression " , ast [ 1 ] )
2020-12-23 10:33:09 -08:00
for _ = 1 , ( opts.nval or 0 ) do
2020-09-18 12:13:53 -07:00
table.insert ( pre_syms , compiler.gensym ( scope ) )
end
local sub_scope = compiler [ " make-scope " ] ( scope )
local sub_chunk = { }
for i = 1 , # bindings , 2 do
2020-12-23 10:33:09 -08:00
compiler.destructure ( bindings [ i ] , bindings [ ( i + 1 ) ] , ast , sub_scope , sub_chunk , { declaration = true , nomulti = true , symtype = " let " } )
2020-09-18 12:13:53 -07:00
end
return SPECIALS [ " do " ] ( ast , scope , parent , opts , 3 , sub_chunk , sub_scope , pre_syms )
end
doc_special ( " let " , { " [name1 val1 ... nameN valN] " , " ... " } , " Introduces a new scope in which a given set of local bindings are used. " )
SPECIALS.tset = function ( ast , scope , parent )
compiler.assert ( ( # ast > 3 ) , " expected table, key, and value arguments " , ast )
local root = compiler.compile1 ( ast [ 2 ] , scope , parent , { nval = 1 } ) [ 1 ]
local keys = { }
2020-12-23 10:33:09 -08:00
for i = 3 , ( # ast - 1 ) do
local _0_ = compiler.compile1 ( ast [ i ] , scope , parent , { nval = 1 } )
local key = _0_ [ 1 ]
table.insert ( keys , tostring ( key ) )
2020-09-18 12:13:53 -07:00
end
local value = compiler.compile1 ( ast [ # ast ] , scope , parent , { nval = 1 } ) [ 1 ]
local rootstr = tostring ( root )
local fmtstr = nil
if rootstr : match ( " ^{ " ) then
fmtstr = " do end (%s)[%s] = %s "
else
fmtstr = " %s[%s] = %s "
end
return compiler.emit ( parent , fmtstr : format ( tostring ( root ) , table.concat ( keys , " ][ " ) , tostring ( value ) ) , ast )
end
doc_special ( " tset " , { " tbl " , " key1 " , " ... " , " keyN " , " val " } , " Set the value of a table field. Can take additional keys to set \n nested values, but all parents must contain an existing table. " )
2020-10-13 23:23:38 -07:00
local function calculate_target ( scope , opts )
if not ( opts.tail or opts.target or opts.nval ) then
return " iife " , true , nil
elseif ( opts.nval and ( opts.nval ~= 0 ) and not opts.target ) then
local accum = { }
local target_exprs = { }
2020-12-23 10:33:09 -08:00
for i = 1 , opts.nval do
2020-10-13 23:23:38 -07:00
local s = compiler.gensym ( scope )
accum [ i ] = s
target_exprs [ i ] = utils.expr ( s , " sym " )
end
return " target " , opts.tail , table.concat ( accum , " , " ) , target_exprs
else
return " none " , opts.tail , opts.target
end
end
2020-09-18 12:13:53 -07:00
local function if_2a ( ast , scope , parent , opts )
local do_scope = compiler [ " make-scope " ] ( scope )
local branches = { }
2020-10-13 23:23:38 -07:00
local wrapper , inner_tail , inner_target , target_exprs = calculate_target ( scope , opts )
2020-09-18 12:13:53 -07:00
local body_opts = { nval = opts.nval , tail = inner_tail , target = inner_target }
local function compile_body ( i )
local chunk = { }
local cscope = compiler [ " make-scope " ] ( do_scope )
compiler [ " keep-side-effects " ] ( compiler.compile1 ( ast [ i ] , cscope , chunk , body_opts ) , chunk , nil , ast [ i ] )
return { chunk = chunk , scope = cscope }
end
for i = 2 , ( # ast - 1 ) , 2 do
local condchunk = { }
local res = compiler.compile1 ( ast [ i ] , do_scope , condchunk , { nval = 1 } )
local cond = res [ 1 ]
local branch = compile_body ( ( i + 1 ) )
branch.cond = cond
branch.condchunk = condchunk
branch.nested = ( ( i ~= 2 ) and ( next ( condchunk , nil ) == nil ) )
table.insert ( branches , branch )
end
2020-10-13 23:23:38 -07:00
local has_else_3f = ( ( # ast > 3 ) and ( ( # ast % 2 ) == 0 ) )
local else_branch = ( has_else_3f and compile_body ( # ast ) )
2020-09-18 12:13:53 -07:00
local s = compiler.gensym ( scope )
local buffer = { }
local last_buffer = buffer
for i = 1 , # branches do
local branch = branches [ i ]
local fstr = nil
if not branch.nested then
fstr = " if %s then "
else
fstr = " elseif %s then "
end
local cond = tostring ( branch.cond )
local cond_line = nil
2021-04-12 16:52:31 -07:00
if ( ( cond == " true " ) and branch.nested and ( i == # branches ) and not has_else_3f ) then
2020-09-18 12:13:53 -07:00
cond_line = " else "
else
cond_line = fstr : format ( cond )
end
if branch.nested then
compiler.emit ( last_buffer , branch.condchunk , ast )
else
for _ , v in ipairs ( branch.condchunk ) do
compiler.emit ( last_buffer , v , ast )
end
end
compiler.emit ( last_buffer , cond_line , ast )
compiler.emit ( last_buffer , branch.chunk , ast )
if ( i == # branches ) then
2020-10-13 23:23:38 -07:00
if has_else_3f then
2020-09-18 12:13:53 -07:00
compiler.emit ( last_buffer , " else " , ast )
compiler.emit ( last_buffer , else_branch.chunk , ast )
elseif ( inner_target and ( cond_line ~= " else " ) ) then
compiler.emit ( last_buffer , " else " , ast )
compiler.emit ( last_buffer , ( " %s = nil " ) : format ( inner_target ) , ast )
end
compiler.emit ( last_buffer , " end " , ast )
elseif not branches [ ( i + 1 ) ] . nested then
local next_buffer = { }
compiler.emit ( last_buffer , " else " , ast )
compiler.emit ( last_buffer , next_buffer , ast )
compiler.emit ( last_buffer , " end " , ast )
last_buffer = next_buffer
end
end
if ( wrapper == " iife " ) then
local iifeargs = ( ( scope.vararg and " ... " ) or " " )
compiler.emit ( parent , ( " local function %s(%s) " ) : format ( tostring ( s ) , iifeargs ) , ast )
compiler.emit ( parent , buffer , ast )
compiler.emit ( parent , " end " , ast )
return utils.expr ( ( " %s(%s) " ) : format ( tostring ( s ) , iifeargs ) , " statement " )
elseif ( wrapper == " none " ) then
2020-12-23 10:33:09 -08:00
for i = 1 , # buffer do
2020-09-18 12:13:53 -07:00
compiler.emit ( parent , buffer [ i ] , ast )
end
return { returned = true }
else
compiler.emit ( parent , ( " local %s " ) : format ( inner_target ) , ast )
2020-12-23 10:33:09 -08:00
for i = 1 , # buffer do
2020-09-18 12:13:53 -07:00
compiler.emit ( parent , buffer [ i ] , ast )
end
return target_exprs
end
end
SPECIALS [ " if " ] = if_2a
doc_special ( " if " , { " cond1 " , " body1 " , " ... " , " condN " , " bodyN " } , " Conditional form. \n Takes any number of condition/body pairs and evaluates the first body where \n the condition evaluates to truthy. Similar to cond in other lisps. " )
2021-04-12 16:52:31 -07:00
local function remove_until_condition ( bindings )
if ( " until " == bindings [ ( # bindings - 1 ) ] ) then
table.remove ( bindings , ( # bindings - 1 ) )
return table.remove ( bindings )
end
end
local function compile_until ( condition , scope , chunk )
if condition then
local _0_ = compiler.compile1 ( condition , scope , chunk , { nval = 1 } )
local condition_lua = _0_ [ 1 ]
return compiler.emit ( chunk , ( " if %s then break end " ) : format ( tostring ( condition_lua ) ) , condition )
end
end
2020-09-18 12:13:53 -07:00
SPECIALS.each = function ( ast , scope , parent )
compiler.assert ( ( # ast >= 3 ) , " expected body expression " , ast [ 1 ] )
2020-10-13 23:23:38 -07:00
local binding = compiler.assert ( utils [ " table? " ] ( ast [ 2 ] ) , " expected binding table " , ast )
2021-04-12 16:52:31 -07:00
local until_condition = remove_until_condition ( binding )
2020-09-18 12:13:53 -07:00
local iter = table.remove ( binding , # binding )
local destructures = { }
local new_manglings = { }
local sub_scope = compiler [ " make-scope " ] ( scope )
local function destructure_binding ( v )
2020-10-13 23:23:38 -07:00
if utils [ " sym? " ] ( v ) then
2020-09-18 12:13:53 -07:00
return compiler [ " declare-local " ] ( v , { } , sub_scope , ast , new_manglings )
else
local raw = utils.sym ( compiler.gensym ( sub_scope ) )
destructures [ raw ] = v
return compiler [ " declare-local " ] ( raw , { } , sub_scope , ast )
end
end
local bind_vars = utils.map ( binding , destructure_binding )
local vals = compiler.compile1 ( iter , sub_scope , parent )
local val_names = utils.map ( vals , tostring )
local chunk = { }
compiler.emit ( parent , ( " for %s in %s do " ) : format ( table.concat ( bind_vars , " , " ) , table.concat ( val_names , " , " ) ) , ast )
for raw , args in utils.stablepairs ( destructures ) do
2020-12-23 10:33:09 -08:00
compiler.destructure ( args , raw , ast , sub_scope , chunk , { declaration = true , nomulti = true , symtype = " each " } )
2020-09-18 12:13:53 -07:00
end
compiler [ " apply-manglings " ] ( sub_scope , new_manglings , ast )
2021-04-12 16:52:31 -07:00
compile_until ( until_condition , sub_scope , chunk )
2020-09-18 12:13:53 -07:00
compile_do ( ast , sub_scope , chunk , 3 )
compiler.emit ( parent , chunk , ast )
return compiler.emit ( parent , " end " , ast )
end
doc_special ( " each " , { " [key value (iterator)] " , " ... " } , " Runs the body once for each set of values provided by the given iterator. \n Most commonly used with ipairs for sequential tables or pairs for undefined \n order, but can be used with any iterator. " )
local function while_2a ( ast , scope , parent )
local len1 = # parent
local condition = compiler.compile1 ( ast [ 2 ] , scope , parent , { nval = 1 } ) [ 1 ]
local len2 = # parent
local sub_chunk = { }
if ( len1 ~= len2 ) then
2020-12-23 10:33:09 -08:00
for i = ( len1 + 1 ) , len2 do
table.insert ( sub_chunk , parent [ i ] )
2020-09-18 12:13:53 -07:00
parent [ i ] = nil
end
compiler.emit ( parent , " while true do " , ast )
compiler.emit ( sub_chunk , ( " if not %s then break end " ) : format ( condition [ 1 ] ) , ast )
else
compiler.emit ( parent , ( " while " .. tostring ( condition ) .. " do " ) , ast )
end
compile_do ( ast , compiler [ " make-scope " ] ( scope ) , sub_chunk , 3 )
compiler.emit ( parent , sub_chunk , ast )
return compiler.emit ( parent , " end " , ast )
end
SPECIALS [ " while " ] = while_2a
doc_special ( " while " , { " condition " , " ... " } , " The classic while loop. Evaluates body until a condition is non-truthy. " )
local function for_2a ( ast , scope , parent )
2020-10-13 23:23:38 -07:00
local ranges = compiler.assert ( utils [ " table? " ] ( ast [ 2 ] ) , " expected binding table " , ast )
2021-04-12 16:52:31 -07:00
local until_condition = remove_until_condition ( ast [ 2 ] )
2020-09-18 12:13:53 -07:00
local binding_sym = table.remove ( ast [ 2 ] , 1 )
local sub_scope = compiler [ " make-scope " ] ( scope )
local range_args = { }
local chunk = { }
2020-10-13 23:23:38 -07:00
compiler.assert ( utils [ " sym? " ] ( binding_sym ) , ( " unable to bind %s %s " ) : format ( type ( binding_sym ) , tostring ( binding_sym ) ) , ast [ 2 ] )
2020-09-18 12:13:53 -07:00
compiler.assert ( ( # ast >= 3 ) , " expected body expression " , ast [ 1 ] )
2020-12-23 10:33:09 -08:00
for i = 1 , math.min ( # ranges , 3 ) do
2020-09-18 12:13:53 -07:00
range_args [ i ] = tostring ( compiler.compile1 ( ranges [ i ] , sub_scope , parent , { nval = 1 } ) [ 1 ] )
end
compiler.emit ( parent , ( " for %s = %s do " ) : format ( compiler [ " declare-local " ] ( binding_sym , { } , sub_scope , ast ) , table.concat ( range_args , " , " ) ) , ast )
2021-04-12 16:52:31 -07:00
compile_until ( until_condition , sub_scope , chunk )
2020-09-18 12:13:53 -07:00
compile_do ( ast , sub_scope , chunk , 3 )
compiler.emit ( parent , chunk , ast )
return compiler.emit ( parent , " end " , ast )
end
SPECIALS [ " for " ] = for_2a
doc_special ( " for " , { " [index start stop step?] " , " ... " } , " Numeric loop construct. \n Evaluates body once for each value between start and stop (inclusive). " )
2020-12-23 10:33:09 -08:00
local function native_method_call ( ast , _scope , _parent , target , args )
2020-09-18 12:13:53 -07:00
local _0_ = ast
local _ = _0_ [ 1 ]
local _0 = _0_ [ 2 ]
local method_string = _0_ [ 3 ]
local call_string = nil
if ( ( target.type == " literal " ) or ( target.type == " expression " ) ) then
call_string = " (%s):%s(%s) "
else
call_string = " %s:%s(%s) "
end
return utils.expr ( string.format ( call_string , tostring ( target ) , method_string , table.concat ( args , " , " ) ) , " statement " )
end
local function nonnative_method_call ( ast , scope , parent , target , args )
local method_string = tostring ( compiler.compile1 ( ast [ 3 ] , scope , parent , { nval = 1 } ) [ 1 ] )
2020-10-13 23:23:38 -07:00
local args0 = { tostring ( target ) , unpack ( args ) }
return utils.expr ( string.format ( " %s[%s](%s) " , tostring ( target ) , method_string , table.concat ( args0 , " , " ) ) , " statement " )
2020-09-18 12:13:53 -07:00
end
local function double_eval_protected_method_call ( ast , scope , parent , target , args )
local method_string = tostring ( compiler.compile1 ( ast [ 3 ] , scope , parent , { nval = 1 } ) [ 1 ] )
local call = " (function(tgt, m, ...) return tgt[m](tgt, ...) end)(%s, %s) "
2020-10-13 23:23:38 -07:00
table.insert ( args , 1 , method_string )
2020-09-18 12:13:53 -07:00
return utils.expr ( string.format ( call , tostring ( target ) , table.concat ( args , " , " ) ) , " statement " )
end
local function method_call ( ast , scope , parent )
compiler.assert ( ( 2 < # ast ) , " expected at least 2 arguments " , ast )
local _0_ = compiler.compile1 ( ast [ 2 ] , scope , parent , { nval = 1 } )
local target = _0_ [ 1 ]
local args = { }
for i = 4 , # ast do
local subexprs = nil
local _1_
if ( i ~= # ast ) then
_1_ = 1
else
_1_ = nil
end
subexprs = compiler.compile1 ( ast [ i ] , scope , parent , { nval = _1_ } )
utils.map ( subexprs , tostring , args )
end
if ( ( type ( ast [ 3 ] ) == " string " ) and utils [ " valid-lua-identifier? " ] ( ast [ 3 ] ) ) then
return native_method_call ( ast , scope , parent , target , args )
elseif ( target.type == " sym " ) then
return nonnative_method_call ( ast , scope , parent , target , args )
else
return double_eval_protected_method_call ( ast , scope , parent , target , args )
end
end
SPECIALS [ " : " ] = method_call
doc_special ( " : " , { " tbl " , " method-name " , " ... " } , " Call the named method on tbl with the provided args. \n Method name doesn't have to be known at compile-time; if it is, use \n (tbl:method-name ...) instead. " )
SPECIALS.comment = function ( ast , _ , parent )
local els = { }
2020-12-23 10:33:09 -08:00
for i = 2 , # ast do
local function _1_ ( )
local _0_0 = tostring ( ast [ i ] ) : gsub ( " \n " , " " )
return _0_0
end
table.insert ( els , _1_ ( ) )
2020-09-18 12:13:53 -07:00
end
return compiler.emit ( parent , ( " -- " .. table.concat ( els , " " ) ) , ast )
end
doc_special ( " comment " , { " ... " } , " Comment which will be emitted in Lua output. " )
2020-10-13 23:23:38 -07:00
local function hashfn_max_used ( f_scope , i , max )
local max0 = nil
if f_scope.symmeta [ ( " $ " .. i ) ] . used then
max0 = i
else
max0 = max
end
if ( i < 9 ) then
return hashfn_max_used ( f_scope , ( i + 1 ) , max0 )
else
return max0
end
end
2020-09-18 12:13:53 -07:00
SPECIALS.hashfn = function ( ast , scope , parent )
compiler.assert ( ( # ast == 2 ) , " expected one argument " , ast )
local f_scope = nil
do
local _0_0 = compiler [ " make-scope " ] ( scope )
_0_0 [ " vararg " ] = false
_0_0 [ " hashfn " ] = true
f_scope = _0_0
end
local f_chunk = { }
local name = compiler.gensym ( scope )
local symbol = utils.sym ( name )
local args = { }
2020-10-13 23:23:38 -07:00
compiler [ " declare-local " ] ( symbol , { } , scope , ast )
2020-09-18 12:13:53 -07:00
for i = 1 , 9 do
args [ i ] = compiler [ " declare-local " ] ( utils.sym ( ( " $ " .. i ) ) , { } , f_scope , ast )
end
local function walker ( idx , node , parent_node )
2020-10-13 23:23:38 -07:00
if ( utils [ " sym? " ] ( node ) and ( utils.deref ( node ) == " $... " ) ) then
2020-09-18 12:13:53 -07:00
parent_node [ idx ] = utils.varg ( )
f_scope.vararg = true
return nil
else
2020-10-13 23:23:38 -07:00
return ( utils [ " list? " ] ( node ) or utils [ " table? " ] ( node ) )
2020-09-18 12:13:53 -07:00
end
end
utils [ " walk-tree " ] ( ast [ 2 ] , walker )
compiler.compile1 ( ast [ 2 ] , f_scope , f_chunk , { tail = true } )
2020-10-13 23:23:38 -07:00
local max_used = hashfn_max_used ( f_scope , 1 , 0 )
2020-09-18 12:13:53 -07:00
if f_scope.vararg then
compiler.assert ( ( max_used == 0 ) , " $ and $... in hashfn are mutually exclusive " , ast )
end
2020-10-13 23:23:38 -07:00
local arg_str = nil
if f_scope.vararg then
arg_str = utils.deref ( utils.varg ( ) )
else
arg_str = table.concat ( args , " , " , 1 , max_used )
end
compiler.emit ( parent , string.format ( " local function %s(%s) " , name , arg_str ) , ast )
2020-09-18 12:13:53 -07:00
compiler.emit ( parent , f_chunk , ast )
compiler.emit ( parent , " end " , ast )
return utils.expr ( name , " sym " )
end
doc_special ( " hashfn " , { " ... " } , " Function literal shorthand; args are either $... OR $1, $2, etc. " )
2021-04-12 16:52:31 -07:00
local function arithmetic_special ( name , zero_arity , unary_prefix , ast , scope , parent )
local len = # ast
if ( len == 1 ) then
compiler.assert ( zero_arity , " Expected more than 0 arguments " , ast )
return utils.expr ( zero_arity , " literal " )
else
local operands = { }
local padded_op = ( " " .. name .. " " )
for i = 2 , len do
local subexprs = nil
local _0_
if ( i ~= len ) then
_0_ = 1
2020-09-18 12:13:53 -07:00
else
2021-04-12 16:52:31 -07:00
_0_ = nil
end
subexprs = compiler.compile1 ( ast [ i ] , scope , parent , { nval = _0_ } )
utils.map ( subexprs , tostring , operands )
end
if ( # operands == 1 ) then
if unary_prefix then
return ( " ( " .. unary_prefix .. padded_op .. operands [ 1 ] .. " ) " )
else
return operands [ 1 ]
2020-09-18 12:13:53 -07:00
end
2021-04-12 16:52:31 -07:00
else
return ( " ( " .. table.concat ( operands , padded_op ) .. " ) " )
2020-09-18 12:13:53 -07:00
end
end
2021-04-12 16:52:31 -07:00
end
local function define_arithmetic_special ( name , zero_arity , unary_prefix , lua_name )
local function _0_ ( ... )
return arithmetic_special ( ( lua_name or name ) , zero_arity , unary_prefix , ... )
end
SPECIALS [ name ] = _0_
2020-09-18 12:13:53 -07:00
return doc_special ( name , { " a " , " b " , " ... " } , " Arithmetic operator; works the same as Lua but accepts more arguments. " )
end
define_arithmetic_special ( " + " , " 0 " )
define_arithmetic_special ( " .. " , " '' " )
define_arithmetic_special ( " ^ " )
define_arithmetic_special ( " - " , nil , " " )
define_arithmetic_special ( " * " , " 1 " )
define_arithmetic_special ( " % " )
define_arithmetic_special ( " / " , nil , " 1 " )
define_arithmetic_special ( " // " , nil , " 1 " )
2021-04-12 16:52:31 -07:00
local function bitop_special ( native_name , lib_name , zero_arity , unary_prefix , ast , scope , parent )
if ( # ast == 1 ) then
return compiler.assert ( zero_arity , " Expected more than 0 arguments. " , ast )
else
local len = # ast
local operands = { }
local padded_native_name = ( " " .. native_name .. " " )
local prefixed_lib_name = ( " bit. " .. lib_name )
for i = 2 , len do
local subexprs = nil
local _0_
if ( i ~= len ) then
_0_ = 1
else
_0_ = nil
end
subexprs = compiler.compile1 ( ast [ i ] , scope , parent , { nval = _0_ } )
utils.map ( subexprs , tostring , operands )
end
if ( # operands == 1 ) then
if utils.root . options.useBitLib then
return ( prefixed_lib_name .. " ( " .. unary_prefix .. " , " .. operands [ 1 ] .. " ) " )
else
return ( " ( " .. unary_prefix .. padded_native_name .. operands [ 1 ] .. " ) " )
end
else
if utils.root . options.useBitLib then
return ( prefixed_lib_name .. " ( " .. table.concat ( operands , " , " ) .. " ) " )
else
return ( " ( " .. table.concat ( operands , padded_native_name ) .. " ) " )
end
end
end
end
local function define_bitop_special ( name , zero_arity , unary_prefix , native )
local function _0_ ( ... )
return bitop_special ( native , name , zero_arity , unary_prefix , ... )
end
SPECIALS [ name ] = _0_
return nil
end
define_bitop_special ( " lshift " , nil , " 1 " , " << " )
define_bitop_special ( " rshift " , nil , " 1 " , " >> " )
define_bitop_special ( " band " , " 0 " , " 0 " , " & " )
define_bitop_special ( " bor " , " 0 " , " 0 " , " | " )
define_bitop_special ( " bxor " , " 0 " , " 0 " , " ~ " )
doc_special ( " lshift " , { " x " , " n " } , " Bitwise logical left shift of x by n bits. \n Only works in Lua 5.3+ or LuaJIT with the --use-bit-lib flag. " )
doc_special ( " rshift " , { " x " , " n " } , " Bitwise logical right shift of x by n bits. \n Only works in Lua 5.3+ or LuaJIT with the --use-bit-lib flag. " )
doc_special ( " band " , { " x1 " , " x2 " , " ... " } , " Bitwise AND of any number of arguments. \n Only works in Lua 5.3+ or LuaJIT with the --use-bit-lib flag. " )
doc_special ( " bor " , { " x1 " , " x2 " , " ... " } , " Bitwise OR of any number of arguments. \n Only works in Lua 5.3+ or LuaJIT with the --use-bit-lib flag. " )
doc_special ( " bxor " , { " x1 " , " x2 " , " ... " } , " Bitwise XOR of any number of arguments. \n Only works in Lua 5.3+ or LuaJIT with the --use-bit-lib flag. " )
2020-09-18 12:13:53 -07:00
define_arithmetic_special ( " or " , " false " )
define_arithmetic_special ( " and " , " true " )
doc_special ( " and " , { " a " , " b " , " ... " } , " Boolean operator; works the same as Lua but accepts more arguments. " )
doc_special ( " or " , { " a " , " b " , " ... " } , " Boolean operator; works the same as Lua but accepts more arguments. " )
doc_special ( " .. " , { " a " , " b " , " ... " } , " String concatenation operator; works the same as Lua but accepts more arguments. " )
local function native_comparator ( op , _0_0 , scope , parent )
local _1_ = _0_0
local _ = _1_ [ 1 ]
local lhs_ast = _1_ [ 2 ]
local rhs_ast = _1_ [ 3 ]
local _2_ = compiler.compile1 ( lhs_ast , scope , parent , { nval = 1 } )
local lhs = _2_ [ 1 ]
local _3_ = compiler.compile1 ( rhs_ast , scope , parent , { nval = 1 } )
local rhs = _3_ [ 1 ]
return string.format ( " (%s %s %s) " , tostring ( lhs ) , op , tostring ( rhs ) )
end
local function double_eval_protected_comparator ( op , chain_op , ast , scope , parent )
local arglist = { }
local comparisons = { }
local vals = { }
local chain = string.format ( " %s " , ( chain_op or " and " ) )
for i = 2 , # ast do
table.insert ( arglist , tostring ( compiler.gensym ( scope ) ) )
table.insert ( vals , tostring ( compiler.compile1 ( ast [ i ] , scope , parent , { nval = 1 } ) [ 1 ] ) )
end
for i = 1 , ( # arglist - 1 ) do
table.insert ( comparisons , string.format ( " (%s %s %s) " , arglist [ i ] , op , arglist [ ( i + 1 ) ] ) )
end
return string.format ( " (function(%s) return %s end)(%s) " , table.concat ( arglist , " , " ) , table.concat ( comparisons , chain ) , table.concat ( vals , " , " ) )
end
local function define_comparator_special ( name , lua_op , chain_op )
do
local op = ( lua_op or name )
local function opfn ( ast , scope , parent )
compiler.assert ( ( 2 < # ast ) , " expected at least two arguments " , ast )
if ( 3 == # ast ) then
return native_comparator ( op , ast , scope , parent )
else
return double_eval_protected_comparator ( op , chain_op , ast , scope , parent )
end
end
SPECIALS [ name ] = opfn
end
return doc_special ( name , { " a " , " b " , " ... " } , " Comparison operator; works the same as Lua but accepts more arguments. " )
end
define_comparator_special ( " > " )
define_comparator_special ( " < " )
define_comparator_special ( " >= " )
define_comparator_special ( " <= " )
define_comparator_special ( " = " , " == " )
define_comparator_special ( " not= " , " ~= " , " or " )
local function define_unary_special ( op , realop )
local function opfn ( ast , scope , parent )
compiler.assert ( ( # ast == 2 ) , " expected one argument " , ast )
local tail = compiler.compile1 ( ast [ 2 ] , scope , parent , { nval = 1 } )
return ( ( realop or op ) .. tostring ( tail [ 1 ] ) )
end
SPECIALS [ op ] = opfn
return nil
end
define_unary_special ( " not " , " not " )
doc_special ( " not " , { " x " } , " Logical operator; works the same as Lua. " )
define_unary_special ( " bnot " , " ~ " )
2021-04-12 16:52:31 -07:00
doc_special ( " bnot " , { " x " } , " Bitwise negation; only works in Lua 5.3+ or LuaJIT with the --use-bit-lib flag. " )
2020-09-18 12:13:53 -07:00
define_unary_special ( " length " , " # " )
doc_special ( " length " , { " x " } , " Returns the length of a table or string. " )
2021-04-12 16:52:31 -07:00
SPECIALS [ " ~= " ] = SPECIALS [ " not= " ]
2020-09-18 12:13:53 -07:00
SPECIALS [ " # " ] = SPECIALS.length
SPECIALS.quote = function ( ast , scope , parent )
compiler.assert ( ( # ast == 2 ) , " expected one argument " )
local runtime , this_scope = true , scope
while this_scope do
this_scope = this_scope.parent
if ( this_scope == compiler.scopes . compiler ) then
runtime = false
end
2018-10-17 18:32:39 -07:00
end
2020-09-18 12:13:53 -07:00
return compiler [ " do-quote " ] ( ast [ 2 ] , scope , parent , runtime )
end
doc_special ( " quote " , { " x " } , " Quasiquote the following form. Only works in macro/compiler scope. " )
2020-10-13 23:23:38 -07:00
local already_warned_3f = { }
2021-04-12 16:52:31 -07:00
local compile_env_warning = table.concat ( { " WARNING: Attempting to %s %s in compile scope. " , " In future versions of Fennel this will not be allowed without the " , " --no-compiler-sandbox flag or passing a :compilerEnv globals table " , " in the options. \n " } , " \n " )
2020-12-23 10:33:09 -08:00
local function compiler_env_warn ( _ , key )
2020-10-13 23:23:38 -07:00
local v = _G [ key ]
if ( v and io and io.stderr and not already_warned_3f [ key ] ) then
already_warned_3f [ key ] = true
do end ( io.stderr ) : write ( compile_env_warning : format ( " use global " , key ) )
end
return v
end
2021-04-12 16:52:31 -07:00
local function safe_getmetatable ( tbl )
local mt = getmetatable ( tbl )
assert ( ( mt ~= getmetatable ( " " ) ) , " Illegal metatable access! " )
return mt
end
local safe_require = nil
local function safe_compiler_env ( strict_3f )
local _1_
if strict_3f then
_1_ = nil
else
_1_ = compiler_env_warn
end
return setmetatable ( { assert = assert , bit = rawget ( _G , " bit " ) , error = error , getmetatable = safe_getmetatable , ipairs = ipairs , math = utils.copy ( math ) , next = next , pairs = pairs , pcall = pcall , print = print , rawequal = rawequal , rawget = rawget , rawlen = rawget ( _G , " rawlen " ) , rawset = rawset , require = safe_require , select = select , setmetatable = setmetatable , string = utils.copy ( string ) , table = utils.copy ( table ) , tonumber = tonumber , tostring = tostring , type = type , xpcall = xpcall } , { __index = _1_ } )
end
local function make_compiler_env ( ast , scope , parent , strict_3f )
2020-09-18 12:13:53 -07:00
local function _1_ ( )
return compiler.scopes . macro
end
local function _2_ ( symbol )
compiler.assert ( compiler.scopes . macro , " must call from macro " , ast )
return compiler.scopes . macro.manglings [ tostring ( symbol ) ]
end
2020-12-23 10:33:09 -08:00
local function _3_ ( base )
return utils.sym ( compiler.gensym ( ( compiler.scopes . macro or scope ) , base ) )
2020-09-18 12:13:53 -07:00
end
local function _4_ ( form )
compiler.assert ( compiler.scopes . macro , " must call from macro " , ast )
return compiler.macroexpand ( form , compiler.scopes . macro )
end
2020-10-13 23:23:38 -07:00
local _6_
do
local _5_0 = utils.root . options
2021-04-12 16:52:31 -07:00
if ( ( type ( _5_0 ) == " table " ) and ( _5_0 [ " compiler-env " ] == " strict " ) ) then
_6_ = safe_compiler_env ( true )
elseif ( ( type ( _5_0 ) == " table " ) and ( nil ~= _5_0.compilerEnv ) ) then
2021-02-01 17:09:15 -08:00
local compilerEnv = _5_0.compilerEnv
_6_ = compilerEnv
elseif ( ( type ( _5_0 ) == " table " ) and ( nil ~= _5_0 [ " compiler-env " ] ) ) then
2020-10-13 23:23:38 -07:00
local compiler_env = _5_0 [ " compiler-env " ]
_6_ = compiler_env
else
local _ = _5_0
2021-04-12 16:52:31 -07:00
_6_ = safe_compiler_env ( false )
2020-10-13 23:23:38 -07:00
end
end
2021-02-01 17:09:15 -08:00
return setmetatable ( { [ " assert-compile " ] = compiler.assert , [ " get-scope " ] = _1_ , [ " in-scope? " ] = _2_ , [ " list? " ] = utils [ " list? " ] , [ " multi-sym? " ] = utils [ " multi-sym? " ] , [ " sequence? " ] = utils [ " sequence? " ] , [ " sym? " ] = utils [ " sym? " ] , [ " table? " ] = utils [ " table? " ] , [ " varg? " ] = utils [ " varg? " ] , _AST = ast , _CHUNK = parent , _IS_COMPILER = true , _SCOPE = scope , _SPECIALS = compiler.scopes . global.specials , _VARARG = utils.varg ( ) , gensym = _3_ , list = utils.list , macroexpand = _4_ , sequence = utils.sequence , sym = utils.sym , unpack = unpack , view = view } , { __index = _6_ } )
2020-09-18 12:13:53 -07:00
end
local cfg = string.gmatch ( package.config , " ([^ \n ]+) " )
local dirsep , pathsep , pathmark = ( cfg ( ) or " / " ) , ( cfg ( ) or " ; " ) , ( cfg ( ) or " ? " )
local pkg_config = { dirsep = dirsep , pathmark = pathmark , pathsep = pathsep }
local function escapepat ( str )
return string.gsub ( str , " [^%w] " , " %%%1 " )
end
local function search_module ( modulename , pathstring )
local pathsepesc = escapepat ( pkg_config.pathsep )
local pattern = ( " ([^%s]*)%s " ) : format ( pathsepesc , pathsepesc )
local no_dot_module = modulename : gsub ( " %. " , pkg_config.dirsep )
local fullpath = ( ( pathstring or utils [ " fennel-module " ] . path ) .. pkg_config.pathsep )
local function try_path ( path )
local filename = path : gsub ( escapepat ( pkg_config.pathmark ) , no_dot_module )
local filename2 = path : gsub ( escapepat ( pkg_config.pathmark ) , modulename )
local _1_0 = ( io.open ( filename ) or io.open ( filename2 ) )
if ( nil ~= _1_0 ) then
local file = _1_0
file : close ( )
return filename
end
2020-03-07 17:41:37 -08:00
end
2020-09-18 12:13:53 -07:00
local function find_in_path ( start )
local _1_0 = fullpath : match ( pattern , start )
if ( nil ~= _1_0 ) then
local path = _1_0
return ( try_path ( path ) or find_in_path ( ( start + # path + 1 ) ) )
end
2018-10-17 18:32:39 -07:00
end
2020-09-18 12:13:53 -07:00
return find_in_path ( 1 )
end
local function make_searcher ( options )
local function _1_ ( module_name )
2020-12-23 10:33:09 -08:00
local opts = utils.copy ( utils.root . options )
for k , v in pairs ( ( options or { } ) ) do
opts [ k ] = v
end
opts [ " module-name " ] = module_name
local _2_0 = search_module ( module_name )
if ( nil ~= _2_0 ) then
local filename = _2_0
local function _3_ ( ... )
return utils [ " fennel-module " ] . dofile ( filename , opts , ... )
2020-09-18 12:13:53 -07:00
end
2020-12-23 10:33:09 -08:00
return _3_ , filename
2020-09-18 12:13:53 -07:00
end
end
return _1_
end
local function macro_globals ( env , globals )
local allowed = current_global_names ( env )
for _ , k in pairs ( ( globals or { } ) ) do
table.insert ( allowed , k )
end
return allowed
end
2021-04-12 16:52:31 -07:00
local function default_macro_searcher ( module_name )
local _1_0 = search_module ( module_name )
if ( nil ~= _1_0 ) then
local filename = _1_0
local function _2_ ( ... )
return utils [ " fennel-module " ] . dofile ( filename , { env = " _COMPILER " } , ... )
end
return _2_ , filename
end
end
local macro_searchers = { default_macro_searcher }
local function search_macro_module ( modname , n )
local _1_0 = macro_searchers [ n ]
if ( nil ~= _1_0 ) then
local f = _1_0
local _2_0 , _3_0 = f ( modname )
if ( ( nil ~= _2_0 ) and true ) then
local loader = _2_0
local _3ffilename = _3_0
return loader , _3ffilename
else
local _ = _2_0
return search_macro_module ( modname , ( n + 1 ) )
end
end
2020-10-13 23:23:38 -07:00
end
local macro_loaded = { }
local function metadata_only_fennel ( modname )
if ( ( modname == " fennel.macros " ) or ( package and package.loaded and ( " table " == type ( package.loaded [ modname ] ) ) and ( package.loaded [ modname ] . metadata == compiler.metadata ) ) ) then
return { metadata = compiler.metadata }
end
end
2021-04-12 16:52:31 -07:00
local function _1_ ( modname )
local function _2_ ( )
local loader , filename = search_macro_module ( modname , 1 )
compiler.assert ( loader , ( modname .. " module not found. " ) )
macro_loaded [ modname ] = loader ( modname , filename )
return macro_loaded [ modname ]
2020-10-13 23:23:38 -07:00
end
2021-04-12 16:52:31 -07:00
return ( macro_loaded [ modname ] or metadata_only_fennel ( modname ) or _2_ ( ) )
2020-10-13 23:23:38 -07:00
end
2021-04-12 16:52:31 -07:00
safe_require = _1_
2020-09-18 12:13:53 -07:00
local function add_macros ( macros_2a , ast , scope )
2020-10-13 23:23:38 -07:00
compiler.assert ( utils [ " table? " ] ( macros_2a ) , " expected macros to be table " , ast )
2020-09-18 12:13:53 -07:00
for k , v in pairs ( macros_2a ) do
compiler.assert ( ( type ( v ) == " function " ) , " expected each macro to be function " , ast )
scope.macros [ k ] = v
end
return nil
end
2020-12-23 10:33:09 -08:00
SPECIALS [ " require-macros " ] = function ( ast , scope , parent , real_ast )
compiler.assert ( ( # ast == 2 ) , " Expected one module name argument " , ( real_ast or ast ) )
local filename = ( ast [ 2 ] . filename or ast.filename )
2021-04-12 16:52:31 -07:00
local modname_chunk = load_code ( compiler.compile ( ast [ 2 ] ) , nil , filename )
local modname = modname_chunk ( utils.root . options [ " module-name " ] , filename )
2020-12-23 10:33:09 -08:00
compiler.assert ( ( type ( modname ) == " string " ) , " module name must compile to string " , ( real_ast or ast ) )
2020-09-18 12:13:53 -07:00
if not macro_loaded [ modname ] then
2020-10-13 23:23:38 -07:00
local env = make_compiler_env ( ast , scope , parent )
2021-04-12 16:52:31 -07:00
local loader , filename0 = search_macro_module ( modname , 1 )
compiler.assert ( loader , ( modname .. " module not found. " ) , ast )
macro_loaded [ modname ] = loader ( modname , filename0 )
2020-09-18 12:13:53 -07:00
end
return add_macros ( macro_loaded [ modname ] , ast , scope , parent )
end
doc_special ( " require-macros " , { " macro-module-name " } , " Load given module and use its contents as macro definitions in current scope. \n Macro module should return a table of macro functions with string keys. \n Consider using import-macros instead as it is more flexible. " )
2020-12-23 10:33:09 -08:00
local function emit_included_fennel ( src , path , opts , sub_chunk )
2020-09-18 12:13:53 -07:00
local subscope = compiler [ " make-scope " ] ( utils.root . scope.parent )
local forms = { }
if utils.root . options.requireAsInclude then
subscope.specials . require = compiler [ " require-include " ]
end
for _ , val in parser.parser ( parser [ " string-stream " ] ( src ) , path ) do
table.insert ( forms , val )
end
for i = 1 , # forms do
local subopts = nil
if ( i == # forms ) then
2020-12-23 10:33:09 -08:00
subopts = { tail = true }
2020-09-18 12:13:53 -07:00
else
subopts = { nval = 0 }
end
utils [ " propagate-options " ] ( opts , subopts )
compiler.compile1 ( forms [ i ] , subscope , sub_chunk , subopts )
end
return nil
end
local function include_path ( ast , opts , path , mod , fennel_3f )
utils.root . scope.includes [ mod ] = " fnl/loading "
local src = nil
do
local f = assert ( io.open ( path ) )
local function close_handlers_0_ ( ok_0_ , ... )
f : close ( )
if ok_0_ then
return ...
2019-09-22 15:35:39 -07:00
else
2020-09-18 12:13:53 -07:00
return error ( ... , 0 )
2019-09-22 15:35:39 -07:00
end
2020-09-18 12:13:53 -07:00
end
2021-04-12 16:52:31 -07:00
local function _2_ ( )
2020-09-18 12:13:53 -07:00
return f : read ( " *all " ) : gsub ( " [ \13 \n ]*$ " , " " )
end
2021-04-12 16:52:31 -07:00
src = close_handlers_0_ ( xpcall ( _2_ , ( package.loaded . fennel or debug ) . traceback ) )
2020-09-18 12:13:53 -07:00
end
local ret = utils.expr ( ( " require( \" " .. mod .. " \" ) " ) , " statement " )
local target = ( " package.preload[%q] " ) : format ( mod )
local preload_str = ( target .. " = " .. target .. " or function(...) " )
local temp_chunk , sub_chunk = { } , { }
compiler.emit ( temp_chunk , preload_str , ast )
compiler.emit ( temp_chunk , sub_chunk )
compiler.emit ( temp_chunk , " end " , ast )
for i , v in ipairs ( temp_chunk ) do
table.insert ( utils.root . chunk , i , v )
end
if fennel_3f then
2020-12-23 10:33:09 -08:00
emit_included_fennel ( src , path , opts , sub_chunk )
2020-09-18 12:13:53 -07:00
else
compiler.emit ( sub_chunk , src , ast )
2018-10-17 18:32:39 -07:00
end
2020-09-18 12:13:53 -07:00
utils.root . scope.includes [ mod ] = ret
return ret
end
local function include_circular_fallback ( mod , modexpr , fallback , ast )
if ( utils.root . scope.includes [ mod ] == " fnl/loading " ) then
compiler.assert ( fallback , " circular include detected " , ast )
return fallback ( modexpr )
end
end
SPECIALS.include = function ( ast , scope , parent , opts )
compiler.assert ( ( # ast == 2 ) , " expected one argument " , ast )
local modexpr = compiler.compile1 ( ast [ 2 ] , scope , parent , { nval = 1 } ) [ 1 ]
if ( ( modexpr.type ~= " literal " ) or ( ( modexpr [ 1 ] ) : byte ( ) ~= 34 ) ) then
if opts.fallback then
return opts.fallback ( modexpr )
else
return compiler.assert ( false , " module name must be string literal " , ast )
end
2018-10-17 18:32:39 -07:00
else
2020-09-18 12:13:53 -07:00
local mod = load_code ( ( " return " .. modexpr [ 1 ] ) ) ( )
2021-04-12 16:52:31 -07:00
local function _3_ ( )
local _2_0 = search_module ( mod )
if ( nil ~= _2_0 ) then
local fennel_path = _2_0
2020-09-18 12:13:53 -07:00
return include_path ( ast , opts , fennel_path , mod , true )
else
2021-04-12 16:52:31 -07:00
local _ = _2_0
2020-09-18 12:13:53 -07:00
local lua_path = search_module ( mod , package.path )
if lua_path then
return include_path ( ast , opts , lua_path , mod , false )
elseif opts.fallback then
return opts.fallback ( modexpr )
else
return compiler.assert ( false , ( " module not found " .. mod ) , ast )
end
end
end
2021-04-12 16:52:31 -07:00
return ( include_circular_fallback ( mod , modexpr , opts.fallback , ast ) or utils.root . scope.includes [ mod ] or _3_ ( ) )
2020-09-18 12:13:53 -07:00
end
end
doc_special ( " include " , { " module-name-literal " } , " Like require but load the target module during compilation and embed it in the \n Lua output. The module must be a string literal and resolvable at compile time. " )
local function eval_compiler_2a ( ast , scope , parent )
2020-10-13 23:23:38 -07:00
local env = make_compiler_env ( ast , scope , parent )
local opts = utils.copy ( utils.root . options )
opts.scope = compiler [ " make-scope " ] ( compiler.scopes . compiler )
opts.allowedGlobals = macro_globals ( env , current_global_names ( ) )
2020-12-23 10:33:09 -08:00
return load_code ( compiler.compile ( ast , opts ) , wrap_env ( env ) ) ( opts [ " module-name " ] , ast.filename )
2020-09-18 12:13:53 -07:00
end
SPECIALS.macros = function ( ast , scope , parent )
compiler.assert ( ( # ast == 2 ) , " Expected one table argument " , ast )
return add_macros ( eval_compiler_2a ( ast [ 2 ] , scope , parent ) , ast , scope , parent )
end
doc_special ( " macros " , { " {:macro-name-1 (fn [...] ...) ... :macro-name-N macro-body-N} " } , " Define all functions in the given table as macros local to the current scope. " )
SPECIALS [ " eval-compiler " ] = function ( ast , scope , parent )
local old_first = ast [ 1 ]
ast [ 1 ] = utils.sym ( " do " )
local val = eval_compiler_2a ( ast , scope , parent )
ast [ 1 ] = old_first
return val
end
doc_special ( " eval-compiler " , { " ... " } , " Evaluate the body at compile-time. Use the macro system instead if possible. " )
2021-04-12 16:52:31 -07:00
return { [ " current-global-names " ] = current_global_names , [ " load-code " ] = load_code , [ " macro-loaded " ] = macro_loaded , [ " macro-searchers " ] = macro_searchers , [ " make-compiler-env " ] = make_compiler_env , [ " make-searcher " ] = make_searcher , [ " search-module " ] = search_module , [ " wrap-env " ] = wrap_env , doc = doc_2a }
2020-09-18 12:13:53 -07:00
end
package.preload [ " fennel.compiler " ] = package.preload [ " fennel.compiler " ] or function ( ... )
local utils = require ( " fennel.utils " )
local parser = require ( " fennel.parser " )
local friend = require ( " fennel.friend " )
2021-02-01 17:09:15 -08:00
local unpack = ( table.unpack or _G.unpack )
2020-09-18 12:13:53 -07:00
local scopes = { }
local function make_scope ( parent )
local parent0 = ( parent or scopes.global )
local _0_
if parent0 then
_0_ = ( ( parent0.depth or 0 ) + 1 )
else
_0_ = 0
2018-10-17 18:32:39 -07:00
end
2020-09-18 12:13:53 -07:00
return { autogensyms = { } , depth = _0_ , hashfn = ( parent0 and parent0.hashfn ) , includes = setmetatable ( { } , { __index = ( parent0 and parent0.includes ) } ) , macros = setmetatable ( { } , { __index = ( parent0 and parent0.macros ) } ) , manglings = setmetatable ( { } , { __index = ( parent0 and parent0.manglings ) } ) , parent = parent0 , refedglobals = setmetatable ( { } , { __index = ( parent0 and parent0.refedglobals ) } ) , specials = setmetatable ( { } , { __index = ( parent0 and parent0.specials ) } ) , symmeta = setmetatable ( { } , { __index = ( parent0 and parent0.symmeta ) } ) , unmanglings = setmetatable ( { } , { __index = ( parent0 and parent0.unmanglings ) } ) , vararg = ( parent0 and parent0.vararg ) }
end
2021-02-01 17:09:15 -08:00
local function assert_msg ( ast , msg )
local ast_tbl = nil
if ( " table " == type ( ast ) ) then
ast_tbl = ast
else
ast_tbl = { }
end
local m = getmetatable ( ast )
local filename = ( ( m and m.filename ) or ast_tbl.filename or " unknown " )
local line = ( ( m and m.line ) or ast_tbl.line or " ? " )
local target = nil
local function _1_ ( )
if utils [ " sym? " ] ( ast_tbl [ 1 ] ) then
return utils.deref ( ast_tbl [ 1 ] )
else
return ( ast_tbl [ 1 ] or " () " )
end
end
target = tostring ( _1_ ( ) )
return string.format ( " Compile error in '%s' %s:%s: %s " , target , filename , line , msg )
end
2020-09-18 12:13:53 -07:00
local function assert_compile ( condition , msg , ast )
if not condition then
local _0_ = ( utils.root . options or { } )
local source = _0_ [ " source " ]
local unfriendly = _0_ [ " unfriendly " ]
utils.root . reset ( )
if unfriendly then
2021-02-01 17:09:15 -08:00
error ( assert_msg ( ast , msg ) , 0 )
2020-09-18 12:13:53 -07:00
else
friend [ " assert-compile " ] ( condition , msg , ast , source )
end
2020-03-07 17:41:37 -08:00
end
2020-09-18 12:13:53 -07:00
return condition
end
scopes.global = make_scope ( )
scopes.global . vararg = true
scopes.compiler = make_scope ( scopes.global )
scopes.macro = scopes.global
local serialize_subst = { [ " \11 " ] = " \\ v " , [ " \12 " ] = " \\ f " , [ " \7 " ] = " \\ a " , [ " \8 " ] = " \\ b " , [ " \9 " ] = " \\ t " , [ " \n " ] = " n " }
local function serialize_string ( str )
local function _0_ ( _241 )
return ( " \\ " .. _241 : byte ( ) )
end
2020-10-13 23:23:38 -07:00
return string.gsub ( string.gsub ( string.format ( " %q " , str ) , " . " , serialize_subst ) , " [ \128 - \255 ] " , _0_ )
2020-09-18 12:13:53 -07:00
end
local function global_mangling ( str )
if utils [ " valid-lua-identifier? " ] ( str ) then
return str
else
local function _0_ ( _241 )
2020-10-13 23:23:38 -07:00
return string.format ( " _%02x " , _241 : byte ( ) )
2020-09-18 12:13:53 -07:00
end
return ( " __fnl_global__ " .. str : gsub ( " [^%w] " , _0_ ) )
end
end
local function global_unmangling ( identifier )
2020-10-13 23:23:38 -07:00
local _0_0 = string.match ( identifier , " ^__fnl_global__(.*)$ " )
2020-09-18 12:13:53 -07:00
if ( nil ~= _0_0 ) then
local rest = _0_0
local _1_0 = nil
local function _2_ ( _241 )
return string.char ( tonumber ( _241 : sub ( 2 ) , 16 ) )
end
2020-10-13 23:23:38 -07:00
_1_0 = string.gsub ( rest , " _[%da-f][%da-f] " , _2_ )
2020-09-18 12:13:53 -07:00
return _1_0
else
local _ = _0_0
return identifier
end
end
local allowed_globals = nil
local function global_allowed ( name )
2020-12-23 10:33:09 -08:00
return ( not allowed_globals or utils [ " member? " ] ( name , allowed_globals ) )
2020-10-13 23:23:38 -07:00
end
local function unique_mangling ( original , mangling , scope , append )
if scope.unmanglings [ mangling ] then
return unique_mangling ( original , ( original .. append ) , scope , ( append + 1 ) )
else
return mangling
2020-09-18 12:13:53 -07:00
end
end
local function local_mangling ( str , scope , ast , temp_manglings )
2020-10-13 23:23:38 -07:00
assert_compile ( not utils [ " multi-sym? " ] ( str ) , ( " unexpected multi symbol " .. str ) , ast )
local raw = nil
if ( utils [ " lua-keywords " ] [ str ] or str : match ( " ^%d " ) ) then
raw = ( " _ " .. str )
else
raw = str
2020-09-18 12:13:53 -07:00
end
2020-10-13 23:23:38 -07:00
local mangling = nil
2020-09-18 12:13:53 -07:00
local function _1_ ( _241 )
2020-10-13 23:23:38 -07:00
return string.format ( " _%02x " , _241 : byte ( ) )
2020-09-18 12:13:53 -07:00
end
2020-10-13 23:23:38 -07:00
mangling = string.gsub ( string.gsub ( raw , " - " , " _ " ) , " [^%w_] " , _1_ )
local unique = unique_mangling ( mangling , mangling , scope , 0 )
scope.unmanglings [ unique ] = str
2020-09-18 12:13:53 -07:00
do
local manglings = ( temp_manglings or scope.manglings )
2020-10-13 23:23:38 -07:00
manglings [ str ] = unique
2020-03-07 17:41:37 -08:00
end
2020-10-13 23:23:38 -07:00
return unique
2020-09-18 12:13:53 -07:00
end
local function apply_manglings ( scope , new_manglings , ast )
for raw , mangled in pairs ( new_manglings ) do
assert_compile ( not scope.refedglobals [ mangled ] , ( " use of global " .. raw .. " is aliased by a local " ) , ast )
scope.manglings [ raw ] = mangled
end
return nil
end
local function combine_parts ( parts , scope )
local ret = ( scope.manglings [ parts [ 1 ] ] or global_mangling ( parts [ 1 ] ) )
2020-12-23 10:33:09 -08:00
for i = 2 , # parts do
2020-09-18 12:13:53 -07:00
if utils [ " valid-lua-identifier? " ] ( parts [ i ] ) then
if ( parts [ " multi-sym-method-call " ] and ( i == # parts ) ) then
ret = ( ret .. " : " .. parts [ i ] )
2018-10-17 18:32:39 -07:00
else
2020-09-18 12:13:53 -07:00
ret = ( ret .. " . " .. parts [ i ] )
2018-10-17 18:32:39 -07:00
end
2020-09-18 12:13:53 -07:00
else
ret = ( ret .. " [ " .. serialize_string ( parts [ i ] ) .. " ] " )
end
2018-10-17 18:32:39 -07:00
end
return ret
2020-09-18 12:13:53 -07:00
end
local function gensym ( scope , base )
local append , mangling = 0 , ( ( base or " " ) .. " _0_ " )
while scope.unmanglings [ mangling ] do
mangling = ( ( base or " " ) .. " _ " .. append .. " _ " )
append = ( append + 1 )
end
2020-12-23 10:33:09 -08:00
scope.unmanglings [ mangling ] = ( base or true )
2018-10-17 18:32:39 -07:00
return mangling
2020-09-18 12:13:53 -07:00
end
local function autogensym ( base , scope )
2020-10-13 23:23:38 -07:00
local _0_0 = utils [ " multi-sym? " ] ( base )
2020-09-18 12:13:53 -07:00
if ( nil ~= _0_0 ) then
local parts = _0_0
parts [ 1 ] = autogensym ( parts [ 1 ] , scope )
return table.concat ( parts , ( ( parts [ " multi-sym-method-call " ] and " : " ) or " . " ) )
else
local _ = _0_0
local function _1_ ( )
local mangling = gensym ( scope , base : sub ( 1 , ( - 2 ) ) )
scope.autogensyms [ base ] = mangling
return mangling
end
return ( scope.autogensyms [ base ] or _1_ ( ) )
end
end
2021-02-01 17:09:15 -08:00
local already_warned = { }
2020-09-18 12:13:53 -07:00
local function check_binding_valid ( symbol , scope , ast )
local name = utils.deref ( symbol )
2021-02-01 17:09:15 -08:00
if ( io and io.stderr and name : find ( " & " ) and not already_warned [ symbol ] ) then
already_warned [ symbol ] = true
2021-04-12 16:52:31 -07:00
do end ( io.stderr ) : write ( ( " -- Warning: & will not be allowed in identifier names in " .. " future versions: " .. ( symbol.filename or " unknown " ) .. " : " .. ( symbol.line or " ? " ) .. " \n " ) )
2021-02-01 17:09:15 -08:00
end
2020-09-18 12:13:53 -07:00
assert_compile ( not ( scope.specials [ name ] or scope.macros [ name ] ) , ( " local %s was overshadowed by a special form or macro " ) : format ( name ) , ast )
2020-10-13 23:23:38 -07:00
return assert_compile ( not utils [ " quoted? " ] ( symbol ) , string.format ( " macro tried to bind %s without gensym " , name ) , symbol )
2020-09-18 12:13:53 -07:00
end
local function declare_local ( symbol , meta , scope , ast , temp_manglings )
check_binding_valid ( symbol , scope , ast )
local name = utils.deref ( symbol )
2020-10-13 23:23:38 -07:00
assert_compile ( not utils [ " multi-sym? " ] ( name ) , ( " unexpected multi symbol " .. name ) , ast )
2018-10-17 18:32:39 -07:00
scope.symmeta [ name ] = meta
2020-09-18 12:13:53 -07:00
return local_mangling ( name , scope , ast , temp_manglings )
end
2020-10-13 23:23:38 -07:00
local function hashfn_arg_name ( name , multi_sym_parts , scope )
if not scope.hashfn then
return nil
elseif ( name == " $ " ) then
return " $1 "
elseif multi_sym_parts then
if ( multi_sym_parts and ( multi_sym_parts [ 1 ] == " $ " ) ) then
multi_sym_parts [ 1 ] = " $1 "
2020-09-18 12:13:53 -07:00
end
2020-10-13 23:23:38 -07:00
return table.concat ( multi_sym_parts , " . " )
2020-09-18 12:13:53 -07:00
end
2020-10-13 23:23:38 -07:00
end
local function symbol_to_expression ( symbol , scope , reference_3f )
utils.hook ( " symbol-to-expression " , symbol , scope , reference_3f )
local name = symbol [ 1 ]
local multi_sym_parts = utils [ " multi-sym? " ] ( name )
local name0 = ( hashfn_arg_name ( name , multi_sym_parts , scope ) or name )
local parts = ( multi_sym_parts or { name0 } )
2020-09-18 12:13:53 -07:00
local etype = ( ( ( # parts > 1 ) and " expression " ) or " sym " )
2020-10-13 23:23:38 -07:00
local local_3f = scope.manglings [ parts [ 1 ] ]
if ( local_3f and scope.symmeta [ parts [ 1 ] ] ) then
2020-09-18 12:13:53 -07:00
scope.symmeta [ parts [ 1 ] ] [ " used " ] = true
end
2021-04-12 16:52:31 -07:00
assert_compile ( ( not reference_3f or local_3f or global_allowed ( parts [ 1 ] ) ) , ( " unknown global in strict mode: " .. tostring ( parts [ 1 ] ) ) , symbol )
2020-10-13 23:23:38 -07:00
if ( allowed_globals and not local_3f ) then
2020-09-18 12:13:53 -07:00
utils.root . scope.refedglobals [ parts [ 1 ] ] = true
end
return utils.expr ( combine_parts ( parts , scope ) , etype )
end
local function emit ( chunk , out , ast )
if ( type ( out ) == " table " ) then
return table.insert ( chunk , out )
2018-10-17 18:32:39 -07:00
else
2020-09-18 12:13:53 -07:00
return table.insert ( chunk , { ast = ast , leaf = out } )
2018-10-17 18:32:39 -07:00
end
2020-09-18 12:13:53 -07:00
end
local function peephole ( chunk )
if chunk.leaf then
return chunk
elseif ( ( # chunk >= 3 ) and ( chunk [ ( # chunk - 2 ) ] . leaf == " do " ) and not chunk [ ( # chunk - 1 ) ] . leaf and ( chunk [ # chunk ] . leaf == " end " ) ) then
local kid = peephole ( chunk [ ( # chunk - 1 ) ] )
local new_chunk = { ast = chunk.ast }
2020-12-23 10:33:09 -08:00
for i = 1 , ( # chunk - 3 ) do
2020-09-18 12:13:53 -07:00
table.insert ( new_chunk , peephole ( chunk [ i ] ) )
end
2020-12-23 10:33:09 -08:00
for i = 1 , # kid do
2020-09-18 12:13:53 -07:00
table.insert ( new_chunk , kid [ i ] )
end
return new_chunk
else
return utils.map ( chunk , peephole )
end
end
2021-04-12 16:52:31 -07:00
local function ast_source ( ast )
local m = getmetatable ( ast )
return ( ( m and m.line and m ) or ( ( " table " == type ( ast ) ) and ast ) or { } )
end
2020-09-18 12:13:53 -07:00
local function flatten_chunk_correlated ( main_chunk )
local function flatten ( chunk , out , last_line , file )
local last_line0 = last_line
if chunk.leaf then
out [ last_line0 ] = ( ( out [ last_line0 ] or " " ) .. " " .. chunk.leaf )
else
for _ , subchunk in ipairs ( chunk ) do
if ( subchunk.leaf or ( # subchunk > 0 ) ) then
2021-04-12 16:52:31 -07:00
local source = ast_source ( subchunk.ast )
if ( file == source.file ) then
last_line0 = math.max ( last_line0 , ( source.line or 0 ) )
2018-10-17 18:32:39 -07:00
end
2020-09-18 12:13:53 -07:00
last_line0 = flatten ( subchunk , out , last_line0 , file )
end
2018-10-17 18:32:39 -07:00
end
2020-09-18 12:13:53 -07:00
end
return last_line0
2018-10-17 18:32:39 -07:00
end
local out = { }
2020-09-18 12:13:53 -07:00
local last = flatten ( main_chunk , out , 1 , main_chunk.file )
2018-10-17 18:32:39 -07:00
for i = 1 , last do
2020-09-18 12:13:53 -07:00
if ( out [ i ] == nil ) then
out [ i ] = " "
end
2018-10-17 18:32:39 -07:00
end
return table.concat ( out , " \n " )
2020-09-18 12:13:53 -07:00
end
local function flatten_chunk ( sm , chunk , tab , depth )
2018-10-17 18:32:39 -07:00
if chunk.leaf then
2020-09-18 12:13:53 -07:00
local code = chunk.leaf
local info = chunk.ast
if sm then
2021-04-12 16:52:31 -07:00
table.insert ( sm , { ( info and info.filename ) , ( info and info.line ) } )
2020-09-18 12:13:53 -07:00
end
return code
2018-10-17 18:32:39 -07:00
else
2020-09-18 12:13:53 -07:00
local tab0 = nil
do
local _0_0 = tab
if ( _0_0 == true ) then
tab0 = " "
elseif ( _0_0 == false ) then
tab0 = " "
elseif ( _0_0 == tab ) then
tab0 = tab
elseif ( _0_0 == nil ) then
tab0 = " "
else
tab0 = nil
end
end
local function parter ( c )
if ( c.leaf or ( # c > 0 ) ) then
local sub = flatten_chunk ( sm , c , tab0 , ( depth + 1 ) )
if ( depth > 0 ) then
2020-10-13 23:23:38 -07:00
return ( tab0 .. sub : gsub ( " \n " , ( " \n " .. tab0 ) ) )
else
return sub
2020-09-18 12:13:53 -07:00
end
end
end
return table.concat ( utils.map ( chunk , parter ) , " \n " )
end
end
local fennel_sourcemap = { }
local function make_short_src ( source )
local source0 = source : gsub ( " \n " , " " )
if ( # source0 <= 49 ) then
return ( " [fennel \" " .. source0 .. " \" ] " )
2018-10-17 18:32:39 -07:00
else
2020-09-18 12:13:53 -07:00
return ( " [fennel \" " .. source0 : sub ( 1 , 46 ) .. " ... \" ] " )
2018-10-17 18:32:39 -07:00
end
2020-09-18 12:13:53 -07:00
end
local function flatten ( chunk , options )
local chunk0 = peephole ( chunk )
if options.correlate then
return flatten_chunk_correlated ( chunk0 ) , { }
2018-10-17 18:32:39 -07:00
else
2020-09-18 12:13:53 -07:00
local sm = { }
local ret = flatten_chunk ( sm , chunk0 , options.indent , 0 )
if sm then
2021-04-12 16:52:31 -07:00
sm.short_src = ( options.filename or make_short_src ( ( options.source or ret ) ) )
2020-09-18 12:13:53 -07:00
if options.filename then
2020-10-13 23:23:38 -07:00
sm.key = ( " @ " .. options.filename )
2020-09-18 12:13:53 -07:00
else
2020-10-13 23:23:38 -07:00
sm.key = ret
2018-10-17 18:32:39 -07:00
end
2020-10-13 23:23:38 -07:00
fennel_sourcemap [ sm.key ] = sm
2020-09-18 12:13:53 -07:00
end
return ret , sm
2018-10-17 18:32:39 -07:00
end
2020-09-18 12:13:53 -07:00
end
local function make_metadata ( )
local function _0_ ( self , tgt , key )
if self [ tgt ] then
return self [ tgt ] [ key ]
end
2019-09-22 15:35:39 -07:00
end
2020-09-18 12:13:53 -07:00
local function _1_ ( self , tgt , key , value )
self [ tgt ] = ( self [ tgt ] or { } )
self [ tgt ] [ key ] = value
return tgt
2018-10-17 18:32:39 -07:00
end
2020-09-18 12:13:53 -07:00
local function _2_ ( self , tgt , ... )
local kv_len = select ( " # " , ... )
local kvs = { ... }
if ( ( kv_len % 2 ) ~= 0 ) then
error ( " metadata:setall() expected even number of k/v pairs " )
end
self [ tgt ] = ( self [ tgt ] or { } )
for i = 1 , kv_len , 2 do
self [ tgt ] [ kvs [ i ] ] = kvs [ ( i + 1 ) ]
end
return tgt
end
return setmetatable ( { } , { __index = { get = _0_ , set = _1_ , setall = _2_ } , __mode = " k " } )
end
local function exprs1 ( exprs )
return table.concat ( utils.map ( exprs , 1 ) , " , " )
end
2021-04-12 16:52:31 -07:00
local function disambiguate_parens ( code , chunk )
if ( ( code : byte ( ) == 40 ) and ( 1 < # chunk ) ) then
return ( " ; " .. code )
else
return code
end
end
2020-09-18 12:13:53 -07:00
local function keep_side_effects ( exprs , chunk , start , ast )
2021-04-12 16:52:31 -07:00
for j = ( start or 1 ) , # exprs do
2020-09-18 12:13:53 -07:00
local se = exprs [ j ]
if ( ( se.type == " expression " ) and ( se [ 1 ] ~= " nil " ) ) then
2020-10-13 23:23:38 -07:00
emit ( chunk , string.format ( " do local _ = %s end " , tostring ( se ) ) , ast )
2020-09-18 12:13:53 -07:00
elseif ( se.type == " statement " ) then
2021-04-13 21:44:56 -07:00
emit ( chunk , disambiguate_parens ( tostring ( se ) , chunk ) , ast )
2020-09-18 12:13:53 -07:00
end
end
return nil
end
local function handle_compile_opts ( exprs , parent , opts , ast )
2018-10-17 18:32:39 -07:00
if opts.nval then
2020-09-18 12:13:53 -07:00
local n = opts.nval
local len = # exprs
if ( n ~= len ) then
if ( len > n ) then
keep_side_effects ( exprs , parent , ( n + 1 ) , ast )
2020-12-23 10:33:09 -08:00
for i = ( n + 1 ) , len do
2020-09-18 12:13:53 -07:00
exprs [ i ] = nil
end
else
2020-12-23 10:33:09 -08:00
for i = ( # exprs + 1 ) , n do
2020-09-18 12:13:53 -07:00
exprs [ i ] = utils.expr ( " nil " , " literal " )
end
2018-10-17 18:32:39 -07:00
end
2020-09-18 12:13:53 -07:00
end
2018-10-17 18:32:39 -07:00
end
if opts.tail then
2020-10-13 23:23:38 -07:00
emit ( parent , string.format ( " return %s " , exprs1 ( exprs ) ) , ast )
2018-10-17 18:32:39 -07:00
end
if opts.target then
2020-09-18 12:13:53 -07:00
local result = exprs1 ( exprs )
2020-10-13 23:23:38 -07:00
local function _2_ ( )
if ( result == " " ) then
return " nil "
else
return result
end
2020-09-18 12:13:53 -07:00
end
2020-10-13 23:23:38 -07:00
emit ( parent , string.format ( " %s = %s " , opts.target , _2_ ( ) ) , ast )
2018-10-17 18:32:39 -07:00
end
2020-09-18 12:13:53 -07:00
if ( opts.tail or opts.target ) then
2020-10-13 23:23:38 -07:00
return { returned = true }
else
local _3_0 = exprs
_3_0 [ " returned " ] = true
return _3_0
end
end
local function find_macro ( ast , scope , multi_sym_parts )
local function find_in_table ( t , i )
if ( i <= # multi_sym_parts ) then
return find_in_table ( ( utils [ " table? " ] ( t ) and t [ multi_sym_parts [ i ] ] ) , ( i + 1 ) )
else
return t
end
end
local macro_2a = ( utils [ " sym? " ] ( ast [ 1 ] ) and scope.macros [ utils.deref ( ast [ 1 ] ) ] )
if ( not macro_2a and multi_sym_parts ) then
local nested_macro = find_in_table ( scope.macros , 1 )
assert_compile ( ( not scope.macros [ multi_sym_parts [ 1 ] ] or ( type ( nested_macro ) == " function " ) ) , " macro not found in imported macro module " , ast )
return nested_macro
2018-10-17 18:32:39 -07:00
else
2020-10-13 23:23:38 -07:00
return macro_2a
2018-10-17 18:32:39 -07:00
end
2020-09-18 12:13:53 -07:00
end
local function macroexpand_2a ( ast , scope , once )
2021-04-12 16:52:31 -07:00
local _0_0 = nil
if utils [ " list? " ] ( ast ) then
_0_0 = find_macro ( ast , scope , utils [ " multi-sym? " ] ( ast [ 1 ] ) )
2018-10-17 18:32:39 -07:00
else
2021-04-12 16:52:31 -07:00
_0_0 = nil
end
if ( _0_0 == false ) then
return ast
elseif ( nil ~= _0_0 ) then
local macro_2a = _0_0
local old_scope = scopes.macro
local _ = nil
scopes.macro = scope
_ = nil
local ok , transformed = nil , nil
local function _2_ ( )
return macro_2a ( unpack ( ast , 2 ) )
2020-09-18 12:13:53 -07:00
end
2021-04-12 16:52:31 -07:00
ok , transformed = xpcall ( _2_ , debug.traceback )
scopes.macro = old_scope
assert_compile ( ok , transformed , ast )
if ( once or not transformed ) then
return transformed
else
return macroexpand_2a ( transformed , scope )
end
else
local _ = _0_0
return ast
2018-10-17 18:32:39 -07:00
end
2020-09-18 12:13:53 -07:00
end
2020-10-13 23:23:38 -07:00
local function compile_special ( ast , scope , parent , opts , special )
local exprs = ( special ( ast , scope , parent , opts ) or utils.expr ( " nil " , " literal " ) )
local exprs0 = nil
if ( type ( exprs ) == " string " ) then
exprs0 = utils.expr ( exprs , " expression " )
else
exprs0 = exprs
end
local exprs2 = nil
if utils [ " expr? " ] ( exprs0 ) then
exprs2 = { exprs0 }
else
exprs2 = exprs0
end
if not exprs2.returned then
return handle_compile_opts ( exprs2 , parent , opts , ast )
elseif ( opts.tail or opts.target ) then
return { returned = true }
else
return exprs2
end
end
2020-12-23 10:33:09 -08:00
local function compile_function_call ( ast , scope , parent , opts , compile1 , len )
local fargs = { }
local fcallee = compile1 ( ast [ 1 ] , scope , parent , { nval = 1 } ) [ 1 ]
assert_compile ( ( fcallee.type ~= " literal " ) , ( " cannot call literal value " .. tostring ( ast [ 1 ] ) ) , ast )
for i = 2 , len do
local subexprs = nil
local _0_
if ( i ~= len ) then
_0_ = 1
else
_0_ = nil
end
subexprs = compile1 ( ast [ i ] , scope , parent , { nval = _0_ } )
table.insert ( fargs , ( subexprs [ 1 ] or utils.expr ( " nil " , " literal " ) ) )
if ( i == len ) then
for j = 2 , # subexprs do
table.insert ( fargs , subexprs [ j ] )
end
else
keep_side_effects ( subexprs , parent , 2 , ast [ i ] )
end
end
local call = string.format ( " %s(%s) " , tostring ( fcallee ) , exprs1 ( fargs ) )
return handle_compile_opts ( { utils.expr ( call , " statement " ) } , parent , opts , ast )
end
2020-10-13 23:23:38 -07:00
local function compile_call ( ast , scope , parent , opts , compile1 )
utils.hook ( " call " , ast , scope )
local len = # ast
local first = ast [ 1 ]
local multi_sym_parts = utils [ " multi-sym? " ] ( first )
local special = ( utils [ " sym? " ] ( first ) and scope.specials [ utils.deref ( first ) ] )
assert_compile ( ( len > 0 ) , " expected a function, macro, or special to call " , ast )
if special then
return compile_special ( ast , scope , parent , opts , special )
elseif ( multi_sym_parts and multi_sym_parts [ " multi-sym-method-call " ] ) then
local table_with_method = table.concat ( { unpack ( multi_sym_parts , 1 , ( # multi_sym_parts - 1 ) ) } , " . " )
local method_to_call = multi_sym_parts [ # multi_sym_parts ]
2021-04-12 16:52:31 -07:00
local new_ast = utils.list ( utils.sym ( " : " , nil , scope ) , utils.sym ( table_with_method , nil , scope ) , method_to_call , select ( 2 , unpack ( ast ) ) )
2020-10-13 23:23:38 -07:00
return compile1 ( new_ast , scope , parent , opts )
else
2020-12-23 10:33:09 -08:00
return compile_function_call ( ast , scope , parent , opts , compile1 , len )
2020-10-13 23:23:38 -07:00
end
end
local function compile_varg ( ast , scope , parent , opts )
assert_compile ( scope.vararg , " unexpected vararg " , ast )
return handle_compile_opts ( { utils.expr ( " ... " , " varg " ) } , parent , opts , ast )
end
local function compile_sym ( ast , scope , parent , opts )
local multi_sym_parts = utils [ " multi-sym? " ] ( ast )
assert_compile ( not ( multi_sym_parts and multi_sym_parts [ " multi-sym-method-call " ] ) , " multisym method calls may only be in call position " , ast )
local e = nil
if ( ast [ 1 ] == " nil " ) then
e = utils.expr ( " nil " , " literal " )
else
e = symbol_to_expression ( ast , scope , true )
end
return handle_compile_opts ( { e } , parent , opts , ast )
end
2021-02-01 17:09:15 -08:00
local function serialize_number ( n )
2021-04-12 16:52:31 -07:00
local _0_0 = string.gsub ( tostring ( n ) , " , " , " . " )
return _0_0
2021-02-01 17:09:15 -08:00
end
2020-12-23 10:33:09 -08:00
local function compile_scalar ( ast , _scope , parent , opts )
2020-10-13 23:23:38 -07:00
local serialize = nil
do
local _0_0 = type ( ast )
if ( _0_0 == " nil " ) then
serialize = tostring
elseif ( _0_0 == " boolean " ) then
serialize = tostring
elseif ( _0_0 == " string " ) then
serialize = serialize_string
elseif ( _0_0 == " number " ) then
2021-02-01 17:09:15 -08:00
serialize = serialize_number
2020-09-18 12:13:53 -07:00
else
2020-10-13 23:23:38 -07:00
serialize = nil
end
end
return handle_compile_opts ( { utils.expr ( serialize ( ast ) , " literal " ) } , parent , opts )
end
local function compile_table ( ast , scope , parent , opts , compile1 )
local buffer = { }
2020-12-23 10:33:09 -08:00
for i = 1 , # ast do
2020-10-13 23:23:38 -07:00
local nval = ( ( i ~= # ast ) and 1 )
2020-12-23 10:33:09 -08:00
table.insert ( buffer , exprs1 ( compile1 ( ast [ i ] , scope , parent , { nval = nval } ) ) )
2020-10-13 23:23:38 -07:00
end
local function write_other_values ( k )
if ( ( type ( k ) ~= " number " ) or ( math.floor ( k ) ~= k ) or ( k < 1 ) or ( k > # ast ) ) then
if ( ( type ( k ) == " string " ) and utils [ " valid-lua-identifier? " ] ( k ) ) then
return { k , k }
else
local _0_ = compile1 ( k , scope , parent , { nval = 1 } )
local compiled = _0_ [ 1 ]
local kstr = ( " [ " .. tostring ( compiled ) .. " ] " )
return { kstr , k }
2018-10-17 18:32:39 -07:00
end
2020-09-18 12:13:53 -07:00
end
2020-10-13 23:23:38 -07:00
end
do
local keys = nil
2020-09-18 12:13:53 -07:00
do
2020-10-13 23:23:38 -07:00
local _0_0 = utils.kvmap ( ast , write_other_values )
local function _1_ ( a , b )
return ( a [ 1 ] < b [ 1 ] )
2020-09-18 12:13:53 -07:00
end
2020-10-13 23:23:38 -07:00
table.sort ( _0_0 , _1_ )
keys = _0_0
2020-09-18 12:13:53 -07:00
end
2021-04-12 16:52:31 -07:00
local function _1_ ( _2_0 )
local _3_ = _2_0
local k1 = _3_ [ 1 ]
local k2 = _3_ [ 2 ]
local _4_ = compile1 ( ast [ k2 ] , scope , parent , { nval = 1 } )
local v = _4_ [ 1 ]
return string.format ( " %s = %s " , k1 , tostring ( v ) )
2020-10-13 23:23:38 -07:00
end
utils.map ( keys , _1_ , buffer )
end
return handle_compile_opts ( { utils.expr ( ( " { " .. table.concat ( buffer , " , " ) .. " } " ) , " expression " ) } , parent , opts , ast )
end
local function compile1 ( ast , scope , parent , opts )
local opts0 = ( opts or { } )
local ast0 = macroexpand_2a ( ast , scope )
if utils [ " list? " ] ( ast0 ) then
return compile_call ( ast0 , scope , parent , opts0 , compile1 )
elseif utils [ " varg? " ] ( ast0 ) then
return compile_varg ( ast0 , scope , parent , opts0 )
elseif utils [ " sym? " ] ( ast0 ) then
return compile_sym ( ast0 , scope , parent , opts0 )
elseif ( type ( ast0 ) == " table " ) then
return compile_table ( ast0 , scope , parent , opts0 , compile1 )
elseif ( ( type ( ast0 ) == " nil " ) or ( type ( ast0 ) == " boolean " ) or ( type ( ast0 ) == " number " ) or ( type ( ast0 ) == " string " ) ) then
return compile_scalar ( ast0 , scope , parent , opts0 )
2018-10-17 18:32:39 -07:00
else
2020-10-13 23:23:38 -07:00
return assert_compile ( false , ( " could not compile value of type " .. type ( ast0 ) ) , ast0 )
2019-04-20 17:38:53 -07:00
end
2020-09-18 12:13:53 -07:00
end
local function destructure ( to , from , ast , scope , parent , opts )
local opts0 = ( opts or { } )
local _0_ = opts0
local declaration = _0_ [ " declaration " ]
local forceglobal = _0_ [ " forceglobal " ]
local forceset = _0_ [ " forceset " ]
local isvar = _0_ [ " isvar " ]
2020-12-23 10:33:09 -08:00
local symtype = _0_ [ " symtype " ]
local symtype0 = ( " _ " .. ( symtype or " dst " ) )
2020-09-18 12:13:53 -07:00
local setter = nil
if declaration then
setter = " local %s = %s "
2019-09-22 15:35:39 -07:00
else
2020-09-18 12:13:53 -07:00
setter = " %s = %s "
2019-09-22 15:35:39 -07:00
end
2020-09-18 12:13:53 -07:00
local new_manglings = { }
local function getname ( symbol , up1 )
local raw = symbol [ 1 ]
2021-04-12 16:52:31 -07:00
assert_compile ( not ( opts0.nomulti and utils [ " multi-sym? " ] ( raw ) ) , ( " unexpected multi symbol " .. raw ) , up1 )
2020-09-18 12:13:53 -07:00
if declaration then
2020-12-23 10:33:09 -08:00
return declare_local ( symbol , nil , scope , symbol , new_manglings )
2020-09-18 12:13:53 -07:00
else
2020-10-13 23:23:38 -07:00
local parts = ( utils [ " multi-sym? " ] ( raw ) or { raw } )
2020-09-18 12:13:53 -07:00
local meta = scope.symmeta [ parts [ 1 ] ]
if ( ( # parts == 1 ) and not forceset ) then
2020-10-13 23:23:38 -07:00
assert_compile ( not ( forceglobal and meta ) , string.format ( " global %s conflicts with local " , tostring ( symbol ) ) , symbol )
2020-09-18 12:13:53 -07:00
assert_compile ( not ( meta and not meta.var ) , ( " expected var " .. raw ) , symbol )
2021-04-12 16:52:31 -07:00
assert_compile ( ( meta or not opts0.noundef ) , ( " expected local " .. parts [ 1 ] ) , symbol )
2018-10-17 18:32:39 -07:00
end
2020-09-18 12:13:53 -07:00
if forceglobal then
assert_compile ( not scope.symmeta [ scope.unmanglings [ raw ] ] , ( " global " .. raw .. " conflicts with local " ) , symbol )
scope.manglings [ raw ] = global_mangling ( raw )
scope.unmanglings [ global_mangling ( raw ) ] = raw
if allowed_globals then
table.insert ( allowed_globals , raw )
end
2019-04-20 17:38:53 -07:00
end
2020-09-18 12:13:53 -07:00
return symbol_to_expression ( symbol , scope ) [ 1 ]
end
2018-10-17 18:32:39 -07:00
end
2020-09-18 12:13:53 -07:00
local function compile_top_target ( lvalues )
local inits = nil
local function _2_ ( _241 )
if scope.manglings [ _241 ] then
return _241
else
return " nil "
end
end
inits = utils.map ( lvalues , _2_ )
local init = table.concat ( inits , " , " )
local lvalue = table.concat ( lvalues , " , " )
local plen , plast = # parent , parent [ # parent ]
local ret = compile1 ( from , scope , parent , { target = lvalue } )
if declaration then
for pi = plen , # parent do
if ( parent [ pi ] == plast ) then
plen = pi
end
end
if ( ( # parent == ( plen + 1 ) ) and parent [ # parent ] . leaf ) then
parent [ # parent ] [ " leaf " ] = ( " local " .. parent [ # parent ] . leaf )
2021-04-12 16:52:31 -07:00
elseif ( init == " nil " ) then
table.insert ( parent , ( plen + 1 ) , { ast = ast , leaf = ( " local " .. lvalue ) } )
2020-09-18 12:13:53 -07:00
else
table.insert ( parent , ( plen + 1 ) , { ast = ast , leaf = ( " local " .. lvalue .. " = " .. init ) } )
end
end
return ret
2018-10-17 18:32:39 -07:00
end
2020-12-23 10:33:09 -08:00
local function destructure_sym ( left , rightexprs , up1 , top_3f )
local lname = getname ( left , up1 )
check_binding_valid ( left , scope , left )
if top_3f then
compile_top_target ( { lname } )
else
emit ( parent , setter : format ( lname , exprs1 ( rightexprs ) ) , left )
end
if declaration then
scope.symmeta [ utils.deref ( left ) ] = { var = isvar }
return nil
end
end
local function destructure_table ( left , rightexprs , top_3f , destructure1 )
local s = gensym ( scope , symtype0 )
local right = nil
do
local _2_0 = nil
if top_3f then
_2_0 = exprs1 ( compile1 ( from , scope , parent ) )
2018-10-17 18:32:39 -07:00
else
2020-12-23 10:33:09 -08:00
_2_0 = exprs1 ( rightexprs )
2020-09-18 12:13:53 -07:00
end
2020-12-23 10:33:09 -08:00
if ( _2_0 == " " ) then
2020-09-18 12:13:53 -07:00
right = " nil "
2020-12-23 10:33:09 -08:00
elseif ( nil ~= _2_0 ) then
local right0 = _2_0
right = right0
else
right = nil
2020-09-18 12:13:53 -07:00
end
2020-12-23 10:33:09 -08:00
end
emit ( parent , string.format ( " local %s = %s " , s , right ) , left )
for k , v in utils.stablepairs ( left ) do
if not ( ( " number " == type ( k ) ) and tostring ( left [ ( k - 1 ) ] ) : find ( " ^& " ) ) then
if ( utils [ " sym? " ] ( v ) and ( utils.deref ( v ) == " & " ) ) then
2020-10-13 23:23:38 -07:00
local unpack_str = " {(table.unpack or unpack)(%s, %s)} "
local formatted = string.format ( unpack_str , s , k )
2020-09-18 12:13:53 -07:00
local subexpr = utils.expr ( formatted , " expression " )
2020-12-23 10:33:09 -08:00
assert_compile ( ( utils [ " sequence? " ] ( left ) and ( nil == left [ ( k + 2 ) ] ) ) , " expected rest argument before last parameter " , left )
2020-09-18 12:13:53 -07:00
destructure1 ( left [ ( k + 1 ) ] , { subexpr } , left )
2020-12-23 10:33:09 -08:00
elseif ( utils [ " sym? " ] ( k ) and ( utils.deref ( k ) == " &as " ) ) then
destructure_sym ( v , { utils.expr ( tostring ( s ) ) } , left )
elseif ( utils [ " sequence? " ] ( left ) and ( utils.deref ( v ) == " &as " ) ) then
local _ , next_sym , trailing = select ( k , unpack ( left ) )
assert_compile ( ( nil == trailing ) , " expected &as argument before last parameter " , left )
destructure_sym ( next_sym , { utils.expr ( tostring ( s ) ) } , left )
2020-09-18 12:13:53 -07:00
else
2020-12-23 10:33:09 -08:00
local key = nil
if ( type ( k ) == " string " ) then
key = serialize_string ( k )
else
key = k
2020-09-18 12:13:53 -07:00
end
2020-12-23 10:33:09 -08:00
local subexpr = utils.expr ( string.format ( " %s[%s] " , s , key ) , " expression " )
2020-09-18 12:13:53 -07:00
destructure1 ( v , { subexpr } , left )
end
2018-10-17 18:32:39 -07:00
end
2020-12-23 10:33:09 -08:00
end
return nil
end
local function destructure_values ( left , up1 , top_3f , destructure1 )
local left_names , tables = { } , { }
for i , name in ipairs ( left ) do
if utils [ " sym? " ] ( name ) then
table.insert ( left_names , getname ( name , up1 ) )
2019-04-20 17:38:53 -07:00
else
2020-12-23 10:33:09 -08:00
local symname = gensym ( scope , symtype0 )
table.insert ( left_names , symname )
tables [ i ] = { name , utils.expr ( symname , " sym " ) }
2020-09-18 12:13:53 -07:00
end
2020-12-23 10:33:09 -08:00
end
assert_compile ( top_3f , " can't nest multi-value destructuring " , left )
compile_top_target ( left_names )
if declaration then
for _ , sym in ipairs ( left ) do
scope.symmeta [ utils.deref ( sym ) ] = { var = isvar }
2019-04-20 17:38:53 -07:00
end
2020-12-23 10:33:09 -08:00
end
for _ , pair in utils.stablepairs ( tables ) do
destructure1 ( pair [ 1 ] , { pair [ 2 ] } , left )
end
return nil
end
local function destructure1 ( left , rightexprs , up1 , top_3f )
if ( utils [ " sym? " ] ( left ) and ( left [ 1 ] ~= " nil " ) ) then
destructure_sym ( left , rightexprs , up1 , top_3f )
elseif utils [ " table? " ] ( left ) then
destructure_table ( left , rightexprs , top_3f , destructure1 )
elseif utils [ " list? " ] ( left ) then
destructure_values ( left , up1 , top_3f , destructure1 )
2020-09-18 12:13:53 -07:00
else
2020-10-13 23:23:38 -07:00
assert_compile ( false , string.format ( " unable to bind %s %s " , type ( left ) , tostring ( left ) ) , ( ( ( type ( up1 [ 2 ] ) == " table " ) and up1 [ 2 ] ) or up1 ) )
2020-09-18 12:13:53 -07:00
end
2020-12-23 10:33:09 -08:00
if top_3f then
2020-09-18 12:13:53 -07:00
return { returned = true }
end
2018-10-17 18:32:39 -07:00
end
2020-09-18 12:13:53 -07:00
local ret = destructure1 ( to , nil , ast , true )
2020-10-13 23:23:38 -07:00
utils.hook ( " destructure " , from , to , scope )
2020-09-18 12:13:53 -07:00
apply_manglings ( scope , new_manglings , ast )
return ret
end
local function require_include ( ast , scope , parent , opts )
opts.fallback = function ( e )
2020-10-13 23:23:38 -07:00
return utils.expr ( string.format ( " require(%s) " , tostring ( e ) ) , " statement " )
2020-09-18 12:13:53 -07:00
end
return scopes.global . specials.include ( ast , scope , parent , opts )
end
local function compile_stream ( strm , options )
local opts = utils.copy ( options )
local old_globals = allowed_globals
local scope = ( opts.scope or make_scope ( scopes.global ) )
local vals = { }
2018-10-17 18:32:39 -07:00
local chunk = { }
2020-09-18 12:13:53 -07:00
local _0_ = utils.root
_0_ [ " set-reset " ] ( _0_ )
allowed_globals = opts.allowedGlobals
if ( opts.indent == nil ) then
opts.indent = " "
2018-10-17 18:32:39 -07:00
end
2020-09-18 12:13:53 -07:00
if opts.requireAsInclude then
scope.specials . require = require_include
end
utils.root . chunk , utils.root . scope , utils.root . options = chunk , scope , opts
2020-12-23 10:33:09 -08:00
for _ , val in parser.parser ( strm , opts.filename , opts ) do
table.insert ( vals , val )
2020-09-18 12:13:53 -07:00
end
2020-12-23 10:33:09 -08:00
for i = 1 , # vals do
2020-09-18 12:13:53 -07:00
local exprs = compile1 ( vals [ i ] , scope , chunk , { nval = ( ( ( i < # vals ) and 0 ) or nil ) , tail = ( i == # vals ) } )
keep_side_effects ( exprs , chunk , nil , vals [ i ] )
end
allowed_globals = old_globals
utils.root . reset ( )
return flatten ( chunk , opts )
end
local function compile_string ( str , opts )
return compile_stream ( parser [ " string-stream " ] ( str ) , ( opts or { } ) )
end
local function compile ( ast , opts )
local opts0 = utils.copy ( opts )
local old_globals = allowed_globals
2018-10-17 18:32:39 -07:00
local chunk = { }
2020-09-18 12:13:53 -07:00
local scope = ( opts0.scope or make_scope ( scopes.global ) )
local _0_ = utils.root
_0_ [ " set-reset " ] ( _0_ )
allowed_globals = opts0.allowedGlobals
if ( opts0.indent == nil ) then
opts0.indent = " "
end
if opts0.requireAsInclude then
scope.specials . require = require_include
end
utils.root . chunk , utils.root . scope , utils.root . options = chunk , scope , opts0
local exprs = compile1 ( ast , scope , chunk , { tail = true } )
keep_side_effects ( exprs , chunk , nil , ast )
allowed_globals = old_globals
utils.root . reset ( )
return flatten ( chunk , opts0 )
end
local function traceback_frame ( info )
if ( ( info.what == " C " ) and info.name ) then
2020-10-13 23:23:38 -07:00
return string.format ( " [C]: in function '%s' " , info.name )
2020-09-18 12:13:53 -07:00
elseif ( info.what == " C " ) then
return " [C]: in ? "
2018-10-17 18:32:39 -07:00
else
2020-09-18 12:13:53 -07:00
local remap = fennel_sourcemap [ info.source ]
if ( remap and remap [ info.currentline ] ) then
2021-04-12 16:52:31 -07:00
if remap [ info.currentline ] [ 1 ] then
info.short_src = fennel_sourcemap [ ( " @ " .. remap [ info.currentline ] [ 1 ] ) ] . short_src
else
info.short_src = remap.short_src
end
info.currentline = ( remap [ info.currentline ] [ 2 ] or - 1 )
2020-09-18 12:13:53 -07:00
end
if ( info.what == " Lua " ) then
local function _1_ ( )
if info.name then
return ( " ' " .. info.name .. " ' " )
else
return " ? "
end
end
return string.format ( " %s:%d: in function %s " , info.short_src , info.currentline , _1_ ( ) )
2021-04-12 16:52:31 -07:00
elseif ( info.short_src == " (tail call) " ) then
2020-09-18 12:13:53 -07:00
return " (tail call) "
else
return string.format ( " %s:%d: in main chunk " , info.short_src , info.currentline )
end
2018-10-17 18:32:39 -07:00
end
2020-09-18 12:13:53 -07:00
end
local function traceback ( msg , start )
local msg0 = ( msg or " " )
2020-10-13 23:23:38 -07:00
if ( ( msg0 : find ( " ^Compile error " ) or msg0 : find ( " ^Parse error " ) ) and not utils [ " debug-on? " ] ( " trace " ) ) then
2020-09-18 12:13:53 -07:00
return msg0
2019-09-22 15:35:39 -07:00
else
2020-09-18 12:13:53 -07:00
local lines = { }
if ( msg0 : find ( " ^Compile error " ) or msg0 : find ( " ^Parse error " ) ) then
table.insert ( lines , msg0 )
else
local newmsg = msg0 : gsub ( " ^[^:]*:%d+:%s+ " , " runtime error: " )
table.insert ( lines , newmsg )
end
table.insert ( lines , " stack traceback: " )
local done_3f , level = false , ( start or 2 )
while not done_3f do
do
local _1_0 = debug.getinfo ( level , " Sln " )
if ( _1_0 == nil ) then
done_3f = true
elseif ( nil ~= _1_0 ) then
local info = _1_0
table.insert ( lines , traceback_frame ( info ) )
end
end
level = ( level + 1 )
end
return table.concat ( lines , " \n " )
end
end
local function entry_transform ( fk , fv )
local function _0_ ( k , v )
if ( type ( k ) == " number " ) then
return k , fv ( v )
else
return fk ( k ) , fv ( v )
end
2018-10-17 18:32:39 -07:00
end
2020-09-18 12:13:53 -07:00
return _0_
end
local function mixed_concat ( t , joiner )
local seen = { }
local ret , s = " " , " "
for k , v in ipairs ( t ) do
table.insert ( seen , k )
ret = ( ret .. s .. v )
s = joiner
end
for k , v in utils.stablepairs ( t ) do
if not seen [ k ] then
ret = ( ret .. s .. " [ " .. k .. " ] " .. " = " .. v )
s = joiner
end
2019-09-22 15:35:39 -07:00
end
2020-09-18 12:13:53 -07:00
return ret
end
2020-10-13 23:23:38 -07:00
local function do_quote ( form , scope , parent , runtime_3f )
2020-09-18 12:13:53 -07:00
local function q ( x )
2020-10-13 23:23:38 -07:00
return do_quote ( x , scope , parent , runtime_3f )
2020-09-18 12:13:53 -07:00
end
2020-10-13 23:23:38 -07:00
if utils [ " varg? " ] ( form ) then
assert_compile ( not runtime_3f , " quoted ... may only be used at compile time " , form )
2020-09-18 12:13:53 -07:00
return " _VARARG "
2020-10-13 23:23:38 -07:00
elseif utils [ " sym? " ] ( form ) then
2020-09-18 12:13:53 -07:00
local filename = nil
if form.filename then
2020-10-13 23:23:38 -07:00
filename = string.format ( " %q " , form.filename )
2020-09-18 12:13:53 -07:00
else
filename = " nil "
end
local symstr = utils.deref ( form )
2020-10-13 23:23:38 -07:00
assert_compile ( not runtime_3f , " symbols may only be used at compile time " , form )
2020-09-18 12:13:53 -07:00
if ( symstr : find ( " #$ " ) or symstr : find ( " #[:.] " ) ) then
2021-04-12 16:52:31 -07:00
return string.format ( " sym('%s', {filename=%s, line=%s}) " , autogensym ( symstr , scope ) , filename , ( form.line or " nil " ) )
2020-09-18 12:13:53 -07:00
else
2021-04-12 16:52:31 -07:00
return string.format ( " sym('%s', {quoted=true, filename=%s, line=%s}) " , symstr , filename , ( form.line or " nil " ) )
2020-09-18 12:13:53 -07:00
end
2020-10-13 23:23:38 -07:00
elseif ( utils [ " list? " ] ( form ) and utils [ " sym? " ] ( form [ 1 ] ) and ( utils.deref ( form [ 1 ] ) == " unquote " ) ) then
2020-09-18 12:13:53 -07:00
local payload = form [ 2 ]
local res = unpack ( compile1 ( payload , scope , parent ) )
return res [ 1 ]
2020-10-13 23:23:38 -07:00
elseif utils [ " list? " ] ( form ) then
2021-04-12 16:52:31 -07:00
local mapped = nil
local function _0_ ( )
return nil
end
mapped = utils.kvmap ( form , entry_transform ( _0_ , q ) )
2020-09-18 12:13:53 -07:00
local filename = nil
if form.filename then
2020-10-13 23:23:38 -07:00
filename = string.format ( " %q " , form.filename )
2020-09-18 12:13:53 -07:00
else
filename = " nil "
end
2020-10-13 23:23:38 -07:00
assert_compile ( not runtime_3f , " lists may only be used at compile time " , form )
return string.format ( ( " setmetatable({filename=%s, line=%s, bytestart=%s, %s} " .. " , getmetatable(list())) " ) , filename , ( form.line or " nil " ) , ( form.bytestart or " nil " ) , mixed_concat ( mapped , " , " ) )
2021-04-12 16:52:31 -07:00
elseif utils [ " sequence? " ] ( form ) then
local mapped = utils.kvmap ( form , entry_transform ( q , q ) )
local source = getmetatable ( form )
local filename = nil
if source.filename then
filename = string.format ( " %q " , source.filename )
else
filename = " nil "
end
local _1_
if source then
_1_ = source.line
else
_1_ = " nil "
end
return string.format ( " setmetatable({%s}, {filename=%s, line=%s, sequence=%s}) " , mixed_concat ( mapped , " , " ) , filename , _1_ , " (getmetatable(sequence()))['sequence'] " )
2020-09-18 12:13:53 -07:00
elseif ( type ( form ) == " table " ) then
local mapped = utils.kvmap ( form , entry_transform ( q , q ) )
local source = getmetatable ( form )
local filename = nil
if source.filename then
2020-10-13 23:23:38 -07:00
filename = string.format ( " %q " , source.filename )
2020-09-18 12:13:53 -07:00
else
filename = " nil "
end
local function _1_ ( )
if source then
return source.line
2018-10-17 18:32:39 -07:00
else
2020-09-18 12:13:53 -07:00
return " nil "
2018-10-17 18:32:39 -07:00
end
2020-09-18 12:13:53 -07:00
end
2020-10-13 23:23:38 -07:00
return string.format ( " setmetatable({%s}, {filename=%s, line=%s}) " , mixed_concat ( mapped , " , " ) , filename , _1_ ( ) )
2020-09-18 12:13:53 -07:00
elseif ( type ( form ) == " string " ) then
return serialize_string ( form )
else
return tostring ( form )
2018-10-17 18:32:39 -07:00
end
2020-09-18 12:13:53 -07:00
end
return { [ " apply-manglings " ] = apply_manglings , [ " compile-stream " ] = compile_stream , [ " compile-string " ] = compile_string , [ " declare-local " ] = declare_local , [ " do-quote " ] = do_quote , [ " global-mangling " ] = global_mangling , [ " global-unmangling " ] = global_unmangling , [ " keep-side-effects " ] = keep_side_effects , [ " make-scope " ] = make_scope , [ " require-include " ] = require_include , [ " symbol-to-expression " ] = symbol_to_expression , assert = assert_compile , autogensym = autogensym , compile = compile , compile1 = compile1 , destructure = destructure , emit = emit , gensym = gensym , macroexpand = macroexpand_2a , metadata = make_metadata ( ) , scopes = scopes , traceback = traceback }
2018-10-17 18:32:39 -07:00
end
2020-09-18 12:13:53 -07:00
package.preload [ " fennel.friend " ] = package.preload [ " fennel.friend " ] or function ( ... )
local function ast_source ( ast )
local m = getmetatable ( ast )
2021-02-01 17:09:15 -08:00
return ( ( m and m.line and m ) or ( ( " table " == type ( ast ) ) and ast ) or { } )
2020-09-18 12:13:53 -07:00
end
2021-04-12 16:52:31 -07:00
local suggestions = { [ " $ and $... in hashfn are mutually exclusive " ] = { " modifying the hashfn so it only contains $... or $, $1, $2, $3, etc " } , [ " can't start multisym segment with a digit " ] = { " removing the digit " , " adding a non-digit before the digit " } , [ " cannot call literal value " ] = { " checking for typos " , " checking for a missing function name " } , [ " could not compile value of type " ] = { " debugging the macro you're calling to return a list or table " } , [ " could not read number (.*) " ] = { " removing the non-digit character " , " beginning the identifier with a non-digit if it is not meant to be a number " } , [ " expected a function.* to call " ] = { " removing the empty parentheses " , " using square brackets if you want an empty table " } , [ " expected binding table " ] = { " placing a table here in square brackets containing identifiers to bind " } , [ " expected body expression " ] = { " putting some code in the body of this form after the bindings " } , [ " expected each macro to be function " ] = { " ensuring that the value for each key in your macros table contains a function " , " avoid defining nested macro tables " } , [ " expected even number of name/value bindings " ] = { " finding where the identifier or value is missing " } , [ " expected even number of values in table literal " ] = { " removing a key " , " adding a value " } , [ " expected local " ] = { " looking for a typo " , " looking for a local which is used out of its scope " } , [ " expected macros to be table " ] = { " ensuring your macro definitions return a table " } , [ " expected parameters " ] = { " adding function parameters as a list of identifiers in brackets " } , [ " expected rest argument before last parameter " ] = { " moving & to right before the final identifier when destructuring " } , [ " expected symbol for function parameter: (.*) " ] = { " changing %s to an identifier instead of a literal value " } , [ " expected var (.*) " ] = { " declaring %s using var instead of let/local " , " introducing a new local instead of changing the value of %s " } , [ " expected vararg as last parameter " ] = { " moving the \" ... \" to the end of the parameter list " } , [ " expected whitespace before opening delimiter " ] = { " adding whitespace " } , [ " global (.*) conflicts with local " ] = { " renaming local %s " } , [ " illegal character: (.) " ] = { " deleting or replacing %s " , " avoiding reserved characters like \" , \\ , ', ~, ;, @, `, and comma " } , [ " local (.*) was overshadowed by a special form or macro " ] = { " renaming local %s " } , [ " macro not found in macro module " ] = { " checking the keys of the imported macro module's returned table " } , [ " macro tried to bind (.*) without gensym " ] = { " changing to %s# when introducing identifiers inside macros " } , [ " malformed multisym " ] = { " ensuring each period or colon is not followed by another period or colon " } , [ " may only be used at compile time " ] = { " moving this to inside a macro if you need to manipulate symbols/lists " , " using square brackets instead of parens to construct a table " } , [ " method must be last component " ] = { " using a period instead of a colon for field access " , " removing segments after the colon " , " making the method call, then looking up the field on the result " } , [ " mismatched closing delimiter (.), expected (.) " ] = { " replacing %s with %s " , " deleting %s " , " adding matching opening delimiter earlier " } , [ " multisym method calls may only be in call position " ] = { " using a period instead of a colon to reference a table's fields " , " putting parens around this " } , [ " unable to bind (.*) " ] = { " replacing the %s with an identifier " } , [ " unexpected closing delimiter (.) " ] = { " deleting %s " , " adding matching opening delimiter earlier " } , [ " unexpected multi symbol (.*) " ] = { " removing periods or colons from %s " } , [ " unexpected vararg " ] = { " putting \" ... \" at the end of the fn parameters if the vararg was intended " } , [ " unknown global in strict mode: (.*) " ] = { " looking to see if there's a typo " , " using the _G table instead, eg. _G.%s if you really want a global " , " moving this code to somewhere that %s is in scope " , " binding %s as a local in the scope of this code " } , [ " unused local (.*) " ] = { " fixing a typo so %s is used " , " renaming the local to _%s " } , [ " use of global (.*) is aliased
2021-02-01 17:09:15 -08:00
local unpack = ( table.unpack or _G.unpack )
2020-09-18 12:13:53 -07:00
local function suggest ( msg )
local suggestion = nil
for pat , sug in pairs ( suggestions ) do
local matches = { msg : match ( pat ) }
if ( 0 < # matches ) then
if ( " table " == type ( sug ) ) then
local out = { }
for _ , s in ipairs ( sug ) do
table.insert ( out , s : format ( unpack ( matches ) ) )
end
suggestion = out
else
suggestion = sug ( matches )
2018-10-17 18:32:39 -07:00
end
2020-09-18 12:13:53 -07:00
end
2018-10-17 18:32:39 -07:00
end
2020-09-18 12:13:53 -07:00
return suggestion
end
local function read_line_from_file ( filename , line )
local bytes = 0
local f = assert ( io.open ( filename ) )
local _ = nil
for _0 = 1 , ( line - 1 ) do
bytes = ( bytes + 1 + # f : read ( ) )
end
_ = nil
local codeline = f : read ( )
f : close ( )
return codeline , bytes
end
2021-04-12 16:52:31 -07:00
local function read_line_from_string ( matcher , target_line , _3fcurrent_line , _3fbytes )
local this_line , newline = matcher ( )
local current_line = ( _3fcurrent_line or 1 )
local bytes = ( ( _3fbytes or 0 ) + # this_line + # newline )
if ( target_line == current_line ) then
return this_line , bytes
elseif this_line then
return read_line_from_string ( matcher , target_line , ( current_line + 1 ) , bytes )
2018-10-17 18:32:39 -07:00
end
2020-09-18 12:13:53 -07:00
end
local function read_line ( filename , line , source )
if source then
2021-04-12 16:52:31 -07:00
return read_line_from_string ( string.gmatch ( ( source .. " \n " ) , " (.-)( \13 ? \n ) " ) , line )
2020-09-18 12:13:53 -07:00
else
return read_line_from_file ( filename , line )
end
end
local function friendly_msg ( msg , _0_0 , source )
local _1_ = _0_0
local byteend = _1_ [ " byteend " ]
local bytestart = _1_ [ " bytestart " ]
local filename = _1_ [ " filename " ]
local line = _1_ [ " line " ]
2020-12-23 10:33:09 -08:00
local ok , codeline , bol = pcall ( read_line , filename , line , source )
2020-09-18 12:13:53 -07:00
local suggestions0 = suggest ( msg )
local out = { msg , " " }
if ( ok and codeline ) then
table.insert ( out , codeline )
end
if ( ok and codeline and bytestart and byteend ) then
table.insert ( out , ( string.rep ( " " , ( bytestart - bol - 1 ) ) .. " ^ " .. string.rep ( " ^ " , math.min ( ( byteend - bytestart ) , ( ( bol + # codeline ) - bytestart ) ) ) ) )
end
if ( ok and codeline and bytestart and not byteend ) then
table.insert ( out , ( string.rep ( " - " , ( bytestart - bol - 1 ) ) .. " ^ " ) )
table.insert ( out , " " )
end
if suggestions0 then
for _ , suggestion in ipairs ( suggestions0 ) do
table.insert ( out , ( " * Try %s. " ) : format ( suggestion ) )
end
2019-04-20 17:38:53 -07:00
end
2020-09-18 12:13:53 -07:00
return table.concat ( out , " \n " )
end
local function assert_compile ( condition , msg , ast , source )
if not condition then
local _1_ = ast_source ( ast )
local filename = _1_ [ " filename " ]
local line = _1_ [ " line " ]
error ( friendly_msg ( ( " Compile error in %s:%s \n %s " ) : format ( ( filename or " unknown " ) , ( line or " ? " ) , msg ) , ast_source ( ast ) , source ) , 0 )
2019-04-20 17:38:53 -07:00
end
2020-09-18 12:13:53 -07:00
return condition
end
local function parse_error ( msg , filename , line , bytestart , source )
return error ( friendly_msg ( ( " Parse error in %s:%s \n %s " ) : format ( filename , line , msg ) , { bytestart = bytestart , filename = filename , line = line } , source ) , 0 )
end
return { [ " assert-compile " ] = assert_compile , [ " parse-error " ] = parse_error }
end
package.preload [ " fennel.parser " ] = package.preload [ " fennel.parser " ] or function ( ... )
local utils = require ( " fennel.utils " )
local friend = require ( " fennel.friend " )
2021-02-01 17:09:15 -08:00
local unpack = ( table.unpack or _G.unpack )
2020-09-18 12:13:53 -07:00
local function granulate ( getchunk )
2020-10-13 23:23:38 -07:00
local c , index , done_3f = " " , 1 , false
2020-09-18 12:13:53 -07:00
local function _0_ ( parser_state )
2020-10-13 23:23:38 -07:00
if not done_3f then
2020-09-18 12:13:53 -07:00
if ( index <= # c ) then
local b = c : byte ( index )
index = ( index + 1 )
return b
else
2020-12-23 10:33:09 -08:00
local _1_0 , _2_0 , _3_0 = getchunk ( parser_state )
local _4_
do
local char = _1_0
_4_ = ( ( nil ~= _1_0 ) and ( char ~= " " ) )
end
if _4_ then
local char = _1_0
c = char
index = 2
return c : byte ( )
else
local _ = _1_0
2020-10-13 23:23:38 -07:00
done_3f = true
2020-09-18 12:13:53 -07:00
return nil
end
2019-04-20 17:38:53 -07:00
end
2020-09-18 12:13:53 -07:00
end
2019-04-20 17:38:53 -07:00
end
2020-09-18 12:13:53 -07:00
local function _1_ ( )
c = " "
return nil
2019-04-20 17:38:53 -07:00
end
2020-09-18 12:13:53 -07:00
return _0_ , _1_
end
local function string_stream ( str )
2020-12-23 10:33:09 -08:00
local str0 = str : gsub ( " ^#! " , " ;; " )
2020-09-18 12:13:53 -07:00
local index = 1
local function _0_ ( )
local r = str0 : byte ( index )
index = ( index + 1 )
return r
end
return _0_
end
local delims = { [ 123 ] = 125 , [ 125 ] = true , [ 40 ] = 41 , [ 41 ] = true , [ 91 ] = 93 , [ 93 ] = true }
2020-10-13 23:23:38 -07:00
local function whitespace_3f ( b )
2020-09-18 12:13:53 -07:00
return ( ( b == 32 ) or ( ( b >= 9 ) and ( b <= 13 ) ) )
end
2021-02-01 17:09:15 -08:00
local function sym_char_3f ( b )
local b0 = nil
if ( " number " == type ( b ) ) then
b0 = b
else
b0 = string.byte ( b )
end
return ( ( b0 > 32 ) and not delims [ b0 ] and ( b0 ~= 127 ) and ( b0 ~= 34 ) and ( b0 ~= 39 ) and ( b0 ~= 126 ) and ( b0 ~= 59 ) and ( b0 ~= 44 ) and ( b0 ~= 64 ) and ( b0 ~= 96 ) )
2020-09-18 12:13:53 -07:00
end
local prefixes = { [ 35 ] = " hashfn " , [ 39 ] = " quote " , [ 44 ] = " unquote " , [ 96 ] = " quote " }
local function parser ( getbyte , filename , options )
local stack = { }
local line = 1
local byteindex = 0
local lastb = nil
local function ungetb ( ub )
if ( ub == 10 ) then
line = ( line - 1 )
end
byteindex = ( byteindex - 1 )
lastb = ub
return nil
2018-10-17 18:32:39 -07:00
end
2020-09-18 12:13:53 -07:00
local function getb ( )
local r = nil
if lastb then
r , lastb = lastb , nil
else
r = getbyte ( { [ " stack-size " ] = # stack } )
end
byteindex = ( byteindex + 1 )
if ( r == 10 ) then
line = ( line + 1 )
end
return r
end
2021-04-12 16:52:31 -07:00
assert ( ( ( nil == filename ) or ( " string " == type ( filename ) ) ) , " expected filename as second argument to parser " )
2020-12-23 10:33:09 -08:00
local function parse_error ( msg , byteindex_override )
local _0_ = ( options or utils.root . options or { } )
2020-09-18 12:13:53 -07:00
local source = _0_ [ " source " ]
local unfriendly = _0_ [ " unfriendly " ]
utils.root . reset ( )
if unfriendly then
2020-10-13 23:23:38 -07:00
return error ( string.format ( " Parse error in %s:%s: %s " , ( filename or " unknown " ) , ( line or " ? " ) , msg ) , 0 )
2020-09-18 12:13:53 -07:00
else
2020-12-23 10:33:09 -08:00
return friend [ " parse-error " ] ( msg , ( filename or " unknown " ) , ( line or " ? " ) , ( byteindex_override or byteindex ) , source )
2020-09-18 12:13:53 -07:00
end
end
local function parse_stream ( )
2020-10-13 23:23:38 -07:00
local whitespace_since_dispatch , done_3f , retval = true
2020-09-18 12:13:53 -07:00
local function dispatch ( v )
2020-12-23 10:33:09 -08:00
local _0_0 = stack [ # stack ]
if ( _0_0 == nil ) then
2020-10-13 23:23:38 -07:00
retval , done_3f , whitespace_since_dispatch = v , true , false
2020-09-18 12:13:53 -07:00
return nil
2020-12-23 10:33:09 -08:00
elseif ( ( type ( _0_0 ) == " table " ) and ( nil ~= _0_0.prefix ) ) then
local prefix = _0_0.prefix
2021-04-12 16:52:31 -07:00
local source = nil
do
local _1_0 = table.remove ( stack )
_1_0 [ " byteend " ] = byteindex
source = _1_0
end
local list = utils.list ( utils.sym ( prefix , source ) , v )
for k , v0 in pairs ( source ) do
list [ k ] = v0
end
return dispatch ( list )
2020-12-23 10:33:09 -08:00
elseif ( nil ~= _0_0 ) then
local top = _0_0
2020-09-18 12:13:53 -07:00
whitespace_since_dispatch = false
2020-12-23 10:33:09 -08:00
return table.insert ( top , v )
2020-09-18 12:13:53 -07:00
end
end
local function badend ( )
local accum = utils.map ( stack , " closer " )
2020-12-23 10:33:09 -08:00
local _0_
if ( # stack == 1 ) then
_0_ = " "
else
_0_ = " s "
2020-09-18 12:13:53 -07:00
end
2020-12-23 10:33:09 -08:00
return parse_error ( string.format ( " expected closing delimiter%s %s " , _0_ , string.char ( unpack ( accum ) ) ) )
end
local function skip_whitespace ( b )
if ( b and whitespace_3f ( b ) ) then
whitespace_since_dispatch = true
return skip_whitespace ( getb ( ) )
elseif ( not b and ( # stack > 0 ) ) then
return badend ( )
else
return b
2020-09-18 12:13:53 -07:00
end
2020-12-23 10:33:09 -08:00
end
2021-02-01 17:09:15 -08:00
local function parse_comment ( b , contents )
2020-12-23 10:33:09 -08:00
if ( b and ( 10 ~= b ) ) then
2021-02-01 17:09:15 -08:00
local function _1_ ( )
local _0_0 = contents
table.insert ( _0_0 , string.char ( b ) )
return _0_0
end
return parse_comment ( getb ( ) , _1_ ( ) )
elseif ( options and options.comments ) then
2021-04-12 16:52:31 -07:00
return dispatch ( utils.comment ( table.concat ( contents ) , { filename = filename , line = ( line - 1 ) } ) )
2020-12-23 10:33:09 -08:00
else
return b
end
end
local function open_table ( b )
if not whitespace_since_dispatch then
parse_error ( ( " expected whitespace before opening delimiter " .. string.char ( b ) ) )
end
return table.insert ( stack , { bytestart = byteindex , closer = delims [ b ] , filename = filename , line = line } )
end
local function close_list ( list )
return dispatch ( setmetatable ( list , getmetatable ( utils.list ( ) ) ) )
end
local function close_sequence ( tbl )
local val = utils.sequence ( unpack ( tbl ) )
for k , v in pairs ( tbl ) do
getmetatable ( val ) [ k ] = v
end
return dispatch ( val )
end
2021-04-12 16:52:31 -07:00
local function add_comment_at ( comments , index , node )
local _0_0 = comments [ index ]
if ( nil ~= _0_0 ) then
local existing = _0_0
return table.insert ( existing , node )
else
local _ = _0_0
comments [ index ] = { node }
return nil
end
end
local function next_noncomment ( tbl , i )
if utils [ " comment? " ] ( tbl [ i ] ) then
return next_noncomment ( tbl , ( i + 1 ) )
else
return tbl [ i ]
end
end
local function extract_comments ( tbl )
local comments = { keys = { } , last = { } , values = { } }
while utils [ " comment? " ] ( tbl [ # tbl ] ) do
table.insert ( comments.last , 1 , table.remove ( tbl ) )
end
local last_key_3f = false
for i , node in ipairs ( tbl ) do
if not utils [ " comment? " ] ( node ) then
last_key_3f = not last_key_3f
elseif last_key_3f then
add_comment_at ( comments.values , next_noncomment ( tbl , i ) , node )
else
add_comment_at ( comments.keys , next_noncomment ( tbl , i ) , node )
end
end
for i = # tbl , 1 , - 1 do
if utils [ " comment? " ] ( tbl [ i ] ) then
table.remove ( tbl , i )
end
end
return comments
end
2020-12-23 10:33:09 -08:00
local function close_curly_table ( tbl )
2021-04-12 16:52:31 -07:00
local comments = extract_comments ( tbl )
local keys = { }
2020-12-23 10:33:09 -08:00
local val = { }
if ( ( # tbl % 2 ) ~= 0 ) then
byteindex = ( byteindex - 1 )
parse_error ( " expected even number of values in table literal " )
end
setmetatable ( val , tbl )
for i = 1 , # tbl , 2 do
if ( ( tostring ( tbl [ i ] ) == " : " ) and utils [ " sym? " ] ( tbl [ ( i + 1 ) ] ) and utils [ " sym? " ] ( tbl [ i ] ) ) then
tbl [ i ] = tostring ( tbl [ ( i + 1 ) ] )
2020-09-18 12:13:53 -07:00
end
2020-12-23 10:33:09 -08:00
val [ tbl [ i ] ] = tbl [ ( i + 1 ) ]
2021-04-12 16:52:31 -07:00
table.insert ( keys , tbl [ i ] )
2020-12-23 10:33:09 -08:00
end
2021-04-12 16:52:31 -07:00
tbl.comments = comments
tbl.keys = keys
2020-12-23 10:33:09 -08:00
return dispatch ( val )
end
local function close_table ( b )
local top = table.remove ( stack )
if ( top == nil ) then
parse_error ( ( " unexpected closing delimiter " .. string.char ( b ) ) )
end
2021-04-12 16:52:31 -07:00
if ( top.closer and ( top.closer ~= b ) ) then
2020-12-23 10:33:09 -08:00
parse_error ( ( " mismatched closing delimiter " .. string.char ( b ) .. " , expected " .. string.char ( top.closer ) ) )
end
top.byteend = byteindex
if ( b == 41 ) then
return close_list ( top )
elseif ( b == 93 ) then
return close_sequence ( top )
else
return close_curly_table ( top )
end
end
local function parse_string_loop ( chars , b , state )
table.insert ( chars , b )
local state0 = nil
do
local _0_0 = { state , b }
if ( ( type ( _0_0 ) == " table " ) and ( _0_0 [ 1 ] == " base " ) and ( _0_0 [ 2 ] == 92 ) ) then
state0 = " backslash "
elseif ( ( type ( _0_0 ) == " table " ) and ( _0_0 [ 1 ] == " base " ) and ( _0_0 [ 2 ] == 34 ) ) then
state0 = " done "
2020-09-18 12:13:53 -07:00
else
2020-12-23 10:33:09 -08:00
local _ = _0_0
state0 = " base "
2020-09-18 12:13:53 -07:00
end
2020-12-23 10:33:09 -08:00
end
if ( b and ( state0 ~= " done " ) ) then
return parse_string_loop ( chars , getb ( ) , state0 )
else
return b
end
end
2021-02-01 17:09:15 -08:00
local function escape_char ( c )
return ( { [ 10 ] = " \\ n " , [ 11 ] = " \\ v " , [ 12 ] = " \\ f " , [ 13 ] = " \\ r " , [ 7 ] = " \\ a " , [ 8 ] = " \\ b " , [ 9 ] = " \\ t " } ) [ c : byte ( ) ]
end
2020-12-23 10:33:09 -08:00
local function parse_string ( )
table.insert ( stack , { closer = 34 } )
local chars = { 34 }
if not parse_string_loop ( chars , getb ( ) , " base " ) then
badend ( )
end
table.remove ( stack )
local raw = string.char ( unpack ( chars ) )
2021-02-01 17:09:15 -08:00
local formatted = raw : gsub ( " [ \7 - \13 ] " , escape_char )
local load_fn = ( rawget ( _G , " loadstring " ) or load ) ( ( " return " .. formatted ) )
2020-12-23 10:33:09 -08:00
return dispatch ( load_fn ( ) )
end
local function parse_prefix ( b )
2021-04-12 16:52:31 -07:00
table.insert ( stack , { bytestart = byteindex , filename = filename , line = line , prefix = prefixes [ b ] } )
2020-12-23 10:33:09 -08:00
local nextb = getb ( )
2021-04-12 16:52:31 -07:00
if ( whitespace_3f ( nextb ) or ( true == delims [ nextb ] ) ) then
2020-12-23 10:33:09 -08:00
if ( b ~= 35 ) then
parse_error ( " invalid whitespace after quoting prefix " )
2020-09-18 12:13:53 -07:00
end
2020-12-23 10:33:09 -08:00
table.remove ( stack )
dispatch ( utils.sym ( " # " ) )
end
return ungetb ( nextb )
end
local function parse_sym_loop ( chars , b )
2021-02-01 17:09:15 -08:00
if ( b and sym_char_3f ( b ) ) then
2020-12-23 10:33:09 -08:00
table.insert ( chars , b )
return parse_sym_loop ( chars , getb ( ) )
else
2020-09-18 12:13:53 -07:00
if b then
ungetb ( b )
end
2020-12-23 10:33:09 -08:00
return chars
end
end
local function parse_number ( rawstr )
local number_with_stripped_underscores = ( not rawstr : find ( " ^_ " ) and rawstr : gsub ( " _ " , " " ) )
if rawstr : match ( " ^%d " ) then
dispatch ( ( tonumber ( number_with_stripped_underscores ) or parse_error ( ( " could not read number \" " .. rawstr .. " \" " ) ) ) )
return true
else
local _0_0 = tonumber ( number_with_stripped_underscores )
if ( nil ~= _0_0 ) then
local x = _0_0
2020-09-18 12:13:53 -07:00
dispatch ( x )
2020-12-23 10:33:09 -08:00
return true
else
local _ = _0_0
return false
2020-09-18 12:13:53 -07:00
end
2020-12-23 10:33:09 -08:00
end
end
local function check_malformed_sym ( rawstr )
if ( rawstr : match ( " ^~ " ) and ( rawstr ~= " ~= " ) ) then
return parse_error ( " illegal character: ~ " )
elseif rawstr : match ( " %.[0-9] " ) then
2021-04-12 16:52:31 -07:00
return parse_error ( ( " can't start multisym segment with a digit: " .. rawstr ) , ( ( ( byteindex - # rawstr ) + rawstr : find ( " %.[0-9] " ) ) + 1 ) )
2020-12-23 10:33:09 -08:00
elseif ( rawstr : match ( " [%.:][%.:] " ) and ( rawstr ~= " .. " ) and ( rawstr ~= " $... " ) ) then
return parse_error ( ( " malformed multisym: " .. rawstr ) , ( ( byteindex - # rawstr ) + 1 + rawstr : find ( " [%.:][%.:] " ) ) )
elseif rawstr : match ( " :.+[%.:] " ) then
2021-04-12 16:52:31 -07:00
return parse_error ( ( " method must be last component of multisym: " .. rawstr ) , ( ( byteindex - # rawstr ) + rawstr : find ( " :.+[%.:] " ) ) )
else
return rawstr
2020-12-23 10:33:09 -08:00
end
end
local function parse_sym ( b )
local bytestart = byteindex
local rawstr = string.char ( unpack ( parse_sym_loop ( { b } , getb ( ) ) ) )
if ( rawstr == " true " ) then
return dispatch ( true )
elseif ( rawstr == " false " ) then
return dispatch ( false )
elseif ( rawstr == " ... " ) then
return dispatch ( utils.varg ( ) )
elseif rawstr : match ( " ^:.+$ " ) then
return dispatch ( rawstr : sub ( 2 ) )
2021-04-12 16:52:31 -07:00
elseif not parse_number ( rawstr ) then
return dispatch ( utils.sym ( check_malformed_sym ( rawstr ) , { byteend = byteindex , bytestart = bytestart , filename = filename , line = line } ) )
2020-12-23 10:33:09 -08:00
end
end
local function parse_loop ( b )
if not b then
elseif ( b == 59 ) then
2021-02-01 17:09:15 -08:00
parse_comment ( getb ( ) , { " ; " } )
2020-12-23 10:33:09 -08:00
elseif ( type ( delims [ b ] ) == " number " ) then
open_table ( b )
elseif delims [ b ] then
close_table ( b )
elseif ( b == 34 ) then
parse_string ( b )
elseif prefixes [ b ] then
parse_prefix ( b )
2021-02-01 17:09:15 -08:00
elseif ( sym_char_3f ( b ) or ( b == string.byte ( " ~ " ) ) ) then
2020-12-23 10:33:09 -08:00
parse_sym ( b )
2020-09-18 12:13:53 -07:00
else
parse_error ( ( " illegal character: " .. string.char ( b ) ) )
2018-10-17 18:32:39 -07:00
end
2020-12-23 10:33:09 -08:00
if not b then
return nil
elseif done_3f then
return true , retval
else
return parse_loop ( skip_whitespace ( getb ( ) ) )
2018-10-17 18:32:39 -07:00
end
2020-09-18 12:13:53 -07:00
end
2020-12-23 10:33:09 -08:00
return parse_loop ( skip_whitespace ( getb ( ) ) )
2020-09-18 12:13:53 -07:00
end
local function _0_ ( )
stack = { }
return nil
2018-10-17 18:32:39 -07:00
end
2020-09-18 12:13:53 -07:00
return parse_stream , _0_
end
2021-02-01 17:09:15 -08:00
return { [ " string-stream " ] = string_stream , [ " sym-char? " ] = sym_char_3f , granulate = granulate , parser = parser }
2018-10-17 18:32:39 -07:00
end
2020-09-18 12:13:53 -07:00
local utils = nil
package.preload [ " fennel.utils " ] = package.preload [ " fennel.utils " ] or function ( ... )
local function stablepairs ( t )
local keys = { }
local succ = { }
for k in pairs ( t ) do
table.insert ( keys , k )
end
2021-04-12 16:52:31 -07:00
local function _0_ ( _241 , _242 )
return ( tostring ( _241 ) < tostring ( _242 ) )
2020-09-18 12:13:53 -07:00
end
table.sort ( keys , _0_ )
for i , k in ipairs ( keys ) do
succ [ k ] = keys [ ( i + 1 ) ]
end
local function stablenext ( tbl , idx )
2021-04-12 16:52:31 -07:00
local key = nil
2020-09-18 12:13:53 -07:00
if ( idx == nil ) then
2021-04-12 16:52:31 -07:00
key = keys [ 1 ]
2020-09-18 12:13:53 -07:00
else
2021-04-12 16:52:31 -07:00
key = succ [ idx ]
2018-10-17 18:32:39 -07:00
end
2021-04-12 16:52:31 -07:00
local value = nil
if ( key == nil ) then
value = nil
else
value = tbl [ key ]
end
return key , value
2020-09-18 12:13:53 -07:00
end
return stablenext , t , nil
end
local function map ( t , f , out )
local out0 = ( out or { } )
local f0 = nil
if ( type ( f ) == " function " ) then
f0 = f
else
2021-04-12 16:52:31 -07:00
local function _0_ ( _241 )
return _241 [ f ]
2020-09-18 12:13:53 -07:00
end
f0 = _0_
end
for _ , x in ipairs ( t ) do
local _1_0 = f0 ( x )
if ( nil ~= _1_0 ) then
local v = _1_0
table.insert ( out0 , v )
end
end
return out0
end
local function kvmap ( t , f , out )
local out0 = ( out or { } )
local f0 = nil
if ( type ( f ) == " function " ) then
f0 = f
else
2021-04-12 16:52:31 -07:00
local function _0_ ( _241 )
return _241 [ f ]
2020-09-18 12:13:53 -07:00
end
f0 = _0_
end
for k , x in stablepairs ( t ) do
2020-12-23 10:33:09 -08:00
local _1_0 , _2_0 = f0 ( k , x )
if ( ( nil ~= _1_0 ) and ( nil ~= _2_0 ) ) then
local key = _1_0
local value = _2_0
out0 [ key ] = value
elseif ( nil ~= _1_0 ) then
local value = _1_0
table.insert ( out0 , value )
2020-09-18 12:13:53 -07:00
end
end
return out0
end
2020-10-13 23:23:38 -07:00
local function copy ( from , to )
local to0 = ( to or { } )
2020-09-18 12:13:53 -07:00
for k , v in pairs ( ( from or { } ) ) do
2020-10-13 23:23:38 -07:00
to0 [ k ] = v
end
return to0
end
local function member_3f ( x , tbl , n )
local _0_0 = tbl [ ( n or 1 ) ]
if ( _0_0 == x ) then
return true
elseif ( _0_0 == nil ) then
return false
else
local _ = _0_0
return member_3f ( x , tbl , ( ( n or 1 ) + 1 ) )
2020-09-18 12:13:53 -07:00
end
end
local function allpairs ( tbl )
assert ( ( type ( tbl ) == " table " ) , " allpairs expects a table " )
local t = tbl
local seen = { }
local function allpairs_next ( _ , state )
local next_state , value = next ( t , state )
if seen [ next_state ] then
return allpairs_next ( nil , next_state )
elseif next_state then
seen [ next_state ] = true
return next_state , value
else
local meta = getmetatable ( t )
if ( meta and meta.__index ) then
t = meta.__index
return allpairs_next ( t )
2019-04-20 17:38:53 -07:00
end
2020-09-18 12:13:53 -07:00
end
2019-04-20 17:38:53 -07:00
end
2020-09-18 12:13:53 -07:00
return allpairs_next
end
local function deref ( self )
return self [ 1 ]
end
local nil_sym = nil
2020-10-13 23:23:38 -07:00
local function list__3estring ( self , tostring2 )
2020-09-18 12:13:53 -07:00
local safe , max = { } , 0
for k in pairs ( self ) do
if ( ( type ( k ) == " number " ) and ( k > max ) ) then
max = k
end
end
2020-12-23 10:33:09 -08:00
for i = 1 , max do
2020-09-18 12:13:53 -07:00
safe [ i ] = ( ( ( self [ i ] == nil ) and nil_sym ) or self [ i ] )
end
return ( " ( " .. table.concat ( map ( safe , ( tostring2 or tostring ) ) , " " , 1 , max ) .. " ) " )
end
2021-04-12 16:52:31 -07:00
local function comment_view ( c )
return c , true
end
local function sym_3d ( a , b )
return ( ( deref ( a ) == deref ( b ) ) and ( getmetatable ( a ) == getmetatable ( b ) ) )
end
local function sym_3c ( a , b )
return ( a [ 1 ] < tostring ( b ) )
end
local symbol_mt = { " SYMBOL " , __eq = sym_3d , __fennelview = deref , __lt = sym_3c , __tostring = deref }
2020-10-13 23:23:38 -07:00
local expr_mt = { " EXPR " , __tostring = deref }
local list_mt = { " LIST " , __fennelview = list__3estring , __tostring = list__3estring }
2021-04-12 16:52:31 -07:00
local comment_mt = { " COMMENT " , __eq = sym_3d , __fennelview = comment_view , __lt = sym_3c , __tostring = deref }
2020-10-13 23:23:38 -07:00
local sequence_marker = { " SEQUENCE " }
local vararg = setmetatable ( { " ... " } , { " VARARG " , __fennelview = deref , __tostring = deref } )
2020-09-18 12:13:53 -07:00
local getenv = nil
local function _0_ ( )
return nil
end
getenv = ( ( os and os.getenv ) or _0_ )
2020-10-13 23:23:38 -07:00
local function debug_on_3f ( flag )
2020-09-18 12:13:53 -07:00
local level = ( getenv ( " FENNEL_DEBUG " ) or " " )
return ( ( level == " all " ) or level : find ( flag ) )
end
local function list ( ... )
2020-10-13 23:23:38 -07:00
return setmetatable ( { ... } , list_mt )
2020-09-18 12:13:53 -07:00
end
2021-04-12 16:52:31 -07:00
local function sym ( str , _3fsource , _3fscope )
local s = { str , [ " ?scope " ] = _3fscope }
for k , v in pairs ( ( _3fsource or { } ) ) do
2020-09-18 12:13:53 -07:00
if ( type ( k ) == " string " ) then
s [ k ] = v
end
end
2020-10-13 23:23:38 -07:00
return setmetatable ( s , symbol_mt )
2020-09-18 12:13:53 -07:00
end
nil_sym = sym ( " nil " )
local function sequence ( ... )
2020-10-13 23:23:38 -07:00
return setmetatable ( { ... } , { sequence = sequence_marker } )
2020-09-18 12:13:53 -07:00
end
local function expr ( strcode , etype )
2020-10-13 23:23:38 -07:00
return setmetatable ( { strcode , type = etype } , expr_mt )
2020-09-18 12:13:53 -07:00
end
2021-04-12 16:52:31 -07:00
local function comment_2a ( contents , _3fsource )
local _1_ = ( _3fsource or { } )
local filename = _1_ [ " filename " ]
local line = _1_ [ " line " ]
return setmetatable ( { contents , filename = filename , line = line } , comment_mt )
2021-02-01 17:09:15 -08:00
end
2020-09-18 12:13:53 -07:00
local function varg ( )
2020-10-13 23:23:38 -07:00
return vararg
2020-09-18 12:13:53 -07:00
end
2020-10-13 23:23:38 -07:00
local function expr_3f ( x )
return ( ( type ( x ) == " table " ) and ( getmetatable ( x ) == expr_mt ) and x )
2020-09-18 12:13:53 -07:00
end
2020-10-13 23:23:38 -07:00
local function varg_3f ( x )
return ( ( x == vararg ) and x )
2020-09-18 12:13:53 -07:00
end
2020-10-13 23:23:38 -07:00
local function list_3f ( x )
return ( ( type ( x ) == " table " ) and ( getmetatable ( x ) == list_mt ) and x )
2020-09-18 12:13:53 -07:00
end
2020-10-13 23:23:38 -07:00
local function sym_3f ( x )
return ( ( type ( x ) == " table " ) and ( getmetatable ( x ) == symbol_mt ) and x )
2020-09-18 12:13:53 -07:00
end
2020-10-13 23:23:38 -07:00
local function sequence_3f ( x )
2020-09-18 12:13:53 -07:00
local mt = ( ( type ( x ) == " table " ) and getmetatable ( x ) )
2020-10-13 23:23:38 -07:00
return ( mt and ( mt.sequence == sequence_marker ) and x )
2020-09-18 12:13:53 -07:00
end
2021-02-01 17:09:15 -08:00
local function comment_3f ( x )
return ( ( type ( x ) == " table " ) and ( getmetatable ( x ) == comment_mt ) and x )
end
2021-04-12 16:52:31 -07:00
local function table_3f ( x )
return ( ( type ( x ) == " table " ) and ( x ~= vararg ) and ( getmetatable ( x ) ~= list_mt ) and ( getmetatable ( x ) ~= symbol_mt ) and not comment_3f ( x ) and x )
end
2020-10-13 23:23:38 -07:00
local function multi_sym_3f ( str )
if sym_3f ( str ) then
return multi_sym_3f ( tostring ( str ) )
2020-09-18 12:13:53 -07:00
elseif ( type ( str ) ~= " string " ) then
return false
else
local parts = { }
for part in str : gmatch ( " [^%.%:]+[%.%:]? " ) do
local last_char = part : sub ( ( - 1 ) )
if ( last_char == " : " ) then
parts [ " multi-sym-method-call " ] = true
end
if ( ( last_char == " : " ) or ( last_char == " . " ) ) then
parts [ ( # parts + 1 ) ] = part : sub ( 1 , ( - 2 ) )
2019-09-22 15:35:39 -07:00
else
2020-09-18 12:13:53 -07:00
parts [ ( # parts + 1 ) ] = part
end
end
return ( ( # parts > 0 ) and ( str : match ( " %. " ) or str : match ( " : " ) ) and not str : match ( " %.%. " ) and ( str : byte ( ) ~= string.byte ( " . " ) ) and ( str : byte ( ( - 1 ) ) ~= string.byte ( " . " ) ) and parts )
end
end
2020-10-13 23:23:38 -07:00
local function quoted_3f ( symbol )
2020-09-18 12:13:53 -07:00
return symbol.quoted
end
local function walk_tree ( root , f , custom_iterator )
local function walk ( iterfn , parent , idx , node )
if f ( idx , node , parent ) then
for k , v in iterfn ( node ) do
walk ( iterfn , node , k , v )
2019-09-22 15:35:39 -07:00
end
2020-09-18 12:13:53 -07:00
return nil
end
2019-09-22 15:35:39 -07:00
end
2020-09-18 12:13:53 -07:00
walk ( ( custom_iterator or pairs ) , nil , nil , root )
return root
end
2020-12-23 10:33:09 -08:00
local lua_keywords = { " and " , " break " , " do " , " else " , " elseif " , " end " , " false " , " for " , " function " , " if " , " in " , " local " , " nil " , " not " , " or " , " repeat " , " return " , " then " , " true " , " until " , " while " , " goto " }
2020-09-18 12:13:53 -07:00
for i , v in ipairs ( lua_keywords ) do
lua_keywords [ v ] = i
end
local function valid_lua_identifier_3f ( str )
return ( str : match ( " ^[%a_][%w_]*$ " ) and not lua_keywords [ str ] )
end
2021-02-01 17:09:15 -08:00
local propagated_options = { " allowedGlobals " , " indent " , " correlate " , " useMetadata " , " env " , " compiler-env " , " compilerEnv " }
2020-09-18 12:13:53 -07:00
local function propagate_options ( options , subopts )
for _ , name in ipairs ( propagated_options ) do
subopts [ name ] = options [ name ]
end
return subopts
end
local root = nil
local function _1_ ( )
end
root = { chunk = nil , options = nil , reset = _1_ , scope = nil }
2020-10-13 23:23:38 -07:00
root [ " set-reset " ] = function ( _2_0 )
local _3_ = _2_0
local chunk = _3_ [ " chunk " ]
local options = _3_ [ " options " ]
local reset = _3_ [ " reset " ]
local scope = _3_ [ " scope " ]
2020-09-18 12:13:53 -07:00
root.reset = function ( )
2020-10-13 23:23:38 -07:00
root.chunk , root.scope , root.options , root.reset = chunk , scope , options , reset
2020-09-18 12:13:53 -07:00
return nil
end
return root.reset
end
2020-10-13 23:23:38 -07:00
local function hook ( event , ... )
if ( root.options and root.options . plugins ) then
for _ , plugin in ipairs ( root.options . plugins ) do
local _3_0 = plugin [ event ]
if ( nil ~= _3_0 ) then
local f = _3_0
f ( ... )
end
end
return nil
end
2020-09-18 12:13:53 -07:00
end
2021-02-01 17:09:15 -08:00
return { [ " comment? " ] = comment_3f , [ " debug-on? " ] = debug_on_3f , [ " expr? " ] = expr_3f , [ " list? " ] = list_3f , [ " lua-keywords " ] = lua_keywords , [ " member? " ] = member_3f , [ " multi-sym? " ] = multi_sym_3f , [ " propagate-options " ] = propagate_options , [ " quoted? " ] = quoted_3f , [ " sequence? " ] = sequence_3f , [ " sym? " ] = sym_3f , [ " table? " ] = table_3f , [ " valid-lua-identifier? " ] = valid_lua_identifier_3f , [ " varg? " ] = varg_3f , [ " walk-tree " ] = walk_tree , allpairs = allpairs , comment = comment_2a , copy = copy , deref = deref , expr = expr , hook = hook , kvmap = kvmap , list = list , map = map , path = table.concat ( { " ./?.fnl " , " ./?/init.fnl " , getenv ( " FENNEL_PATH " ) } , " ; " ) , root = root , sequence = sequence , stablepairs = stablepairs , sym = sym , varg = varg }
2020-09-18 12:13:53 -07:00
end
utils = require ( " fennel.utils " )
local parser = require ( " fennel.parser " )
local compiler = require ( " fennel.compiler " )
local specials = require ( " fennel.specials " )
local repl = require ( " fennel.repl " )
2021-02-01 17:09:15 -08:00
local view = require ( " fennel.view " )
2021-04-12 16:52:31 -07:00
local function eval_env ( env )
2020-12-23 10:33:09 -08:00
if ( env == " _COMPILER " ) then
local env0 = specials [ " make-compiler-env " ] ( nil , compiler.scopes . compiler , { } )
local mt = getmetatable ( env0 )
mt.__index = _G
return specials [ " wrap-env " ] ( env0 )
else
return ( env and specials [ " wrap-env " ] ( env ) )
end
end
2021-04-12 16:52:31 -07:00
local function eval_opts ( options , str )
2020-09-18 12:13:53 -07:00
local opts = utils.copy ( options )
if ( ( opts.allowedGlobals == nil ) and not getmetatable ( opts.env ) ) then
opts.allowedGlobals = specials [ " current-global-names " ] ( opts.env )
end
2021-04-12 16:52:31 -07:00
if ( not opts.filename and not opts.source ) then
opts.source = str
end
if ( opts.env == " _COMPILER " ) then
opts.scope = compiler [ " make-scope " ] ( compiler.scopes . compiler )
end
return opts
end
local function eval ( str , options , ... )
local opts = eval_opts ( options , str )
local env = eval_env ( opts.env )
2020-09-18 12:13:53 -07:00
local lua_source = compiler [ " compile-string " ] ( str , opts )
local loader = nil
2021-04-12 16:52:31 -07:00
local function _0_ ( ... )
2020-09-18 12:13:53 -07:00
if opts.filename then
return ( " @ " .. opts.filename )
else
return str
end
end
2021-04-12 16:52:31 -07:00
loader = specials [ " load-code " ] ( lua_source , env , _0_ ( ... ) )
2020-09-18 12:13:53 -07:00
opts.filename = nil
return loader ( ... )
end
local function dofile_2a ( filename , options , ... )
local opts = utils.copy ( options )
local f = assert ( io.open ( filename , " rb " ) )
2020-10-13 23:23:38 -07:00
local source = assert ( f : read ( " *all " ) , ( " Could not read " .. filename ) )
2020-09-18 12:13:53 -07:00
f : close ( )
opts.filename = filename
return eval ( source , opts , ... )
end
2021-04-13 21:44:56 -07:00
local mod = { [ " comment? " ] = utils [ " comment? " ] , [ " compile-stream " ] = compiler [ " compile-stream " ] , [ " compile-string " ] = compiler [ " compile-string " ] , [ " list? " ] = utils [ " list? " ] , [ " load-code " ] = specials [ " load-code " ] , [ " macro-loaded " ] = specials [ " macro-loaded " ] , [ " macro-searchers " ] = specials [ " macro-searchers " ] , [ " make-searcher " ] = specials [ " make-searcher " ] , [ " search-module " ] = specials [ " search-module " ] , [ " sequence? " ] = utils [ " sequence? " ] , [ " string-stream " ] = parser [ " string-stream " ] , [ " sym-char? " ] = parser [ " sym-char? " ] , [ " sym? " ] = utils [ " sym? " ] , comment = utils.comment , compile = compiler.compile , compile1 = compiler.compile1 , compileStream = compiler [ " compile-stream " ] , compileString = compiler [ " compile-string " ] , doc = specials.doc , dofile = dofile_2a , eval = eval , gensym = compiler.gensym , granulate = parser.granulate , list = utils.list , loadCode = specials [ " load-code " ] , macroLoaded = specials [ " macro-loaded " ] , makeSearcher = specials [ " make-searcher " ] , make_searcher = specials [ " make-searcher " ] , mangle = compiler [ " global-mangling " ] , metadata = compiler.metadata , parser = parser.parser , path = utils.path , repl = repl , scope = compiler [ " make-scope " ] , searchModule = specials [ " search-module " ] , searcher = specials [ " make-searcher " ] ( ) , sequence = utils.sequence , stringStream = parser [ " string-stream " ] , sym = utils.sym , traceback = compiler.traceback , unmangle = compiler [ " global-unmangling " ] , varg = utils.varg , version = " 0.9.1 " , view = view }
2020-09-18 12:13:53 -07:00
utils [ " fennel-module " ] = mod
do
2020-10-13 23:23:38 -07:00
local builtin_macros = [ === [ ; ; This module contains all the built - in Fennel macros . Unlike all the other
; ; modules that are loaded by the old bootstrap compiler , this runs in the
; ; compiler scope of the version of the compiler being defined .
2021-04-13 21:44:56 -07:00
2020-10-13 23:23:38 -07:00
; ; The code for these macros is somewhat idiosyncratic because it cannot use any
2020-09-18 12:13:53 -07:00
; ; macros which have not yet been defined .
2021-04-13 21:44:56 -07:00
2020-12-23 10:33:09 -08:00
; ; TODO : some of these macros modify their arguments ; we should stop doing that ,
; ; but in a way that preserves file / line metadata .
2021-04-13 21:44:56 -07:00
2021-04-12 16:52:31 -07:00
( fn ->* [ val ... ]
2020-09-18 12:13:53 -07:00
" Thread-first macro.
Take the first value and splice it into the second form as its first argument .
The value of the second form is spliced into the first arg of the third , etc . "
( var x val )
( each [ _ e ( ipairs [ ... ] ) ]
( let [ elt ( if ( list ? e ) e ( list e ) ) ]
( table.insert elt 2 x )
( set x elt ) ) )
x )
2021-04-13 21:44:56 -07:00
2021-04-12 16:52:31 -07:00
( fn ->>* [ val ... ]
2020-09-18 12:13:53 -07:00
" Thread-last macro.
Same as -> , except splices the value into the last position of each form
rather than the first . "
( var x val )
( each [ _ e ( pairs [ ... ] ) ]
( let [ elt ( if ( list ? e ) e ( list e ) ) ]
( table.insert elt x )
( set x elt ) ) )
x )
2021-04-13 21:44:56 -07:00
2021-04-12 16:52:31 -07:00
( fn - ? >* [ val ... ]
2020-09-18 12:13:53 -07:00
" Nil-safe thread-first macro.
Same as -> except will short - circuit with nil when it encounters a nil value . "
( if ( = 0 ( select " # " ... ) )
val
( let [ els [ ... ]
e ( table.remove els 1 )
el ( if ( list ? e ) e ( list e ) )
tmp ( gensym ) ]
( table.insert el 2 tmp )
` ( let [ , tmp , val ]
( if , tmp
( - ? > , el , ( unpack els ) )
, tmp ) ) ) ) )
2021-04-13 21:44:56 -07:00
2021-04-12 16:52:31 -07:00
( fn - ? >>* [ val ... ]
2020-09-18 12:13:53 -07:00
" Nil-safe thread-last macro.
Same as ->> except will short - circuit with nil when it encounters a nil value . "
( if ( = 0 ( select " # " ... ) )
val
( let [ els [ ... ]
e ( table.remove els 1 )
el ( if ( list ? e ) e ( list e ) )
tmp ( gensym ) ]
( table.insert el tmp )
` ( let [ , tmp , val ]
( if , tmp
( - ? >> , el , ( unpack els ) )
, tmp ) ) ) ) )
2021-04-13 21:44:56 -07:00
2021-04-12 16:52:31 -07:00
( fn ? dot [ tbl k ... ]
" Nil-safe table look up.
Same as . ( dot ) , except will short - circuit with nil when it encounters
a nil value in any of subsequent keys . "
( if ( = nil k ) tbl ` ( let [ res # ( . , tbl , k ) ]
( and res # ( ? . res # , ... ) ) ) ) )
2021-04-13 21:44:56 -07:00
2021-04-12 16:52:31 -07:00
( fn doto * [ val ... ]
2020-09-18 12:13:53 -07:00
" Evaluates val and splices it into the first argument of subsequent forms. "
( let [ name ( gensym )
form ` ( let [ , name , val ] ) ]
( each [ _ elt ( pairs [ ... ] ) ]
( table.insert elt 2 name )
( table.insert form elt ) )
( table.insert form name )
form ) )
2021-04-13 21:44:56 -07:00
2021-04-12 16:52:31 -07:00
( fn when * [ condition body1 ... ]
2020-09-18 12:13:53 -07:00
" Evaluate body for side-effects only when condition is truthy. "
( assert body1 " expected body " )
` ( if , condition
2021-04-12 16:52:31 -07:00
( do
, body1
, ... ) ) )
2021-04-13 21:44:56 -07:00
2021-04-12 16:52:31 -07:00
( fn with - open * [ closable - bindings ... ]
2020-09-18 12:13:53 -07:00
" Like `let`, but invokes (v:close) on each binding after evaluating the body.
The body is evaluated inside ` xpcall ` so that bound values will be closed upon
encountering an error before propagating it . "
2021-04-12 16:52:31 -07:00
( let [ bodyfn ` ( fn [ ]
, ... )
closer ` ( fn close - handlers # [ ok # ... ]
( if ok # ... ( error ... 0 ) ) )
2020-09-18 12:13:53 -07:00
traceback ` ( . ( or package.loaded . fennel debug ) : traceback ) ]
2021-04-12 16:52:31 -07:00
( for [ i 1 ( length closable - bindings ) 2 ]
2020-09-18 12:13:53 -07:00
( assert ( sym ? ( . closable - bindings i ) )
" with-open only allows symbols in bindings " )
( table.insert closer 4 ` ( : , ( . closable - bindings i ) : close ) ) )
2021-04-12 16:52:31 -07:00
` ( let , closable - bindings
, closer
( close - handlers # ( xpcall , bodyfn , traceback ) ) ) ) )
2021-04-13 21:44:56 -07:00
2021-04-12 16:52:31 -07:00
( fn collect * [ iter - tbl key - value - expr ... ]
2020-12-23 10:33:09 -08:00
" Returns a table made by running an iterator and evaluating an expression
that returns key - value pairs to be inserted sequentially into the table .
This can be thought of as a \ " table comprehension \" . The provided key-value
expression must return either 2 values , or nil .
2021-04-13 21:44:56 -07:00
2020-12-23 10:33:09 -08:00
For example ,
( collect [ k v ( pairs { : apple \ " red \" :orange \" orange \" })]
( values v k ) )
returns
{ : red \ " apple \" :orange \" orange \" } "
( assert ( and ( sequence ? iter - tbl ) ( >= ( length iter - tbl ) 2 ) )
" expected iterator binding table " )
2021-04-12 16:52:31 -07:00
( assert ( not = nil key - value - expr ) " expected key-value expression " )
2021-02-01 17:09:15 -08:00
( assert ( = nil ... )
" expected exactly one body expression. Wrap multiple expressions with do " )
2020-12-23 10:33:09 -08:00
` ( let [ tbl # { } ]
( each , iter - tbl
( match , key - value - expr
( k # v # ) ( tset tbl # k # v # ) ) )
tbl # ) )
2021-04-13 21:44:56 -07:00
2021-04-12 16:52:31 -07:00
( fn icollect * [ iter - tbl value - expr ... ]
2020-12-23 10:33:09 -08:00
" Returns a sequential table made by running an iterator and evaluating an
expression that returns values to be inserted sequentially into the table .
This can be thought of as a \ " list comprehension \" .
2021-04-13 21:44:56 -07:00
2020-12-23 10:33:09 -08:00
For example ,
( icollect [ _ v ( ipairs [ 1 2 3 4 5 ] ) ] ( when ( > v 2 ) ( * v v ) ) )
returns
[ 9 16 25 ] "
( assert ( and ( sequence ? iter - tbl ) ( >= ( length iter - tbl ) 2 ) )
" expected iterator binding table " )
2021-04-12 16:52:31 -07:00
( assert ( not = nil value - expr ) " expected table value expression " )
2021-02-01 17:09:15 -08:00
( assert ( = nil ... )
" expected exactly one body expression. Wrap multiple expressions with do " )
2020-12-23 10:33:09 -08:00
` ( let [ tbl # [ ] ]
( each , iter - tbl
( tset tbl # ( + ( length tbl # ) 1 ) , value - expr ) )
tbl # ) )
2021-04-13 21:44:56 -07:00
2021-04-12 16:52:31 -07:00
( fn partial * [ f ... ]
2020-09-18 12:13:53 -07:00
" Returns a function with all arguments partially applied to f. "
2021-04-12 16:52:31 -07:00
( assert f " expected a function to partially apply " )
2020-09-18 12:13:53 -07:00
( let [ body ( list f ... ) ]
( table.insert body _VARARG )
2021-04-12 16:52:31 -07:00
` ( fn [ , _VARARG ]
, body ) ) )
2021-04-13 21:44:56 -07:00
2021-04-12 16:52:31 -07:00
( fn pick - args * [ n f ]
2020-09-18 12:13:53 -07:00
" Creates a function of arity n that applies its arguments to f.
2021-04-13 21:44:56 -07:00
2020-09-18 12:13:53 -07:00
For example ,
( pick - args 2 func )
expands to
( fn [ _0_ _1_ ] ( func _0_ _1_ ) ) "
( assert ( and ( = ( type n ) : number ) ( = n ( math.floor n ) ) ( >= n 0 ) )
2021-04-12 16:52:31 -07:00
( .. " Expected n to be an integer literal >= 0, got " ( tostring n ) ) )
2020-09-18 12:13:53 -07:00
( let [ bindings [ ] ]
2021-04-12 16:52:31 -07:00
( for [ i 1 n ]
( tset bindings i ( gensym ) ) )
` ( fn , bindings
( , f , ( unpack bindings ) ) ) ) )
2021-04-13 21:44:56 -07:00
2021-04-12 16:52:31 -07:00
( fn pick - values * [ n ... ]
2020-09-18 12:13:53 -07:00
" Like the `values` special, but emits exactly n values.
2021-04-13 21:44:56 -07:00
2020-09-18 12:13:53 -07:00
For example ,
( pick - values 2 ... )
expands to
( let [ ( _0_ _1_ ) ... ]
( values _0_ _1_ ) ) "
( assert ( and ( = : number ( type n ) ) ( >= n 0 ) ( = n ( math.floor n ) ) )
2021-04-12 16:52:31 -07:00
( .. " Expected n to be an integer >= 0, got " ( tostring n ) ) )
( let [ let - syms ( list )
let - values ( if ( = 1 ( select " # " ... ) ) ... ` ( values , ... ) ) ]
( for [ i 1 n ]
( table.insert let - syms ( gensym ) ) )
2020-09-18 12:13:53 -07:00
( if ( = n 0 ) ` ( values )
2021-04-12 16:52:31 -07:00
` ( let [ , let - syms , let - values ]
( values , ( unpack let - syms ) ) ) ) ) )
2021-04-13 21:44:56 -07:00
2021-04-12 16:52:31 -07:00
( fn lambda * [ ... ]
2020-09-18 12:13:53 -07:00
" Function literal with arity checking.
Will throw an exception if a declared argument is passed in as nil , unless
that argument name begins with ? . "
( let [ args [ ... ]
has - internal - name ? ( sym ? ( . args 1 ) )
arglist ( if has - internal - name ? ( . args 2 ) ( . args 1 ) )
docstring - position ( if has - internal - name ? 3 2 )
2021-04-12 16:52:31 -07:00
has - docstring ? ( and ( > ( length args ) docstring - position )
2020-09-18 12:13:53 -07:00
( = : string ( type ( . args docstring - position ) ) ) )
arity - check - position ( - 4 ( if has - internal - name ? 0 1 )
( if has - docstring ? 0 1 ) )
2021-04-12 16:52:31 -07:00
empty - body ? ( < ( length args ) arity - check - position ) ]
2020-09-18 12:13:53 -07:00
( fn check ! [ a ]
( if ( table ? a )
( each [ _ a ( pairs a ) ]
( check ! a ) )
2020-12-23 10:33:09 -08:00
( let [ as ( tostring a ) ]
2021-04-12 16:52:31 -07:00
( and ( not ( as : match " ^? " ) ) ( not = as " & " ) ( not = as " _ " )
( not = as " ... " ) ) )
2020-09-18 12:13:53 -07:00
( table.insert args arity - check - position
` ( assert ( not = nil , a )
( string.format " Missing argument %s on %s:%s "
, ( tostring a )
2021-04-12 16:52:31 -07:00
, ( or a.filename : unknown )
2020-09-18 12:13:53 -07:00
, ( or a.line " ? " ) ) ) ) ) )
2021-04-13 21:44:56 -07:00
2020-09-18 12:13:53 -07:00
( assert ( = : table ( type arglist ) ) " expected arg list " )
( each [ _ a ( ipairs arglist ) ]
( check ! a ) )
( if empty - body ?
( table.insert args ( sym : nil ) ) )
` ( fn , ( unpack args ) ) ) )
2021-04-13 21:44:56 -07:00
2021-04-12 16:52:31 -07:00
( fn macro * [ name ... ]
2020-09-18 12:13:53 -07:00
" Define a single macro. "
( assert ( sym ? name ) " expected symbol for macro name " )
( local args [ ... ] )
2021-04-12 16:52:31 -07:00
` ( macros { , ( tostring name ) ( fn , ( unpack args ) ) } ) )
2021-04-13 21:44:56 -07:00
2021-04-12 16:52:31 -07:00
( fn macrodebug * [ form return ? ]
2020-09-18 12:13:53 -07:00
" Print the resulting form after performing macroexpansion.
With a second argument , returns expanded form as a string instead of printing . "
2021-02-01 17:09:15 -08:00
( let [ handle ( if return ? ` do ` print ) ]
` ( , handle , ( view ( macroexpand form _SCOPE ) ) ) ) )
2021-04-13 21:44:56 -07:00
2021-04-12 16:52:31 -07:00
( fn import - macros * [ binding1 module - name1 ... ]
2020-09-18 12:13:53 -07:00
" Binds a table of macros from each macro module according to a binding form.
Each binding form can be either a symbol or a k / v destructuring table .
Example :
( import - macros mymacros : my - macros ; bind to symbol
{ : macro1 alias : macro2 } : proj.macros ) ; import by name "
2021-04-12 16:52:31 -07:00
( assert ( and binding1 module - name1 ( = 0 ( % ( select " # " ... ) 2 ) ) )
2020-09-18 12:13:53 -07:00
" expected even number of binding/modulename pairs " )
2021-04-12 16:52:31 -07:00
( for [ i 1 ( select " # " binding1 module - name1 ... ) 2 ]
2020-12-23 10:33:09 -08:00
( let [ ( binding modname ) ( select i binding1 module - name1 ... )
; ; generate a subscope of current scope , use require - macros
; ; to bring in macro module . after that , we just copy the
; ; macros from subscope to scope .
scope ( get - scope )
subscope ( fennel.scope scope ) ]
( _SPECIALS.require - macros ` ( require - macros , modname ) subscope { } ast )
( if ( sym ? binding )
; ; bind whole table of macros to table bound to symbol
2021-04-12 16:52:31 -07:00
( do
( tset scope.macros ( . binding 1 ) { } )
( each [ k v ( pairs subscope.macros ) ]
( tset ( . scope.macros ( . binding 1 ) ) k v ) ) )
2020-12-23 10:33:09 -08:00
; ; 1 - level table destructuring for importing individual macros
( table ? binding )
( each [ macro - name [ import - key ] ( pairs binding ) ]
( assert ( = : function ( type ( . subscope.macros macro - name ) ) )
( .. " macro " macro - name " not found in module "
( tostring modname ) ) )
( tset scope.macros import - key ( . subscope.macros macro - name ) ) ) ) ) )
2020-09-18 12:13:53 -07:00
nil )
2021-04-13 21:44:56 -07:00
2020-09-18 12:13:53 -07:00
; ; ; Pattern matching
2021-04-13 21:44:56 -07:00
2020-12-23 10:33:09 -08:00
( fn match - values [ vals pattern unifications match - pattern ]
( let [ condition ` ( and )
bindings [ ] ]
( each [ i pat ( ipairs pattern ) ]
( let [ ( subcondition subbindings ) ( match - pattern [ ( . vals i ) ] pat
unifications ) ]
( table.insert condition subcondition )
( each [ _ b ( ipairs subbindings ) ]
( table.insert bindings b ) ) ) )
( values condition bindings ) ) )
2021-04-13 21:44:56 -07:00
2020-12-23 10:33:09 -08:00
( fn match - table [ val pattern unifications match - pattern ]
( let [ condition ` ( and ( = ( type , val ) : table ) )
bindings [ ] ]
( each [ k pat ( pairs pattern ) ]
2021-04-12 16:52:31 -07:00
( if ( = pat ` & )
( do
( assert ( = nil ( . pattern ( + k 2 ) ) )
" expected & rest argument before last parameter " )
( table.insert bindings ( . pattern ( + k 1 ) ) )
( table.insert bindings
[ ` ( select , k ( ( or table.unpack _G.unpack ) , val ) ) ] ) )
( = k ` & as )
( do
( table.insert bindings pat )
( table.insert bindings val ) )
( and ( = : number ( type k ) ) ( = ` & as pat ) )
( do
( assert ( = nil ( . pattern ( + k 2 ) ) )
" expected &as argument before last parameter " )
( table.insert bindings ( . pattern ( + k 1 ) ) )
( table.insert bindings val ) )
; ; don ' t process the pattern right after &/&as; already got it
( or ( not = : number ( type k ) ) ( and ( not = ` & as ( . pattern ( - k 1 ) ) )
( not = ` & ( . pattern ( - k 1 ) ) ) ) )
2020-12-23 10:33:09 -08:00
( let [ subval ` ( . , val , k )
( subcondition subbindings ) ( match - pattern [ subval ] pat
unifications ) ]
( table.insert condition subcondition )
( each [ _ b ( ipairs subbindings ) ]
( table.insert bindings b ) ) ) ) )
( values condition bindings ) ) )
2021-04-13 21:44:56 -07:00
2019-04-20 17:38:53 -07:00
( fn match - pattern [ vals pattern unifications ]
2020-09-18 12:13:53 -07:00
" Takes the AST of values and a single pattern and returns a condition
to determine if it matches as well as a list of bindings to
introduce for the duration of the body if it does match . "
2019-04-20 17:38:53 -07:00
; ; we have to assume we ' re matching against multiple values here until we
; ; know we ' re either in a multi-valued clause (in which case we know the #
; ; of vals ) or we ' re not, in which case we only care about the first one.
( let [ [ val ] vals ]
2019-09-22 15:35:39 -07:00
( if ( or ( and ( sym ? pattern ) ; unification with outer locals ( or nil )
2021-04-12 16:52:31 -07:00
( not = " _ " ( tostring pattern ) ) ; never unify _
( or ( in - scope ? pattern ) ( = : nil ( tostring pattern ) ) ) )
( and ( multi - sym ? pattern ) ( in - scope ? ( . ( multi - sym ? pattern ) 1 ) ) ) )
2019-09-22 15:35:39 -07:00
( values ` ( = , val , pattern ) [ ] )
2019-04-20 17:38:53 -07:00
; ; unify a local we ' ve seen already
2020-12-23 10:33:09 -08:00
( and ( sym ? pattern ) ( . unifications ( tostring pattern ) ) )
2019-09-22 15:35:39 -07:00
( values ` ( = , ( . unifications ( tostring pattern ) ) , val ) [ ] )
2019-04-20 17:38:53 -07:00
; ; bind a fresh local
( sym ? pattern )
2020-12-23 10:33:09 -08:00
( let [ wildcard ? ( : ( tostring pattern ) : find " ^_ " ) ]
2019-09-22 15:35:39 -07:00
( if ( not wildcard ? ) ( tset unifications ( tostring pattern ) val ) )
2021-04-12 16:52:31 -07:00
( values ( if ( or wildcard ? ( string.find ( tostring pattern ) " ^? " ) ) true
` ( not = , ( sym : nil ) , val ) ) [ pattern val ] ) )
2019-09-22 15:35:39 -07:00
; ; guard clause
2021-04-12 16:52:31 -07:00
( and ( list ? pattern ) ( = ( . pattern 2 ) ` ? ) )
2019-09-22 15:35:39 -07:00
( let [ ( pcondition bindings ) ( match - pattern vals ( . pattern 1 )
unifications )
condition ` ( and , pcondition ) ]
2021-04-12 16:52:31 -07:00
( for [ i 3 ( length pattern ) ] ; splice in guard clauses
2019-09-22 15:35:39 -07:00
( table.insert condition ( . pattern i ) ) )
2021-04-12 16:52:31 -07:00
( values ` ( let , bindings
, condition ) bindings ) )
2019-04-20 17:38:53 -07:00
; ; multi - valued patterns ( represented as lists )
( list ? pattern )
2020-12-23 10:33:09 -08:00
( match - values vals pattern unifications match - pattern )
2020-09-18 12:13:53 -07:00
; ; table patterns
2019-04-20 17:38:53 -07:00
( = ( type pattern ) : table )
2020-12-23 10:33:09 -08:00
( match - table val pattern unifications match - pattern )
2019-04-20 17:38:53 -07:00
; ; literal value
2019-09-22 15:35:39 -07:00
( values ` ( = , val , pattern ) [ ] ) ) ) )
2021-04-13 21:44:56 -07:00
2019-04-20 17:38:53 -07:00
( fn match - condition [ vals clauses ]
2020-09-18 12:13:53 -07:00
" Construct the actual `if` AST for the given match values and clauses. "
( if ( not = 0 ( % ( length clauses ) 2 ) ) ; treat odd final clause as default
2021-04-12 16:52:31 -07:00
( table.insert clauses ( length clauses ) ( sym " _ " ) ) )
2019-04-20 17:38:53 -07:00
( let [ out ` ( if ) ]
2019-09-22 15:35:39 -07:00
( for [ i 1 ( length clauses ) 2 ]
2019-04-20 17:38:53 -07:00
( let [ pattern ( . clauses i )
body ( . clauses ( + i 1 ) )
( condition bindings ) ( match - pattern vals pattern { } ) ]
( table.insert out condition )
2021-04-12 16:52:31 -07:00
( table.insert out ` ( let , bindings
, body ) ) ) )
2019-04-20 17:38:53 -07:00
out ) )
2021-04-13 21:44:56 -07:00
2020-09-18 12:13:53 -07:00
( fn match - val - syms [ clauses ]
" How many multi-valued clauses are there? return a list of that many gensyms. "
2019-04-20 17:38:53 -07:00
( let [ syms ( list ( gensym ) ) ]
2019-09-22 15:35:39 -07:00
( for [ i 1 ( length clauses ) 2 ]
2019-04-20 17:38:53 -07:00
( if ( list ? ( . clauses i ) )
( each [ valnum ( ipairs ( . clauses i ) ) ]
( if ( not ( . syms valnum ) )
( tset syms valnum ( gensym ) ) ) ) ) )
syms ) )
2021-04-13 21:44:56 -07:00
2021-04-12 16:52:31 -07:00
( fn match * [ val ... ]
; ; Old implementation of match macro , which doesn ' t directly support
; ; ` where ' and `or ' . New syntax is implemented in ` match - where ' ,
; ; which simply generates old syntax and feeds it to ` match * ' .
2020-09-18 12:13:53 -07:00
( let [ clauses [ ... ]
vals ( match - val - syms clauses ) ]
; ; protect against multiple evaluation of the value , bind against as
; ; many values as we ever match against in the clauses .
2021-04-12 16:52:31 -07:00
( list ` let [ vals val ] ( match - condition vals clauses ) ) ) )
2021-04-13 21:44:56 -07:00
2021-04-12 16:52:31 -07:00
; ; Construction of old match syntax from new syntax
2021-04-13 21:44:56 -07:00
2021-04-12 16:52:31 -07:00
( fn partition - 2 [ seq ]
; ; Partition ` seq ` by 2.
; ; If ` seq ` has odd amount of elements , the last one is dropped .
; ;
; ; Input : [ 1 2 3 4 5 ]
; ; Output : [[1 2] [3 4]]
( let [ firsts [ ]
seconds [ ]
res [ ] ]
( for [ i 1 ( length seq ) 2 ]
( let [ first ( . seq i )
second ( . seq ( + i 1 ) ) ]
( table.insert firsts ( if ( not = nil first ) first ` nil ) )
( table.insert seconds ( if ( not = nil second ) second ` nil ) ) ) )
( each [ i v1 ( ipairs firsts ) ]
( let [ v2 ( . seconds i ) ]
( if ( not = nil v2 )
( table.insert res [ v1 v2 ] ) ) ) )
res ) )
2021-04-13 21:44:56 -07:00
2021-04-12 16:52:31 -07:00
( fn transform - or [ [ _ & pats ] guards ]
; ; Transforms ` ( or pat pats * ) ` lists into match ` guard ` patterns .
; ;
; ; ( or pat1 pat2 ) , guard => [ ( pat1 ? guard ) ( pat2 ? guard ) ]
( let [ res [ ] ]
( each [ _ pat ( ipairs pats ) ]
( table.insert res ( list pat ` ? ( unpack guards ) ) ) )
res ) )
2021-04-13 21:44:56 -07:00
2021-04-12 16:52:31 -07:00
( fn transform - cond [ cond ]
; ; Transforms ` where ` cond into sequence of ` match ` guards .
; ;
; ; pat => [ pat ]
; ; ( where pat guard ) => [ ( pat ? guard ) ]
; ; ( where ( or pat1 pat2 ) guard ) => [ ( pat1 ? guard ) ( pat2 ? guard ) ]
( if ( and ( list ? cond ) ( = ( . cond 1 ) ` where ) )
( let [ second ( . cond 2 ) ]
( if ( and ( list ? second ) ( = ( . second 1 ) ` or ) )
( transform - or second [ ( unpack cond 3 ) ] )
: else
[ ( list second ` ? ( unpack cond 3 ) ) ] ) )
: else
[ cond ] ) )
2021-04-13 21:44:56 -07:00
2021-04-12 16:52:31 -07:00
( fn match - where [ val ... ]
" Perform pattern matching on val. See reference for details.
2021-04-13 21:44:56 -07:00
2021-04-12 16:52:31 -07:00
Syntax :
2021-04-13 21:44:56 -07:00
2021-04-12 16:52:31 -07:00
( match data - expression
pattern body
( where pattern guard guards * ) body
( where ( or pattern patterns * ) guard guards * ) body ) "
( let [ conds - bodies ( partition - 2 [ ... ] )
else - branch ( if ( not = 0 ( % ( select " # " ... ) 2 ) )
( select ( select " # " ... ) ... ) )
match - body [ ] ]
( each [ _ [ cond body ] ( ipairs conds - bodies ) ]
( each [ _ cond ( ipairs ( transform - cond cond ) ) ]
( table.insert match - body cond )
( table.insert match - body body ) ) )
( if else - branch
( table.insert match - body else - branch ) )
( match * val ( unpack match - body ) ) ) )
2021-04-13 21:44:56 -07:00
2021-04-12 16:52:31 -07:00
{ : -> ->*
: ->> ->>*
: - ? > - ? >*
: - ? >> - ? >>*
: ? . ? dot
: doto doto *
: when when *
: with - open with - open *
: collect collect *
: icollect icollect *
: partial partial *
: lambda lambda *
: pick - args pick - args *
: pick - values pick - values *
: macro macro *
: macrodebug macrodebug *
: import - macros import - macros *
: match match - where }
2020-09-18 12:13:53 -07:00
] === ]
local module_name = " fennel.macros "
local _ = nil
local function _0_ ( )
return mod
end
package.preload [ module_name ] = _0_
_ = nil
2020-10-13 23:23:38 -07:00
local env = nil
do
local _1_0 = specials [ " make-compiler-env " ] ( nil , compiler.scopes . compiler , { } )
_1_0 [ " utils " ] = utils
_1_0 [ " fennel " ] = mod
env = _1_0
end
2020-09-18 12:13:53 -07:00
local built_ins = eval ( builtin_macros , { allowedGlobals = false , env = env , filename = " src/fennel/macros.fnl " , moduleName = module_name , scope = compiler.scopes . compiler , useMetadata = true } )
for k , v in pairs ( built_ins ) do
compiler.scopes . global.macros [ k ] = v
end
compiler.scopes . global.macros [ " \206 \187 " ] = compiler.scopes . global.macros . lambda
package.preload [ module_name ] = nil
end
return mod