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 unpack = (table.unpack or _G.unpack) local function default_read_chunk(parser_state) local function _481_() if (0 < parser_state["stack-size"]) then return ".." else return ">> " end end io.write(_481_()) 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 _483_() local _482_ = errtype if (_482_ == "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 (_482_ == "Runtime") then return (compiler.traceback(tostring(err), 4) .. "\n") else local _ = _482_ return ("%s error: %s\n"):format(errtype, tostring(err)) end end return io.write(_483_()) 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 local function completer(env, scope, text) local matches = {} local input_fragment = text:gsub(".*[%s)(]+", "") local stop_looking_3f = false local function add_partials(input, tbl, prefix, method_3f) for k in utils.allpairs(tbl) do local k0 if ((tbl == env) or (tbl == env.___replLocals___)) then k0 = scope.unmanglings[k] else k0 = k end if ((#matches < 2000) and (type(k0) == "string") and (input == k0:sub(0, #input)) and (not method_3f or ("function" == type(tbl[k0])))) then local function _487_() if method_3f then return (prefix .. ":" .. k0) else return (prefix .. k0) end end table.insert(matches, _487_()) end end return nil end local function descend(input, tbl, prefix, add_matches, method_3f) local splitter if method_3f then splitter = "^([^:]+):(.*)" else splitter = "^([^.]+)%.(.*)" end local head, tail = input:match(splitter) local raw_head 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 stop_looking_3f = true if method_3f then return add_partials(tail, tbl[raw_head], (prefix .. head), true) else return add_matches(tail, tbl[raw_head], (prefix .. head)) end end end local function add_matches(input, tbl, prefix) local prefix0 if prefix then prefix0 = (prefix .. ".") else prefix0 = "" end if (not input:find("%.") and input:find(":")) then return descend(input, tbl, prefix0, add_matches, true) elseif not input:find("%.") then return add_partials(input, tbl, prefix0) else return descend(input, tbl, prefix0, add_matches, false) end end for _, source in ipairs({scope.specials, scope.macros, (env.___replLocals___ or {}), env, env._G}) do add_matches(input_fragment, source) if stop_looking_3f then break end end return matches end local commands = {} local function command_3f(input) return input:match("^%s*,") end local function command_docs() local _496_ do local tbl_13_auto = {} for name, f in pairs(commands) do tbl_13_auto[(#tbl_13_auto + 1)] = (" ,%s - %s"):format(name, ((compiler.metadata):get(f, "fnl/docstring") or "undocumented")) end _496_ = tbl_13_auto end return table.concat(_496_, "\n") end commands.help = function(_, _0, on_values) return on_values({("Welcome to Fennel.\nThis is the REPL where you can enter code to be evaluated.\nYou can also run these repl commands:\n\n" .. command_docs() .. "\n ,exit - Leave the repl.\n\nUse (doc something) to see descriptions for individual macros and special forms.\n\nFor more information about the language, see https://fennel-lang.org/reference")}) end do end (compiler.metadata):set(commands.help, "fnl/docstring", "Show this message.") local function reload(module_name, env, on_values, on_error) local _497_, _498_ = pcall(specials["load-code"]("return require(...)", env), module_name) if ((_497_ == true) and (nil ~= _498_)) then local old = _498_ local _ package.loaded[module_name] = nil _ = nil local ok, new = pcall(require, module_name) local new0 if not ok then on_values({new}) 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 ((_497_ == false) and (nil ~= _498_)) then local msg = _498_ local function _503_() local _502_ = msg:gsub("\n.*", "") return _502_ end return on_error("Runtime", _503_()) end end local function run_command(read, on_error, f) local _505_, _506_, _507_ = pcall(read) if ((_505_ == true) and (_506_ == true) and (nil ~= _507_)) then local val = _507_ return f(val) elseif ((_505_ == false) and true and true) then local _3fparse_ok = _506_ local _3ferr = _507_ return on_error("Parse", "Couldn't parse input.") end end commands.reload = function(env, read, on_values, on_error) local function _509_(_241) return reload(tostring(_241), env, on_values, on_error) end return run_command(read, on_error, _509_) end do end (compiler.metadata):set(commands.reload, "fnl/docstring", "Reload the specified module.") commands.reset = function(env, _, on_values) env.___replLocals___ = {} return on_values({"ok"}) end do end (compiler.metadata):set(commands.reset, "fnl/docstring", "Erase all repl-local scope.") commands.complete = function(env, read, on_values, on_error, scope, chars) local function _510_() return on_values(completer(env, scope, string.char(unpack(chars)):gsub(",complete +", ""):sub(1, -2))) end return run_command(read, on_error, _510_) end do end (compiler.metadata):set(commands.complete, "fnl/docstring", "Print all possible completions for a given input symbol.") local function apropos_2a(pattern, module, prefix, seen, names) for name, module0 in pairs(module) do if (("string" == type(name)) and (package ~= module0)) then local _511_ = type(module0) if (_511_ == "function") then if ((prefix .. name)):match(pattern) then table.insert(names, (prefix .. name)) end elseif (_511_ == "table") then if not seen[module0] then local _514_ do local _513_ = seen _513_[module0] = true _514_ = _513_ end apropos_2a(pattern, module0, (prefix .. name:gsub("%.", "/") .. "."), _514_, names) end end end end return names end local function apropos(pattern) local names = apropos_2a(pattern, package.loaded, "", {}, {}) local tbl_13_auto = {} for _, name in ipairs(names) do tbl_13_auto[(#tbl_13_auto + 1)] = name:gsub("^_G%.", "") end return tbl_13_auto end commands.apropos = function(env, read, on_values, on_error, scope) local function _518_(_241) return on_values(apropos(tostring(_241))) end return run_command(read, on_error, _518_) end do end (compiler.metadata):set(commands.apropos, "fnl/docstring", "Print all functions matching a pattern in all loaded modules.") local function apropos_follow_path(path) local paths do local tbl_13_auto = {} for p in path:gmatch("[^%.]+") do tbl_13_auto[(#tbl_13_auto + 1)] = p end paths = tbl_13_auto end local tgt = package.loaded for _, path0 in ipairs(paths) do local _520_ do local _519_ = path0:gsub("%/", ".") _520_ = _519_ end tgt = tgt[_520_] if (nil == tgt) then break end end return tgt end local function apropos_doc(pattern) local names = {} for _, path in ipairs(apropos(".*")) do local tgt = apropos_follow_path(path) if ("function" == type(tgt)) then local _522_ = (compiler.metadata):get(tgt, "fnl/docstring") if (nil ~= _522_) then local docstr = _522_ if docstr:match(pattern) then table.insert(names, path) end end end end return names end commands["apropos-doc"] = function(env, read, on_values, on_error, scope) local function _526_(_241) return on_values(apropos_doc(tostring(_241))) end return run_command(read, on_error, _526_) end do end (compiler.metadata):set(commands["apropos-doc"], "fnl/docstring", "Print all functions that match the pattern in their docs") local function apropos_show_docs(pattern) for _, path in ipairs(apropos(pattern)) do local tgt = apropos_follow_path(path) if (("function" == type(tgt)) and (compiler.metadata):get(tgt, "fnl/docstring")) then print(specials.doc(tgt, path)) print() end end return nil end commands["apropos-show-docs"] = function(env, read, _, on_error, scope) local function _528_(_241) return apropos_show_docs(tostring(_241)) end return run_command(read, on_error, _528_) end do end (compiler.metadata):set(commands["apropos-show-docs"], "fnl/docstring", "Print all documentations matching a pattern in function name") 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 _529_ = name:match("^repl%-command%-(.*)") if (nil ~= _529_) then local cmd_name = _529_ commands[cmd_name] = (commands[cmd_name] or f) end end end return nil end end local function run_command_loop(input, read, loop, env, on_values, on_error, scope, chars) load_plugin_commands() local command_name = input:match(",([^%s/]+)") do local _532_ = commands[command_name] if (nil ~= _532_) then local command = _532_ command(env, read, on_values, on_error, scope, chars) else local _ = _532_ if ("exit" ~= command_name) then on_values({"Unknown command", command_name}) end end end if ("exit" ~= command_name) then return loop() end end local function repl(options) local old_root_options = utils.root.options local env if options.env then env = specials["wrap-env"](options.env) else env = setmetatable({}, {__index = (rawget(_G, "_ENV") or _G)}) end local save_locals_3f = ((options.saveLocals ~= false) and env.debug and env.debug.getlocal) local opts = {} local _ 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 _537_(parser_state) local c = byte_stream(parser_state) table.insert(chars, c) return c end read, reset = parser.parser(_537_) 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 _541_() local _539_ = env local _540_ = scope local function _542_(...) return completer(_539_, _540_, ...) end return _542_ end opts.registerCompleter(_541_()) end 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 local function loop() for k in pairs(chars) do chars[k] = nil end local ok, parse_ok_3f, x = pcall(read) local src_string = string.char(unpack(chars)) reset() utils.root.options = opts if not ok then on_error("Parse", parse_ok_3f) clear_stream() return loop() elseif command_3f(src_string) then return run_command_loop(src_string, read, loop, env, on_values, on_error, scope, chars) else if parse_ok_3f then do local _544_, _545_ = nil, nil local function _547_() local _546_ = opts _546_["env"] = env _546_["source"] = src_string _546_["scope"] = scope return _546_ end _544_, _545_ = pcall(compiler.compile, x, _547_()) if ((_544_ == false) and (nil ~= _545_)) then local msg = _545_ clear_stream() on_error("Compile", msg) elseif ((_544_ == true) and (nil ~= _545_)) then local src = _545_ local src0 if save_locals_3f then src0 = splice_save_locals(env, src) else src0 = src end local _549_, _550_ = pcall(specials["load-code"], src0, env) if ((_549_ == false) and (nil ~= _550_)) then local msg = _550_ clear_stream() on_error("Lua Compile", msg, src0) elseif (true and (nil ~= _550_)) then local _0 = _549_ local chunk = _550_ local function _551_() return print_values(chunk()) end local function _552_() local function _553_(...) return on_error("Runtime", ...) end return _553_ end xpcall(_551_, _552_()) end end end utils.root.options = old_root_options return loop() end end end return loop() end return repl end package.preload["fennel.specials"] = package.preload["fennel.specials"] or function(...) local utils = require("fennel.utils") local view = require("fennel.view") local parser = require("fennel.parser") local compiler = require("fennel.compiler") local unpack = (table.unpack or _G.unpack) local SPECIALS = compiler.scopes.global.specials local function wrap_env(env) local function _309_(_, key) if (type(key) == "string") then return env[compiler["global-unmangling"](key)] else return env[key] end end local function _311_(_, key, value) if (type(key) == "string") then env[compiler["global-unmangling"](key)] = value return nil else env[key] = value return nil end end local function _313_() local function putenv(k, v) local _314_ if (type(k) == "string") then _314_ = compiler["global-unmangling"](k) else _314_ = k end return _314_, v end return next, utils.kvmap(env, putenv), nil end return setmetatable({}, {__index = _309_, __newindex = _311_, __pairs = _313_}) end local function current_global_names(env) local mt do local _316_ = getmetatable(env) local function _317_() local __pairs = (_316_).__pairs return __pairs end if (((_G.type(_316_) == "table") and true) and _317_()) then local __pairs = (_316_).__pairs local tbl_10_auto = {} for k, v in __pairs(env) do local _318_, _319_ = k, v if ((nil ~= _318_) and (nil ~= _319_)) then local k_11_auto = _318_ local v_12_auto = _319_ tbl_10_auto[k_11_auto] = v_12_auto end end mt = tbl_10_auto elseif (_316_ == nil) then mt = (env or _G) else mt = nil end end return (mt and utils.kvmap(mt, compiler["global-unmangling"])) end local function load_code(code, environment, filename) local environment0 = (environment or rawget(_G, "_ENV") or _G) if (rawget(_G, "setfenv") and rawget(_G, "loadstring")) then 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 "#")):gsub("\n$", ""):gsub("\n", "\n ") local mt = getmetatable(tgt) if ((type(tgt) == "function") or ((type(mt) == "table") and (type(mt.__call) == "function"))) then local arglist = table.concat(((compiler.metadata):get(tgt, "fnl/arglist") or {"#"}), " ") local _323_ if (#arglist > 0) then _323_ = " " else _323_ = "" end return string.format("(%s%s%s)\n %s", name, _323_, arglist, docstring) else return string.format("%s\n %s", name, docstring) end end end local function doc_special(name, arglist, docstring, body_form_3f) compiler.metadata[SPECIALS[name]] = {["fnl/arglist"] = arglist, ["fnl/docstring"] = docstring, ["fnl/body-form?"] = body_form_3f} 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} 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}) else 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 end compiler.emit(parent, chunk0, ast) compiler.emit(parent, "end", ast) return (outer_retexprs or retexprs) end 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 = {} for i = 1, opts.nval do local s = ((pre_syms and pre_syms[i]) or compiler.gensym(scope)) do end (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) else local fname = compiler.gensym(scope) local fargs if scope.vararg then fargs = "..." else fargs = "" end 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")) end end doc_special("do", {"..."}, "Evaluate multiple forms; return last value.", true) 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)}) table.insert(exprs, subexprs[1]) if (i == len) then for j = 2, #subexprs do table.insert(exprs, subexprs[j]) end end end return exprs end doc_special("values", {"..."}, "Return multiple values from a function. Must be in tail position.") local function deep_tostring(x, key_3f) local elems = {} if utils["sequence?"](x) then local _332_ do local tbl_13_auto = {} for _, v in ipairs(x) do tbl_13_auto[(#tbl_13_auto + 1)] = deep_tostring(v) end _332_ = tbl_13_auto end return ("[" .. table.concat(_332_, " ") .. "]") elseif utils["table?"](x) then local _333_ do local tbl_13_auto = {} for k, v in pairs(x) do tbl_13_auto[(#tbl_13_auto + 1)] = (deep_tostring(k, true) .. " " .. deep_tostring(v)) end _333_ = tbl_13_auto end return ("{" .. table.concat(_333_, " ") .. "}") 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 local function set_fn_metadata(arg_list, docstring, parent, fn_name) if utils.root.options.useMetadata then local args local function _335_(_241) return ("\"%s\""):format(deep_tostring(_241)) end args = utils.map(arg_list, _335_) 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 _338_ if not multi then _338_ = compiler["declare-local"](fn_name, {}, scope, ast) else _338_ = (compiler["symbol-to-expression"](fn_name, scope))[1] end return _338_, not multi, 3 else 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 _341_ if local_3f then _341_ = "local function %s(%s)" else _341_ = "%s = function(%s)" end compiler.emit(parent, string.format(_341_, 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) end SPECIALS.fn = function(ast, scope, parent) local f_scope do local _343_ = compiler["make-scope"](scope) do end (_343_)["vararg"] = false f_scope = _343_ end local f_chunk = {} local fn_sym = utils["sym?"](ast[2]) local multi = (fn_sym and utils["multi-sym?"](fn_sym[1])) local fn_name, local_3f, index = get_fn_name(ast, scope, fn_sym, multi) 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 (tostring(arg) ~= "nil") and not utils["multi-sym?"](tostring(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) compiler.destructure(arg, raw, ast, f_scope, f_chunk, {declaration = true, nomulti = true, symtype = "arg"}) return declared else return compiler.assert(false, ("expected symbol for function parameter: %s"):format(tostring(arg)), ast[2]) end end 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) end end doc_special("fn", {"name?", "args", "docstring?", "..."}, "Function syntax. May optionally include a name and docstring.\nIf a name is provided, the function will be bound in the current scope.\nWhen called with the wrong number of args, excess args will be discarded\nand lacking args will be nil, use lambda for arity-checked functions.", true) SPECIALS.lua = function(ast, _, parent) compiler.assert(((#ast == 2) or (#ast == 3)), "expected 1 or 2 arguments", ast) local _348_ do local _347_ = utils["sym?"](ast[2]) if _347_ then _348_ = tostring(_347_) else _348_ = _347_ end end if ("nil" ~= _348_) then table.insert(parent, {ast = ast, leaf = tostring(ast[2])}) end local _352_ do local _351_ = utils["sym?"](ast[3]) if _351_ then _352_ = tostring(_351_) else _352_ = _351_ end end if ("nil" ~= _352_) then 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 = tostring(ast[2]) local special_or_macro = (scope.specials[target] or scope.macros[target]) if special_or_macro then return ("print(%q)"):format(doc_2a(special_or_macro, target)) else local _let_355_ = compiler.compile1(ast[2], scope, parent, {nval = 1}) local value = _let_355_[1] return ("print(require('%s').doc(%s, '%s'))"):format((utils.root.options.moduleName or "fennel"), tostring(value), tostring(ast[2])) 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 local _let_357_ = compiler.compile1(ast[2], scope, parent, {nval = 1}) local lhs = _let_357_[1] if (len == 2) then return tostring(lhs) else local indices = {} for i = 3, len do local index = ast[i] if ((type(index) == "string") and utils["valid-lua-identifier?"](index)) then table.insert(indices, ("." .. index)) else local _let_358_ = compiler.compile1(index, scope, parent, {nval = 1}) local index0 = _let_358_[1] table.insert(indices, ("[" .. tostring(index0) .. "]")) end end if (tostring(lhs):find("[{\"0-9]") or ("nil" == tostring(lhs))) then return ("(" .. tostring(lhs) .. ")" .. table.concat(indices)) else return (tostring(lhs) .. table.concat(indices)) 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) compiler.destructure(ast[2], ast[3], ast, scope, parent, {forceglobal = true, nomulti = true, symtype = "global"}) 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) compiler.destructure(ast[2], ast[3], ast, scope, parent, {noundef = true, symtype = "set"}) 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) compiler.destructure(ast[2], ast[3], ast, scope, parent, {forceset = true, symtype = "set"}) 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) compiler.destructure(ast[2], ast[3], ast, scope, parent, {declaration = true, nomulti = true, symtype = "local"}) 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) compiler.destructure(ast[2], ast[3], ast, scope, parent, {declaration = true, isvar = true, nomulti = true, symtype = "var"}) return nil end doc_special("var", {"name", "val"}, "Introduce new mutable local.") local function kv_3f(t) local _362_ do local tbl_13_auto = {} for k in pairs(t) do local _363_ if not ("number" == type(k)) then _363_ = k else _363_ = nil end tbl_13_auto[(#tbl_13_auto + 1)] = _363_ end _362_ = tbl_13_auto end return (_362_)[1] end SPECIALS.let = function(ast, scope, parent, opts) local bindings = ast[2] local pre_syms = {} compiler.assert((utils["table?"](bindings) and not kv_3f(bindings)), "expected binding sequence", bindings) compiler.assert(((#bindings % 2) == 0), "expected even number of name/value bindings", ast[2]) compiler.assert((#ast >= 3), "expected body expression", ast[1]) for _ = 1, (opts.nval or 0) do table.insert(pre_syms, compiler.gensym(scope)) end local sub_scope = compiler["make-scope"](scope) local sub_chunk = {} for i = 1, #bindings, 2 do compiler.destructure(bindings[i], bindings[(i + 1)], ast, sub_scope, sub_chunk, {declaration = true, nomulti = true, symtype = "let"}) 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.", true) local function get_prev_line(parent) if ("table" == type(parent)) then return get_prev_line((parent.leaf or parent[#parent])) else return (parent or "") end end local function disambiguate_3f(rootstr, parent) local function _367_() local _366_ = get_prev_line(parent) if (nil ~= _366_) then local prev_line = _366_ return prev_line:match("%)$") end end return (rootstr:match("^{") or _367_()) end 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 = {} for i = 3, (#ast - 1) do local _let_369_ = compiler.compile1(ast[i], scope, parent, {nval = 1}) local key = _let_369_[1] table.insert(keys, tostring(key)) end local value = (compiler.compile1(ast[#ast], scope, parent, {nval = 1}))[1] local rootstr = tostring(root) local fmtstr if disambiguate_3f(rootstr, parent) then fmtstr = "do end (%s)[%s] = %s" else fmtstr = "%s[%s] = %s" end return compiler.emit(parent, fmtstr:format(rootstr, 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\nnested values, but all parents must contain an existing table.") 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 = {} for i = 1, opts.nval do local s = compiler.gensym(scope) do end (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 local function if_2a(ast, scope, parent, opts) local do_scope = compiler["make-scope"](scope) local branches = {} local wrapper, inner_tail, inner_target, target_exprs = calculate_target(scope, opts) 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 local has_else_3f = ((#ast > 3) and ((#ast % 2) == 0)) local else_branch = (has_else_3f and compile_body(#ast)) local s = compiler.gensym(scope) local buffer = {} local last_buffer = buffer for i = 1, #branches do local branch = branches[i] local fstr if not branch.nested then fstr = "if %s then" else fstr = "elseif %s then" end local cond = tostring(branch.cond) local cond_line if ((cond == "true") and branch.nested and (i == #branches) and not has_else_3f) then 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 if has_else_3f then 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 for i = 1, #buffer do compiler.emit(parent, buffer[i], ast) end return {returned = true} else compiler.emit(parent, ("local %s"):format(inner_target), ast) for i = 1, #buffer do 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.\nTakes any number of condition/body pairs and evaluates the first body where\nthe condition evaluates to truthy. Similar to cond in other lisps.") 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 _let_379_ = compiler.compile1(condition, scope, chunk, {nval = 1}) local condition_lua = _let_379_[1] return compiler.emit(chunk, ("if %s then break end"):format(tostring(condition_lua)), utils.expr(condition, "expression")) end end SPECIALS.each = function(ast, scope, parent) compiler.assert((#ast >= 3), "expected body expression", ast[1]) local binding = compiler.assert(utils["table?"](ast[2]), "expected binding table", ast) local _ = compiler.assert((2 <= #binding), "expected binding and iterator", binding) local until_condition = remove_until_condition(binding) local iter = table.remove(binding, #binding) local destructures = {} local new_manglings = {} local sub_scope = compiler["make-scope"](scope) local function destructure_binding(v) compiler.assert(("string" ~= type(v)), ("unexpected iterator clause " .. tostring(v)), binding) if utils["sym?"](v) then return compiler["declare-local"](v, {}, sub_scope, ast, new_manglings) else local raw = utils.sym(compiler.gensym(sub_scope)) do end (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 compiler.destructure(args, raw, ast, sub_scope, chunk, {declaration = true, nomulti = true, symtype = "each"}) end compiler["apply-manglings"](sub_scope, new_manglings, ast) compile_until(until_condition, sub_scope, chunk) 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.\nMost commonly used with ipairs for sequential tables or pairs for undefined\norder, but can be used with any iterator.", true) 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 for i = (len1 + 1), len2 do table.insert(sub_chunk, parent[i]) do end (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.", true) local function for_2a(ast, scope, parent) local ranges = compiler.assert(utils["table?"](ast[2]), "expected binding table", ast) local until_condition = remove_until_condition(ast[2]) local binding_sym = table.remove(ast[2], 1) local sub_scope = compiler["make-scope"](scope) local range_args = {} local chunk = {} compiler.assert(utils["sym?"](binding_sym), ("unable to bind %s %s"):format(type(binding_sym), tostring(binding_sym)), ast[2]) compiler.assert((#ast >= 3), "expected body expression", ast[1]) compiler.assert((#ranges <= 3), "unexpected arguments", ranges[4]) for i = 1, math.min(#ranges, 3) do 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) compile_until(until_condition, sub_scope, chunk) 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.\nEvaluates body once for each value between start and stop (inclusive).", true) local function native_method_call(ast, _scope, _parent, target, args) local _let_383_ = ast local _ = _let_383_[1] local _0 = _let_383_[2] local method_string = _let_383_[3] local call_string if ((target.type == "literal") or (target.type == "varg") 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]) local args0 = {tostring(target), unpack(args)} return utils.expr(string.format("%s[%s](%s)", tostring(target), method_string, table.concat(args0, ", ")), "statement") 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)" table.insert(args, 1, method_string) 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 _let_385_ = compiler.compile1(ast[2], scope, parent, {nval = 1}) local target = _let_385_[1] local args = {} for i = 4, #ast do local subexprs local _386_ if (i ~= #ast) then _386_ = 1 else _386_ = nil end subexprs = compiler.compile1(ast[i], scope, parent, {nval = _386_}) 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.\nMethod 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 = {} for i = 2, #ast do table.insert(els, view(ast[i], {["one-line?"] = true})) end return compiler.emit(parent, ("-- " .. table.concat(els, " ")), ast) end doc_special("comment", {"..."}, "Comment which will be emitted in Lua output.", true) local function hashfn_max_used(f_scope, i, max) local max0 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 SPECIALS.hashfn = function(ast, scope, parent) compiler.assert((#ast == 2), "expected one argument", ast) local f_scope do local _391_ = compiler["make-scope"](scope) do end (_391_)["vararg"] = false _391_["hashfn"] = true f_scope = _391_ end local f_chunk = {} local name = compiler.gensym(scope) local symbol = utils.sym(name) local args = {} compiler["declare-local"](symbol, {}, scope, ast) for i = 1, 9 do args[i] = compiler["declare-local"](utils.sym(("$" .. i)), {}, f_scope, ast) end local function walker(idx, node, parent_node) if (utils["sym?"](node) and (tostring(node) == "$...")) then parent_node[idx] = utils.varg() f_scope.vararg = true return nil else return (utils["list?"](node) or utils["table?"](node)) end end utils["walk-tree"](ast[2], walker) compiler.compile1(ast[2], f_scope, f_chunk, {tail = true}) local max_used = hashfn_max_used(f_scope, 1, 0) if f_scope.vararg then compiler.assert((max_used == 0), "$ and $... in hashfn are mutually exclusive", ast) end local arg_str if f_scope.vararg then arg_str = tostring(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) 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.") local function arithmetic_special(name, zero_arity, unary_prefix, nval, ast, scope, parent) local len = #ast local operands = {} local padded_op = (" " .. name .. " ") for i = 2, len do local subexprs local _395_ if (i < len) then _395_ = 1 else _395_ = nil end subexprs = compiler.compile1(ast[i], scope, parent, {nval = _395_}) utils.map(subexprs, tostring, operands) end local _397_ = #operands if (_397_ == 0) then local _399_ do local _398_ = zero_arity compiler.assert(_398_, "Expected more than 0 arguments", ast) _399_ = _398_ end return utils.expr(_399_, "literal") elseif (_397_ == 1) then if unary_prefix then return ("(" .. unary_prefix .. padded_op .. operands[1] .. ")") else return operands[1] end else local _ = _397_ return ("(" .. table.concat(operands, padded_op) .. ")") end end local function define_arithmetic_special(name, zero_arity, unary_prefix, lua_name) local _405_ do local _402_ = (lua_name or name) local _403_ = zero_arity local _404_ = unary_prefix local function _406_(...) return arithmetic_special(_402_, _403_, _404_, 1, ...) end _405_ = _406_ end SPECIALS[name] = _405_ 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") SPECIALS["or"] = function(ast, scope, parent) return arithmetic_special("or", "false", nil, nil, ast, scope, parent) end SPECIALS["and"] = function(ast, scope, parent) return arithmetic_special("and", "true", nil, nil, ast, scope, parent) end 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.") 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 local _407_ if (i ~= len) then _407_ = 1 else _407_ = nil end subexprs = compiler.compile1(ast[i], scope, parent, {nval = _407_}) 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 _417_ do local _413_ = native local _414_ = name local _415_ = zero_arity local _416_ = unary_prefix local function _418_(...) return bitop_special(_413_, _414_, _415_, _416_, ...) end _417_ = _418_ end SPECIALS[name] = _417_ 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.\nOnly 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.\nOnly 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.\nOnly 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.\nOnly 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.\nOnly works in Lua 5.3+ or LuaJIT with the --use-bit-lib flag.") doc_special("..", {"a", "b", "..."}, "String concatenation operator; works the same as Lua but accepts more arguments.") local function native_comparator(op, _419_, scope, parent) local _arg_420_ = _419_ local _ = _arg_420_[1] local lhs_ast = _arg_420_[2] local rhs_ast = _arg_420_[3] local _let_421_ = compiler.compile1(lhs_ast, scope, parent, {nval = 1}) local lhs = _let_421_[1] local _let_422_ = compiler.compile1(rhs_ast, scope, parent, {nval = 1}) local rhs = _let_422_[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", "~") doc_special("bnot", {"x"}, "Bitwise negation; only works in Lua 5.3+ or LuaJIT with the --use-bit-lib flag.") define_unary_special("length", "#") doc_special("length", {"x"}, "Returns the length of a table or string.") do end (SPECIALS)["~="] = SPECIALS["not="] 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 end return compiler["do-quote"](ast[2], scope, parent, runtime) end doc_special("quote", {"x"}, "Quasiquote the following form. Only works in macro/compiler scope.") local macro_loaded = {} 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() return {table = utils.copy(table), math = utils.copy(math), string = utils.copy(string), pairs = pairs, ipairs = ipairs, select = select, tostring = tostring, tonumber = tonumber, bit = rawget(_G, "bit"), pcall = pcall, xpcall = xpcall, next = next, print = print, type = type, assert = assert, error = error, setmetatable = setmetatable, getmetatable = safe_getmetatable, require = safe_require, rawlen = rawget(_G, "rawlen"), rawget = rawget, rawset = rawset, rawequal = rawequal} end local function combined_mt_pairs(env) local combined = {} local _let_425_ = getmetatable(env) local __index = _let_425_["__index"] if ("table" == type(__index)) then for k, v in pairs(__index) do combined[k] = v end end for k, v in next, env, nil do combined[k] = v end return next, combined, nil end local function make_compiler_env(ast, scope, parent, _3fopts) local provided do local _427_ = (_3fopts or utils.root.options) if ((_G.type(_427_) == "table") and ((_427_)["compiler-env"] == "strict")) then provided = safe_compiler_env() elseif ((_G.type(_427_) == "table") and (nil ~= (_427_).compilerEnv)) then local compilerEnv = (_427_).compilerEnv provided = compilerEnv elseif ((_G.type(_427_) == "table") and (nil ~= (_427_)["compiler-env"])) then local compiler_env = (_427_)["compiler-env"] provided = compiler_env else local _ = _427_ provided = safe_compiler_env(false) end end local env local function _429_(base) return utils.sym(compiler.gensym((compiler.scopes.macro or scope), base)) end local function _430_() return compiler.scopes.macro end local function _431_(symbol) compiler.assert(compiler.scopes.macro, "must call from macro", ast) return compiler.scopes.macro.manglings[tostring(symbol)] end local function _432_(form) compiler.assert(compiler.scopes.macro, "must call from macro", ast) return compiler.macroexpand(form, compiler.scopes.macro) end env = {_AST = ast, _CHUNK = parent, _IS_COMPILER = true, _SCOPE = scope, _SPECIALS = compiler.scopes.global.specials, _VARARG = utils.varg(), ["macro-loaded"] = macro_loaded, unpack = unpack, ["assert-compile"] = compiler.assert, list = utils.list, ["list?"] = utils["list?"], ["multi-sym?"] = utils["multi-sym?"], sequence = utils.sequence, ["sequence?"] = utils["sequence?"], sym = utils.sym, ["sym?"] = utils["sym?"], ["table?"] = utils["table?"], ["varg?"] = utils["varg?"], view = view, gensym = _429_, ["get-scope"] = _430_, ["in-scope?"] = _431_, macroexpand = _432_} env._G = env return setmetatable(env, {__index = provided, __newindex = provided, __pairs = combined_mt_pairs}) 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 _433_ = (io.open(filename) or io.open(filename2)) if (nil ~= _433_) then local file = _433_ file:close() return filename end end local function find_in_path(start) local _435_ = fullpath:match(pattern, start) if (nil ~= _435_) then local path = _435_ return (try_path(path) or find_in_path((start + #path + 1))) end end return find_in_path(1) end local function make_searcher(options) local function _437_(module_name) 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 _438_ = search_module(module_name) if (nil ~= _438_) then local filename = _438_ local _441_ do local _439_ = filename local _440_ = opts local function _442_(...) return utils["fennel-module"].dofile(_439_, _440_, ...) end _441_ = _442_ end return _441_, filename end end return _437_ 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 local function fennel_macro_searcher(module_name) local opts do local _444_ = utils.copy(utils.root.options) do end (_444_)["env"] = "_COMPILER" _444_["allowedGlobals"] = nil opts = _444_ end local _445_ = search_module(module_name, utils["fennel-module"]["macro-path"]) if (nil ~= _445_) then local filename = _445_ local _448_ do local _446_ = filename local _447_ = opts local function _449_(...) return utils["fennel-module"].dofile(_446_, _447_, ...) end _448_ = _449_ end return _448_, filename end end local function lua_macro_searcher(module_name) local _451_ = search_module(module_name, package.path) if (nil ~= _451_) then local filename = _451_ local code do local f = io.open(filename) local function close_handlers_7_auto(ok_8_auto, ...) f:close() if ok_8_auto then return ... else return error(..., 0) end end local function _453_() return assert(f:read("*a")) end code = close_handlers_7_auto(_G.xpcall(_453_, (package.loaded.fennel or debug).traceback)) end local chunk = load_code(code, make_compiler_env(), filename) return chunk, filename end end local macro_searchers = {lua_macro_searcher, fennel_macro_searcher} local function search_macro_module(modname, n) local _455_ = macro_searchers[n] if (nil ~= _455_) then local f = _455_ local _456_, _457_ = f(modname) if ((nil ~= _456_) and true) then local loader = _456_ local _3ffilename = _457_ return loader, _3ffilename else local _ = _456_ return search_macro_module(modname, (n + 1)) end end end 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 local function _461_(modname) local function _462_() local loader, filename = search_macro_module(modname, 1) compiler.assert(loader, (modname .. " module not found.")) do end (macro_loaded)[modname] = loader(modname, filename) return macro_loaded[modname] end return (macro_loaded[modname] or metadata_only_fennel(modname) or _462_()) end safe_require = _461_ local function add_macros(macros_2a, ast, scope) compiler.assert(utils["table?"](macros_2a), "expected macros to be table", ast) for k, v in pairs(macros_2a) do compiler.assert((type(v) == "function"), "expected each macro to be function", ast) do end (scope.macros)[k] = v end return nil end local function resolve_module_name(_463_, scope, parent, opts) local _arg_464_ = _463_ local filename = _arg_464_["filename"] local second = _arg_464_[2] local filename0 = (filename or (utils["table?"](second) and second.filename)) local module_name = utils.root.options["module-name"] local modexpr = compiler.compile(second, opts) local modname_chunk = load_code(modexpr) return modname_chunk(module_name, filename0) end SPECIALS["require-macros"] = function(ast, scope, parent, real_ast) compiler.assert((#ast == 2), "Expected one module name argument", (real_ast or ast)) local modname = resolve_module_name(ast, scope, parent, {}) compiler.assert(("string" == type(modname)), "module name must compile to string", (real_ast or ast)) if not macro_loaded[modname] then local loader, filename = search_macro_module(modname, 1) compiler.assert(loader, (modname .. " module not found."), ast) do end (macro_loaded)[modname] = loader(modname, filename) 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.\nMacro module should return a table of macro functions with string keys.\nConsider using import-macros instead as it is more flexible.") local function emit_included_fennel(src, path, opts, sub_chunk) 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 if (i == #forms) then subopts = {tail = true} 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 do local f = assert(io.open(path)) local function close_handlers_7_auto(ok_8_auto, ...) f:close() if ok_8_auto then return ... else return error(..., 0) end end local function _469_() return f:read("*all"):gsub("[\13\n]*$", "") end src = close_handlers_7_auto(_G.xpcall(_469_, (package.loaded.fennel or debug).traceback)) 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 emit_included_fennel(src, path, opts, sub_chunk) else compiler.emit(sub_chunk, src, ast) end 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 do local _472_, _473_ = pcall(resolve_module_name, ast, scope, parent, opts) if ((_472_ == true) and (nil ~= _473_)) then local modname = _473_ modexpr = utils.expr(string.format("%q", modname), "literal") elseif (true and (nil ~= _473_)) then local _ = _472_ local err = _473_ modexpr = (compiler.compile1(ast[2], scope, parent, {nval = 1}))[1] else modexpr = nil end end 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 else local mod = load_code(("return " .. modexpr[1]))() local oldmod = utils.root.options["module-name"] local _ utils.root.options["module-name"] = mod _ = nil local res local function _477_() local _476_ = search_module(mod) if (nil ~= _476_) then local fennel_path = _476_ return include_path(ast, opts, fennel_path, mod, true) else local _0 = _476_ 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 res = ((utils["member?"](mod, (utils.root.options.skipInclude or {})) and utils.expr("nil --[[SKIPPED INCLUDE]]--", "literal")) or include_circular_fallback(mod, modexpr, opts.fallback, ast) or utils.root.scope.includes[mod] or _477_()) utils.root.options["module-name"] = oldmod return res end end doc_special("include", {"module-name-literal"}, "Like require but load the target module during compilation and embed it in the\nLua output. The module must be a string literal and resolvable at compile time.") local function eval_compiler_2a(ast, scope, parent) 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()) return load_code(compiler.compile(ast, opts), wrap_env(env))(opts["module-name"], ast.filename) 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) do end (ast)[1] = old_first return val end doc_special("eval-compiler", {"..."}, "Evaluate the body at compile-time. Use the macro system instead if possible.", true) return {doc = doc_2a, ["current-global-names"] = current_global_names, ["load-code"] = load_code, ["macro-loaded"] = macro_loaded, ["macro-searchers"] = macro_searchers, ["make-compiler-env"] = make_compiler_env, ["search-module"] = search_module, ["make-searcher"] = make_searcher, ["wrap-env"] = wrap_env} 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") local unpack = (table.unpack or _G.unpack) local scopes = {} local function make_scope(parent) local parent0 = (parent or scopes.global) local _176_ if parent0 then _176_ = ((parent0.depth or 0) + 1) else _176_ = 0 end return {includes = setmetatable({}, {__index = (parent0 and parent0.includes)}), macros = setmetatable({}, {__index = (parent0 and parent0.macros)}), manglings = setmetatable({}, {__index = (parent0 and parent0.manglings)}), 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)}), gensyms = setmetatable({}, {__index = (parent0 and parent0.gensyms)}), autogensyms = setmetatable({}, {__index = (parent0 and parent0.autogensyms)}), vararg = (parent0 and parent0.vararg), depth = _176_, hashfn = (parent0 and parent0.hashfn), parent = parent0} end local function assert_msg(ast, msg) local ast_tbl 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 = tostring((utils["sym?"](ast_tbl[1]) or ast_tbl[1] or "()")) return string.format("%s:%s: Compile error in '%s': %s", filename, line, target, msg) end local function assert_compile(condition, msg, ast) if not condition then local _let_179_ = (utils.root.options or {}) local source = _let_179_["source"] local unfriendly = _let_179_["unfriendly"] utils.root.reset() if (unfriendly or not friend or not _G.io or not _G.io.read) then error(assert_msg(ast, msg), 0) else friend["assert-compile"](condition, msg, ast, source) end end return condition end scopes.global = make_scope() scopes.global.vararg = true scopes.compiler = make_scope(scopes.global) scopes.macro = scopes.global local serialize_subst = {["\7"] = "\\a", ["\8"] = "\\b", ["\9"] = "\\t", ["\n"] = "n", ["\11"] = "\\v", ["\12"] = "\\f"} local function serialize_string(str) local function _182_(_241) return ("\\" .. _241:byte()) end return string.gsub(string.gsub(string.format("%q", str), ".", serialize_subst), "[\128-\255]", _182_) end local function global_mangling(str) if utils["valid-lua-identifier?"](str) then return str else local function _183_(_241) return string.format("_%02x", _241:byte()) end return ("__fnl_global__" .. str:gsub("[^%w]", _183_)) end end local function global_unmangling(identifier) local _185_ = string.match(identifier, "^__fnl_global__(.*)$") if (nil ~= _185_) then local rest = _185_ local _186_ local function _187_(_241) return string.char(tonumber(_241:sub(2), 16)) end _186_ = string.gsub(rest, "_[%da-f][%da-f]", _187_) return _186_ else local _ = _185_ return identifier end end local allowed_globals = nil local function global_allowed_3f(name) return (not allowed_globals or utils["member?"](name, allowed_globals)) end local function unique_mangling(original, mangling, scope, append) if (scope.unmanglings[mangling] and not scope.gensyms[mangling]) then return unique_mangling(original, (original .. append), scope, (append + 1)) else return mangling end end local function local_mangling(str, scope, ast, temp_manglings) assert_compile(not utils["multi-sym?"](str), ("unexpected multi symbol " .. str), ast) local raw if ((utils["lua-keywords"])[str] or str:match("^%d")) then raw = ("_" .. str) else raw = str end local mangling local function _191_(_241) return string.format("_%02x", _241:byte()) end mangling = string.gsub(string.gsub(raw, "-", "_"), "[^%w_]", _191_) local unique = unique_mangling(mangling, mangling, scope, 0) do end (scope.unmanglings)[unique] = str do local manglings = (temp_manglings or scope.manglings) do end (manglings)[str] = unique end return unique 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) do end (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])) for i = 2, #parts do if utils["valid-lua-identifier?"](parts[i]) then if (parts["multi-sym-method-call"] and (i == #parts)) then ret = (ret .. ":" .. parts[i]) else ret = (ret .. "." .. parts[i]) end else ret = (ret .. "[" .. serialize_string(parts[i]) .. "]") end end return ret end local function next_append() utils.root.scope["gensym-append"] = ((utils.root.scope["gensym-append"] or 0) + 1) return ("_" .. utils.root.scope["gensym-append"] .. "_") end local function gensym(scope, base, _3fsuffix) local mangling = ((base or "") .. next_append() .. (_3fsuffix or "")) while scope.unmanglings[mangling] do mangling = ((base or "") .. next_append() .. (_3fsuffix or "")) end scope.unmanglings[mangling] = (base or true) do end (scope.gensyms)[mangling] = true return mangling end local function autogensym(base, scope) local _194_ = utils["multi-sym?"](base) if (nil ~= _194_) then local parts = _194_ parts[1] = autogensym(parts[1], scope) return table.concat(parts, ((parts["multi-sym-method-call"] and ":") or ".")) else local _ = _194_ local function _195_() local mangling = gensym(scope, base:sub(1, ( - 2)), "auto") do end (scope.autogensyms)[base] = mangling return mangling end return (scope.autogensyms[base] or _195_()) end end local function check_binding_valid(symbol, scope, ast) local name = tostring(symbol) assert_compile(not name:find("&"), "illegal character &") assert_compile(not (scope.specials[name] or scope.macros[name]), ("local %s was overshadowed by a special form or macro"):format(name), ast) return assert_compile(not utils["quoted?"](symbol), string.format("macro tried to bind %s without gensym", name), symbol) end local function declare_local(symbol, meta, scope, ast, temp_manglings) check_binding_valid(symbol, scope, ast) local name = tostring(symbol) assert_compile(not utils["multi-sym?"](name), ("unexpected multi symbol " .. name), ast) do end (scope.symmeta)[name] = meta return local_mangling(name, scope, ast, temp_manglings) end 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" end return table.concat(multi_sym_parts, ".") end 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}) local etype = (((#parts > 1) and "expression") or "sym") local local_3f = scope.manglings[parts[1]] if (local_3f and scope.symmeta[parts[1]]) then scope.symmeta[parts[1]]["used"] = true end assert_compile(not scope.macros[parts[1]], "tried to reference a macro at runtime", symbol) assert_compile((not reference_3f or local_3f or ("_ENV" == parts[1]) or global_allowed_3f(parts[1])), ("unknown global in strict mode: " .. tostring(parts[1])), symbol) if (allowed_globals and not local_3f) then 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) else return table.insert(chunk, {ast = ast, leaf = out}) end 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} for i = 1, (#chunk - 3) do table.insert(new_chunk, peephole(chunk[i])) end for i = 1, #kid do table.insert(new_chunk, kid[i]) end return new_chunk else return utils.map(chunk, peephole) end end local function ast_source(ast) local m = getmetatable(ast) return ((m and m.line and m) or (("table" == type(ast)) and ast) or {}) end local function flatten_chunk_correlated(main_chunk, options) 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 local source = ast_source(subchunk.ast) if (file == source.filename) then last_line0 = math.max(last_line0, (source.line or 0)) end last_line0 = flatten(subchunk, out, last_line0, file) end end end return last_line0 end local out = {} local last = flatten(main_chunk, out, 1, options.filename) for i = 1, last do if (out[i] == nil) then out[i] = "" end end return table.concat(out, "\n") end local function flatten_chunk(sm, chunk, tab, depth) if chunk.leaf then local code = chunk.leaf local info = chunk.ast if sm then table.insert(sm, {(info and info.filename), (info and info.line)}) end return code else local tab0 do local _208_ = tab if (_208_ == true) then tab0 = " " elseif (_208_ == false) then tab0 = "" elseif (_208_ == tab) then tab0 = tab elseif (_208_ == 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 return (tab0 .. sub:gsub("\n", ("\n" .. tab0))) else return sub 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 .. "\"]") else return ("[fennel \"" .. source0:sub(1, 46) .. "...\"]") end end local function flatten(chunk, options) local chunk0 = peephole(chunk) if options.correlate then return flatten_chunk_correlated(chunk0, options), {} else local sm = {} local ret = flatten_chunk(sm, chunk0, options.indent, 0) if sm then sm.short_src = (options.filename or make_short_src((options.source or ret))) if options.filename then sm.key = ("@" .. options.filename) else sm.key = ret end fennel_sourcemap[sm.key] = sm end return ret, sm end end local function make_metadata() local function _217_(self, tgt, key) if self[tgt] then return self[tgt][key] end end local function _219_(self, tgt, key, value) self[tgt] = (self[tgt] or {}) do end (self[tgt])[key] = value return tgt end local function _220_(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 = _217_, set = _219_, setall = _220_}, __mode = "k"}) end local function exprs1(exprs) return table.concat(utils.map(exprs, tostring), ", ") end local function keep_side_effects(exprs, chunk, start, ast) local start0 = (start or 1) for j = start0, #exprs do local se = exprs[j] if ((se.type == "expression") and (se[1] ~= "nil")) then emit(chunk, string.format("do local _ = %s end", tostring(se)), ast) elseif (se.type == "statement") then local code = tostring(se) local disambiguated if (code:byte() == 40) then disambiguated = ("do end " .. code) else disambiguated = code end emit(chunk, disambiguated, ast) end end return nil end local function handle_compile_opts(exprs, parent, opts, ast) if opts.nval then local n = opts.nval local len = #exprs if (n ~= len) then if (len > n) then keep_side_effects(exprs, parent, (n + 1), ast) for i = (n + 1), len do exprs[i] = nil end else for i = (#exprs + 1), n do exprs[i] = utils.expr("nil", "literal") end end end end if opts.tail then emit(parent, string.format("return %s", exprs1(exprs)), ast) end if opts.target then local result = exprs1(exprs) local function _228_() if (result == "") then return "nil" else return result end end emit(parent, string.format("%s = %s", opts.target, _228_()), ast) end if (opts.tail or opts.target) then return {returned = true} else local _230_ = exprs _230_["returned"] = true return _230_ 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[tostring(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 else return macro_2a end end local function macroexpand_2a(ast, scope, once) local _234_ if utils["list?"](ast) then _234_ = find_macro(ast, scope, utils["multi-sym?"](ast[1])) else _234_ = nil end if (_234_ == false) then return ast elseif (nil ~= _234_) then local macro_2a = _234_ local old_scope = scopes.macro local _ scopes.macro = scope _ = nil local ok, transformed = nil, nil local function _236_() return macro_2a(unpack(ast, 2)) end ok, transformed = xpcall(_236_, 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 _ = _234_ return ast end end local function compile_special(ast, scope, parent, opts, special) local exprs = (special(ast, scope, parent, opts) or utils.expr("nil", "literal")) local exprs0 if ("table" ~= type(exprs)) then exprs0 = utils.expr(exprs, "expression") else exprs0 = exprs end local exprs2 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 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((("string" == type(ast[1])) or (fcallee.type ~= "literal")), ("cannot call literal value " .. tostring(ast[1])), ast) for i = 2, len do local subexprs local _242_ if (i ~= len) then _242_ = 1 else _242_ = nil end subexprs = compile1(ast[i], scope, parent, {nval = _242_}) 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 pat if ("string" == type(ast[1])) then pat = "(%s)(%s)" else pat = "%s(%s)" end local call = string.format(pat, tostring(fcallee), exprs1(fargs)) return handle_compile_opts({utils.expr(call, "statement")}, parent, opts, ast) end 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[tostring(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] local new_ast = utils.list(utils.sym(":", nil, scope), utils.sym(table_with_method, nil, scope), method_to_call, select(2, unpack(ast))) return compile1(new_ast, scope, parent, opts) else return compile_function_call(ast, scope, parent, opts, compile1, len) 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 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 local function serialize_number(n) local _248_ = string.gsub(tostring(n), ",", ".") return _248_ end local function compile_scalar(ast, _scope, parent, opts) local serialize do local _249_ = type(ast) if (_249_ == "nil") then serialize = tostring elseif (_249_ == "boolean") then serialize = tostring elseif (_249_ == "string") then serialize = serialize_string elseif (_249_ == "number") then serialize = serialize_number else 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 = {} for i = 1, #ast do local nval = ((i ~= #ast) and 1) table.insert(buffer, exprs1(compile1(ast[i], scope, parent, {nval = nval}))) 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 _let_251_ = compile1(k, scope, parent, {nval = 1}) local compiled = _let_251_[1] local kstr = ("[" .. tostring(compiled) .. "]") return {kstr, k} end end end do local keys do local tbl_13_auto = {} for k, v in utils.stablepairs(ast) do tbl_13_auto[(#tbl_13_auto + 1)] = write_other_values(k, v) end keys = tbl_13_auto end local function _256_(_254_) local _arg_255_ = _254_ local k1 = _arg_255_[1] local k2 = _arg_255_[2] local _let_257_ = compile1(ast[k2], scope, parent, {nval = 1}) local v = _let_257_[1] return string.format("%s = %s", k1, tostring(v)) end utils.map(keys, _256_, 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) else return assert_compile(false, ("could not compile value of type " .. type(ast0)), ast0) end end local function destructure(to, from, ast, scope, parent, opts) local opts0 = (opts or {}) local _let_259_ = opts0 local isvar = _let_259_["isvar"] local declaration = _let_259_["declaration"] local forceglobal = _let_259_["forceglobal"] local forceset = _let_259_["forceset"] local symtype = _let_259_["symtype"] local symtype0 = ("_" .. (symtype or "dst")) local setter if declaration then setter = "local %s = %s" else setter = "%s = %s" end local new_manglings = {} local function getname(symbol, up1) local raw = symbol[1] assert_compile(not (opts0.nomulti and utils["multi-sym?"](raw)), ("unexpected multi symbol " .. raw), up1) if declaration then return declare_local(symbol, nil, scope, symbol, new_manglings) else local parts = (utils["multi-sym?"](raw) or {raw}) local meta = scope.symmeta[parts[1]] assert_compile(not raw:find(":"), "cannot set method sym", symbol) if ((#parts == 1) and not forceset) then assert_compile(not (forceglobal and meta), string.format("global %s conflicts with local", tostring(symbol)), symbol) assert_compile(not (meta and not meta.var), ("expected var " .. raw), symbol) assert_compile((meta or not opts0.noundef), ("expected local " .. parts[1]), symbol) end if forceglobal then assert_compile(not scope.symmeta[scope.unmanglings[raw]], ("global " .. raw .. " conflicts with local"), symbol) do end (scope.manglings)[raw] = global_mangling(raw) do end (scope.unmanglings)[global_mangling(raw)] = raw if allowed_globals then table.insert(allowed_globals, raw) end end return symbol_to_expression(symbol, scope)[1] end end local function compile_top_target(lvalues) local inits local function _265_(_241) if scope.manglings[_241] then return _241 else return "nil" end end inits = utils.map(lvalues, _265_) 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) elseif (init == "nil") then table.insert(parent, (plen + 1), {ast = ast, leaf = ("local " .. lvalue)}) else table.insert(parent, (plen + 1), {ast = ast, leaf = ("local " .. lvalue .. " = " .. init)}) end end return ret end 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[tostring(left)] = {var = isvar} return nil end end local function destructure_table(left, rightexprs, top_3f, destructure1) local s = gensym(scope, symtype0) local right do local _272_ if top_3f then _272_ = exprs1(compile1(from, scope, parent)) else _272_ = exprs1(rightexprs) end if (_272_ == "") then right = "nil" elseif (nil ~= _272_) then local right0 = _272_ right = right0 else right = nil end 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 (tostring(v) == "&")) then local unpack_str = "{(table.unpack or unpack)(%s, %s)}" local formatted = string.format(unpack_str, s, k) local subexpr = utils.expr(formatted, "expression") assert_compile((utils["sequence?"](left) and (nil == left[(k + 2)])), "expected rest argument before last parameter", left) destructure1(left[(k + 1)], {subexpr}, left) elseif (utils["sym?"](k) and (tostring(k) == "&as")) then destructure_sym(v, {utils.expr(tostring(s))}, left) elseif (utils["sequence?"](left) and (tostring(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) else local key if (type(k) == "string") then key = serialize_string(k) else key = k end local subexpr = utils.expr(string.format("%s[%s]", s, key), "expression") destructure1(v, {subexpr}, left) end end 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)) else local symname = gensym(scope, symtype0) table.insert(left_names, symname) do end (tables)[i] = {name, utils.expr(symname, "sym")} end 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 if utils["sym?"](sym) then scope.symmeta[tostring(sym)] = {var = isvar} end end 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) else assert_compile(false, string.format("unable to bind %s %s", type(left), tostring(left)), (((type((up1)[2]) == "table") and (up1)[2]) or up1)) end if top_3f then return {returned = true} end end local ret = destructure1(to, nil, ast, true) utils.hook("destructure", from, to, scope) apply_manglings(scope, new_manglings, ast) return ret end local function require_include(ast, scope, parent, opts) opts.fallback = function(e) return utils.expr(string.format("require(%s)", tostring(e)), "statement") 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 = {} local chunk = {} do end (function(tgt, m, ...) return tgt[m](tgt, ...) end)(utils.root, "set-reset") allowed_globals = opts.allowedGlobals if (opts.indent == nil) then opts.indent = " " end if opts.requireAsInclude then scope.specials.require = require_include end utils.root.chunk, utils.root.scope, utils.root.options = chunk, scope, opts for _, val in parser.parser(strm, opts.filename, opts) do table.insert(vals, val) end for i = 1, #vals do 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 local chunk = {} local scope = (opts0.scope or make_scope(scopes.global)) do end (function(tgt, m, ...) return tgt[m](tgt, ...) end)(utils.root, "set-reset") 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 return string.format(" [C]: in function '%s'", info.name) elseif (info.what == "C") then return " [C]: in ?" else local remap = fennel_sourcemap[info.source] if (remap and remap[info.currentline]) then 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) end if (info.what == "Lua") then local function _289_() if info.name then return ("'" .. info.name .. "'") else return "?" end end return string.format(" %s:%d: in function %s", info.short_src, info.currentline, _289_()) elseif (info.short_src == "(tail call)") then return " (tail call)" else return string.format(" %s:%d: in main chunk", info.short_src, info.currentline) end end end local function traceback(msg, start) local msg0 = tostring((msg or "")) if ((msg0:find("^Compile error") or msg0:find("^Parse error")) and not utils["debug-on?"]("trace")) then return msg0 else local lines = {} if (msg0:find(":%d+: Compile error") or msg0:find(":%d+: 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 _293_ = debug.getinfo(level, "Sln") if (_293_ == nil) then done_3f = true elseif (nil ~= _293_) then local info = _293_ 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 _296_(k, v) if (type(k) == "number") then return k, fv(v) else return fk(k), fv(v) end end return _296_ 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 end return ret end local function do_quote(form, scope, parent, runtime_3f) local function q(x) return do_quote(x, scope, parent, runtime_3f) end if utils["varg?"](form) then assert_compile(not runtime_3f, "quoted ... may only be used at compile time", form) return "_VARARG" elseif utils["sym?"](form) then local filename if form.filename then filename = string.format("%q", form.filename) else filename = "nil" end local symstr = tostring(form) assert_compile(not runtime_3f, "symbols may only be used at compile time", form) if (symstr:find("#$") or symstr:find("#[:.]")) then return string.format("sym('%s', {filename=%s, line=%s})", autogensym(symstr, scope), filename, (form.line or "nil")) else return string.format("sym('%s', {quoted=true, filename=%s, line=%s})", symstr, filename, (form.line or "nil")) end elseif (utils["list?"](form) and utils["sym?"](form[1]) and (tostring(form[1]) == "unquote")) then local payload = form[2] local res = unpack(compile1(payload, scope, parent)) return res[1] elseif utils["list?"](form) then local mapped local function _301_() return nil end mapped = utils.kvmap(form, entry_transform(_301_, q)) local filename if form.filename then filename = string.format("%q", form.filename) else filename = "nil" end 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, ", ")) elseif utils["sequence?"](form) then local mapped = utils.kvmap(form, entry_transform(q, q)) local source = getmetatable(form) local filename if source.filename then filename = string.format("%q", source.filename) else filename = "nil" end local _304_ if source then _304_ = source.line else _304_ = "nil" end return string.format("setmetatable({%s}, {filename=%s, line=%s, sequence=%s})", mixed_concat(mapped, ", "), filename, _304_, "(getmetatable(sequence()))['sequence']") elseif (type(form) == "table") then local mapped = utils.kvmap(form, entry_transform(q, q)) local source = getmetatable(form) local filename if source.filename then filename = string.format("%q", source.filename) else filename = "nil" end local function _307_() if source then return source.line else return "nil" end end return string.format("setmetatable({%s}, {filename=%s, line=%s})", mixed_concat(mapped, ", "), filename, _307_()) elseif (type(form) == "string") then return serialize_string(form) else return tostring(form) end end return {compile = compile, compile1 = compile1, ["compile-stream"] = compile_stream, ["compile-string"] = compile_string, emit = emit, destructure = destructure, ["require-include"] = require_include, autogensym = autogensym, gensym = gensym, ["do-quote"] = do_quote, ["global-mangling"] = global_mangling, ["global-unmangling"] = global_unmangling, ["apply-manglings"] = apply_manglings, macroexpand = macroexpand_2a, ["declare-local"] = declare_local, ["make-scope"] = make_scope, ["keep-side-effects"] = keep_side_effects, ["symbol-to-expression"] = symbol_to_expression, assert = assert_compile, scopes = scopes, traceback = traceback, metadata = make_metadata()} end package.preload["fennel.friend"] = package.preload["fennel.friend"] or function(...) local function ast_source(ast) local m = getmetatable(ast) return ((m and m.line and m) or (("table" == type(ast)) and ast) or {}) end local suggestions = {["unexpected multi symbol (.*)"] = {"removing periods or colons from %s"}, ["use of global (.*) is aliased by a local"] = {"renaming local %s", "refer to the global using _G.%s instead of directly"}, ["local (.*) was overshadowed by a special form or macro"] = {"renaming local %s"}, ["global (.*) conflicts with local"] = {"renaming local %s"}, ["expected var (.*)"] = {"declaring %s using var instead of let/local", "introducing a new local instead of changing the value of %s"}, ["expected macros to be table"] = {"ensuring your macro definitions return a table"}, ["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"}, ["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"}, ["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"}, ["expected a function.* to call"] = {"removing the empty parentheses", "using square brackets if you want an empty table"}, ["cannot call literal value"] = {"checking for typos", "checking for a missing function name"}, ["unexpected vararg"] = {"putting \"...\" at the end of the fn parameters if the vararg was intended"}, ["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"}, ["unused local (.*)"] = {"fixing a typo so %s is used", "renaming the local to _%s"}, ["expected parameters"] = {"adding function parameters as a list of identifiers in brackets"}, ["unable to bind (.*)"] = {"replacing the %s with an identifier"}, ["expected rest argument before last parameter"] = {"moving & to right before the final identifier when destructuring"}, ["expected vararg as last parameter"] = {"moving the \"...\" to the end of the parameter list"}, ["expected symbol for function parameter: (.*)"] = {"changing %s to an identifier instead of a literal value"}, ["could not compile value of type "] = {"debugging the macro you're calling to return a list or table"}, ["expected local"] = {"looking for a typo", "looking for a local which is used out of its scope"}, ["expected body expression"] = {"putting some code in the body of this form after the bindings"}, ["expected binding and iterator"] = {"making sure you haven't omitted a local name or iterator"}, ["expected binding sequence"] = {"placing a table here in square brackets containing identifiers to bind"}, ["expected even number of name/value bindings"] = {"finding where the identifier or value is missing"}, ["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"}, ["unexpected closing delimiter (.)"] = {"deleting %s", "adding matching opening delimiter earlier"}, ["mismatched closing delimiter (.), expected (.)"] = {"replacing %s with %s", "deleting %s", "adding matching opening delimiter earlier"}, ["expected even number of values in table literal"] = {"removing a key", "adding a value"}, ["expected whitespace before opening delimiter"] = {"adding whitespace"}, ["illegal character: (.)"] = {"deleting or replacing %s", "avoiding reserved characters like \", \\, ', ~, ;, @, `, and comma"}, ["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"}, ["can't start multisym segment with a digit"] = {"removing the digit", "adding a non-digit before the digit"}, ["malformed multisym"] = {"ensuring each period or colon is not followed by another period or colon"}, ["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"}, ["$ and $... in hashfn are mutually exclusive"] = {"modifying the hashfn so it only contains $... or $, $1, $2, $3, etc"}, ["tried to reference a macro at runtime"] = {"renaming the macro so as not to conflict with locals"}, ["expected even number of pattern/body pairs"] = {"checking that every pattern has a body to go with it", "adding _ before the final body"}, ["unexpected arguments"] = {"removing an argument", "checking for typos"}, ["unexpected iterator clause"] = {"removing an argument", "checking for typos"}} local unpack = (table.unpack or _G.unpack) 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) end end end return suggestion end local function read_line_from_file(filename, line) local bytes = 0 local f = assert(io.open(filename)) local _ for _0 = 1, (line - 1) do bytes = (bytes + 1 + #f:read()) end _ = nil local codeline = f:read() f:close() return codeline, bytes end 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 - #this_line - 1) elseif this_line then return read_line_from_string(matcher, target_line, (current_line + 1), bytes) end end local function read_line(filename, line, source) if source then return read_line_from_string(string.gmatch((source .. "\n"), "(.-)(\13?\n)"), line) else return read_line_from_file(filename, line) end end local function friendly_msg(msg, _116_, source) local _arg_117_ = _116_ local filename = _arg_117_["filename"] local line = _arg_117_["line"] local bytestart = _arg_117_["bytestart"] local byteend = _arg_117_["byteend"] local ok, codeline, bol = pcall(read_line, filename, line, source) 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 end return table.concat(out, "\n") end local function assert_compile(condition, msg, ast, source) if not condition then local _let_122_ = ast_source(ast) local filename = _let_122_["filename"] local line = _let_122_["line"] error(friendly_msg(("Compile error in %s:%s\n %s"):format((filename or "unknown"), (line or "?"), msg), ast_source(ast), source), 0) end 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), {filename = filename, line = line, bytestart = bytestart}, 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") local unpack = (table.unpack or _G.unpack) local function granulate(getchunk) local c, index, done_3f = "", 1, false local function _124_(parser_state) if not done_3f then if (index <= #c) then local b = c:byte(index) index = (index + 1) return b else local _125_ = getchunk(parser_state) local function _126_() local char = _125_ return (char ~= "") end if ((nil ~= _125_) and _126_()) then local char = _125_ c = char index = 2 return c:byte() else local _ = _125_ done_3f = true return nil end end end end local function _130_() c = "" return nil end return _124_, _130_ end local function string_stream(str) local str0 = str:gsub("^#!", ";;") local index = 1 local function _131_() local r = str0:byte(index) index = (index + 1) return r end return _131_ end local delims = {[40] = 41, [41] = true, [91] = 93, [93] = true, [123] = 125, [125] = true} local function whitespace_3f(b) return ((b == 32) or ((b >= 9) and (b <= 13))) end local function sym_char_3f(b) local b0 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)) 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 end 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 assert(((nil == filename) or ("string" == type(filename))), "expected filename as second argument to parser") local function parse_error(msg, byteindex_override) local _let_136_ = (options or utils.root.options or {}) local source = _let_136_["source"] local unfriendly = _let_136_["unfriendly"] utils.root.reset() if (unfriendly or not friend or not _G.io or not _G.io.read) then return error(string.format("%s:%s: Parse error: %s", (filename or "unknown"), (line or "?"), msg), 0) else return friend["parse-error"](msg, (filename or "unknown"), (line or "?"), (byteindex_override or byteindex), source) end end local function parse_stream() local whitespace_since_dispatch, done_3f, retval = true local function dispatch(v) local _138_ = stack[#stack] if (_138_ == nil) then retval, done_3f, whitespace_since_dispatch = v, true, false return nil elseif ((_G.type(_138_) == "table") and (nil ~= (_138_).prefix)) then local prefix = (_138_).prefix local source do local _139_ = table.remove(stack) do end (_139_)["byteend"] = byteindex source = _139_ end local list = utils.list(utils.sym(prefix, source), v) for k, v0 in pairs(source) do list[k] = v0 end return dispatch(list) elseif (nil ~= _138_) then local top = _138_ whitespace_since_dispatch = false return table.insert(top, v) end end local function badend() local accum = utils.map(stack, "closer") local _141_ if (#stack == 1) then _141_ = "" else _141_ = "s" end return parse_error(string.format("expected closing delimiter%s %s", _141_, 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 end end local function parse_comment(b, contents) if (b and (10 ~= b)) then local function _145_() local _144_ = contents table.insert(_144_, string.char(b)) return _144_ end return parse_comment(getb(), _145_()) elseif (options and options.comments) then return dispatch(utils.comment(table.concat(contents), {line = (line - 1), filename = filename})) 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 local function add_comment_at(comments, index, node) local _148_ = comments[index] if (nil ~= _148_) then local existing = _148_ return table.insert(existing, node) else local _ = _148_ 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 = {}, values = {}, last = {}} 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 local function close_curly_table(tbl) local comments = extract_comments(tbl) local keys = {} 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)]) end val[tbl[i]] = tbl[(i + 1)] table.insert(keys, tbl[i]) end tbl.comments = comments tbl.keys = keys 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 if (top.closer and (top.closer ~= b)) then 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 do local _158_ = {state, b} if ((_G.type(_158_) == "table") and ((_158_)[1] == "base") and ((_158_)[2] == 92)) then state0 = "backslash" elseif ((_G.type(_158_) == "table") and ((_158_)[1] == "base") and ((_158_)[2] == 34)) then state0 = "done" else local _ = _158_ state0 = "base" end end if (b and (state0 ~= "done")) then return parse_string_loop(chars, getb(), state0) else return b end end local function escape_char(c) return ({[7] = "\\a", [8] = "\\b", [9] = "\\t", [10] = "\\n", [11] = "\\v", [12] = "\\f", [13] = "\\r"})[c:byte()] end 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)) local formatted = raw:gsub("[\7-\13]", escape_char) local _162_ = (rawget(_G, "loadstring") or load)(("return " .. formatted)) if (nil ~= _162_) then local load_fn = _162_ return dispatch(load_fn()) elseif (_162_ == nil) then return parse_error(("Invalid string: " .. raw)) end end local function parse_prefix(b) table.insert(stack, {prefix = prefixes[b], filename = filename, line = line, bytestart = byteindex}) local nextb = getb() if (whitespace_3f(nextb) or (true == delims[nextb])) then if (b ~= 35) then parse_error("invalid whitespace after quoting prefix") end table.remove(stack) dispatch(utils.sym("#")) end return ungetb(nextb) end local function parse_sym_loop(chars, b) if (b and sym_char_3f(b)) then table.insert(chars, b) return parse_sym_loop(chars, getb()) else if b then ungetb(b) end 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 _168_ = tonumber(number_with_stripped_underscores) if (nil ~= _168_) then local x = _168_ dispatch(x) return true else local _ = _168_ return false end 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 return parse_error(("can't start multisym segment with a digit: " .. rawstr), (((byteindex - #rawstr) + rawstr:find("%.[0-9]")) + 1)) elseif (rawstr:match("[%.:][%.:]") and (rawstr ~= "..") and (rawstr ~= "$...")) then return parse_error(("malformed multisym: " .. rawstr), ((byteindex - #rawstr) + 1 + rawstr:find("[%.:][%.:]"))) elseif ((rawstr ~= ":") and rawstr:match(":$")) then return parse_error(("malformed multisym: " .. rawstr), ((byteindex - #rawstr) + 1 + rawstr:find(":$"))) elseif rawstr:match(":.+[%.:]") then return parse_error(("method must be last component of multisym: " .. rawstr), ((byteindex - #rawstr) + rawstr:find(":.+[%.:]"))) else return rawstr 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)) elseif not parse_number(rawstr) then return dispatch(utils.sym(check_malformed_sym(rawstr), {byteend = byteindex, bytestart = bytestart, filename = filename, line = line})) end end local function parse_loop(b) if not b then elseif (b == 59) then parse_comment(getb(), {";"}) 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) elseif (sym_char_3f(b) or (b == string.byte("~"))) then parse_sym(b) elseif not utils.hook("illegal-char", b, getb, ungetb, dispatch) then parse_error(("illegal character: " .. string.char(b))) end if not b then return nil elseif done_3f then return true, retval else return parse_loop(skip_whitespace(getb())) end end return parse_loop(skip_whitespace(getb())) end local function _175_() stack, line, byteindex = {}, 1, 0 return nil end return parse_stream, _175_ end return {granulate = granulate, parser = parser, ["string-stream"] = string_stream, ["sym-char?"] = sym_char_3f} end local utils package.preload["fennel.view"] = package.preload["fennel.view"] or function(...) local type_order = {number = 1, boolean = 2, string = 3, table = 4, ["function"] = 5, userdata = 6, thread = 7} local function sort_keys(_1_, _3_) local _arg_2_ = _1_ local a = _arg_2_[1] local _arg_4_ = _3_ local b = _arg_4_[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 max_index_gap(kv) local gap = 0 if (#kv > 0) then local i = 0 for _, _7_ in ipairs(kv) do local _each_8_ = _7_ local k = _each_8_[1] if ((k - i) > gap) then gap = (k - i) end i = k end end return gap end local function fill_gaps(kv) local missing_indexes = {} local i = 0 for _, _11_ in ipairs(kv) do local _each_12_ = _11_ local j = _each_12_[1] i = (i + 1) while (i < j) do table.insert(missing_indexes, i) i = (i + 1) end end for _, k in ipairs(missing_indexes) do table.insert(kv, k, {k}) end return nil end local function table_kv_pairs(t, options) local assoc_3f = false local kv = {} local insert = table.insert for k, v in pairs(t) do if (type(k) ~= "number") then assoc_3f = true end insert(kv, {k, v}) end table.sort(kv, sort_keys) if not assoc_3f then local gap = max_index_gap(kv) if (max_index_gap(kv) > options["max-sparse-gap"]) then assoc_3f = true else fill_gaps(kv) end end if (#kv == 0) then return kv, "empty" else local function _16_() if assoc_3f then return "table" else return "seq" end end return kv, _16_() 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 local function detect_cycle(t, seen, _3fk) if ("table" == type(t)) then seen[t] = true local _21_, _22_ = next(t, _3fk) if ((nil ~= _21_) and (nil ~= _22_)) then local k = _21_ local v = _22_ return (seen[k] or detect_cycle(k, seen) or seen[v] or detect_cycle(v, seen) or detect_cycle(t, seen, k)) end end end local function visible_cycle_3f(t, options) return (options["detect-cycles?"] and detect_cycle(t, {}) and save_table(t, options.seen) and (1 < (options.appearances[t] or 0))) end local function table_indent(t, indent, id) local opener_length if id then opener_length = (#tostring(id) + 2) else opener_length = 1 end return (indent + opener_length) end local pp = nil local function concat_table_lines(elements, options, multiline_3f, indent, table_type, prefix) local indent_str = ("\n" .. string.rep(" ", indent)) local open local _26_ if ("seq" == table_type) then _26_ = "[" else _26_ = "{" end open = ((prefix or "") .. _26_) local close if ("seq" == table_type) then close = "]" else close = "}" end local oneline = (open .. table.concat(elements, " ") .. close) if (not options["one-line?"] and (multiline_3f or ((indent + #oneline) > options["line-length"]))) then 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 local function _31_() local _30_ = rawget(_G, "utf8") if _30_ then return (_30_).len else return _30_ end end local function _33_(_241) return #_241 end slength = ((options["utf8?"] and _31_()) or _33_) local prefix if visible_cycle_3f0 then prefix = ("@" .. id0) else prefix = "" end local items do local tbl_13_auto = {} for _, _35_ in pairs(kv) do local _each_36_ = _35_ local k = _each_36_[1] local v = _each_36_[2] local _37_ do local k0 = pp(k, options, (indent0 + 1), true) local v0 = pp(v, options, (indent0 + slength(k0) + 1)) multiline_3f = (multiline_3f or k0:find("\n") or v0:find("\n")) _37_ = (k0 .. " " .. v0) end tbl_13_auto[(#tbl_13_auto + 1)] = _37_ end items = tbl_13_auto end return concat_table_lines(items, options, multiline_3f, indent0, "table", prefix) 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 if visible_cycle_3f0 then prefix = ("@" .. id0) else prefix = "" end local items do local tbl_13_auto = {} for _, _40_ in pairs(kv) do local _each_41_ = _40_ local _0 = _each_41_[1] local v = _each_41_[2] local _42_ do local v0 = pp(v, options, indent0) multiline_3f = (multiline_3f or v0:find("\n")) _42_ = v0 end tbl_13_auto[(#tbl_13_auto + 1)] = _42_ end items = tbl_13_auto end return concat_table_lines(items, options, multiline_3f, indent0, "seq", prefix) 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 local _45_ do local tbl_13_auto = {} for _, line in ipairs(lines) do tbl_13_auto[(#tbl_13_auto + 1)] = line:gsub("^%s+", "") end _45_ = tbl_13_auto end oneline = table.concat(_45_, " ") 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 _ local function _49_(_241) return visible_cycle_3f(_241, options) end options["visible-cycle?"] = _49_ _ = nil local lines, force_multi_line_3f = metamethod(t, pp, options, indent) options["visible-cycle?"] = nil local _50_ = type(lines) if (_50_ == "string") then return lines elseif (_50_ == "table") then return concat_lines(lines, options, indent, force_multi_line_3f) else local _0 = _50_ return error("__fennelview metamethod must return a table of lines") end end end local function pp_table(x, options, indent) options.level = (options.level + 1) local x0 do local _53_ if options["metamethod?"] then local _54_ = x if _54_ then local _55_ = getmetatable(_54_) if _55_ then _53_ = (_55_).__fennelview else _53_ = _55_ end else _53_ = _54_ end else _53_ = nil end if (nil ~= _53_) then local metamethod = _53_ x0 = pp_metamethod(x, metamethod, options, indent) else local _ = _53_ local _59_, _60_ = table_kv_pairs(x, options) if (true and (_60_ == "empty")) then local _0 = _59_ if options["empty-as-sequence?"] then x0 = "[]" else x0 = "{}" end elseif ((nil ~= _59_) and (_60_ == "table")) then local kv = _59_ x0 = pp_associative(x, kv, options, indent) elseif ((nil ~= _59_) and (_60_ == "seq")) then local kv = _59_ 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) local _64_ = string.gsub(tostring(n), ",", ".") return _64_ end local function colon_string_3f(s) return s:find("^[-%w?^_!$%&*+./@|<=>]+$") end local function pp_string(str, options, indent) local escs local _65_ if (options["escape-newlines?"] and (#str < (options["line-length"] - indent))) then _65_ = "\\n" else _65_ = "\n" end local function _67_(_241, _242) return ("\\%03d"):format(_242:byte()) end escs = setmetatable({["\7"] = "\\a", ["\8"] = "\\b", ["\12"] = "\\f", ["\11"] = "\\v", ["\13"] = "\\r", ["\9"] = "\\t", ["\\"] = "\\\\", ["\""] = "\\\"", ["\n"] = _65_}, {__index = _67_}) return ("\"" .. str:gsub("[%c\\\"]", escs) .. "\"") end local function make_options(t, options) local defaults = {["line-length"] = 80, ["one-line?"] = false, depth = 128, ["detect-cycles?"] = true, ["empty-as-sequence?"] = false, ["metamethod?"] = true, ["prefer-colon?"] = false, ["escape-newlines?"] = false, ["utf8?"] = true, ["max-sparse-gap"] = 10} local overrides = {level = 0, appearances = count_table_appearances(t, {}), 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 local function _68_(x, options, indent, colon_3f) local indent0 = (indent or 0) local options0 = (options or make_options(x)) local x0 if options0.preprocess then x0 = options0.preprocess(x, options0) else x0 = x end local tv = type(x0) local function _71_() local _70_ = getmetatable(x0) if _70_ then return (_70_).__fennelview else return _70_ end end if ((tv == "table") or ((tv == "userdata") and _71_())) then return pp_table(x0, options0, indent0) elseif (tv == "number") then return number__3estring(x0) else local function _73_() if (colon_3f ~= nil) then return colon_3f elseif ("function" == type(options0["prefer-colon?"])) then return options0["prefer-colon?"](x0) else return options0["prefer-colon?"] end end if ((tv == "string") and colon_string_3f(x0) and _73_()) then return (":" .. x0) elseif (tv == "string") then return pp_string(x0, options0, indent0) elseif ((tv == "boolean") or (tv == "nil")) then return tostring(x0) else return ("#<" .. tostring(x0) .. ">") end end end pp = _68_ local function view(x, options) return pp(x, make_options(x, options), 0) end return view end package.preload["fennel.utils"] = package.preload["fennel.utils"] or function(...) local view = require("fennel.view") local function stablepairs(t) local keys = {} local used_keys = {} local succ = {} if (getmetatable(t) and getmetatable(t).keys) then for _, k in ipairs(getmetatable(t).keys) do if used_keys[k] then for i = #keys, 1, -1 do if (keys[i] == k) then table.remove(keys, i) end end end used_keys[k] = true table.insert(keys, k) end else for k in pairs(t) do table.insert(keys, k) end local function _77_(_241, _242) return (tostring(_241) < tostring(_242)) end table.sort(keys, _77_) end for i, k in ipairs(keys) do succ[k] = keys[(i + 1)] end local function stablenext(tbl, idx) local key if (idx == nil) then key = keys[1] else key = succ[idx] end local value if (key == nil) then value = nil else value = tbl[key] end return key, value end return stablenext, t, nil end local function map(t, f, out) local out0 = (out or {}) local f0 if (type(f) == "function") then f0 = f else local function _81_(_241) return (_241)[f] end f0 = _81_ end for _, x in ipairs(t) do local _83_ = f0(x) if (nil ~= _83_) then local v = _83_ table.insert(out0, v) end end return out0 end local function kvmap(t, f, out) local out0 = (out or {}) local f0 if (type(f) == "function") then f0 = f else local function _85_(_241) return (_241)[f] end f0 = _85_ end for k, x in stablepairs(t) do local _87_, _88_ = f0(k, x) if ((nil ~= _87_) and (nil ~= _88_)) then local key = _87_ local value = _88_ out0[key] = value elseif (nil ~= _87_) then local value = _87_ table.insert(out0, value) end end return out0 end local function copy(from, to) local to0 = (to or {}) for k, v in pairs((from or {})) do to0[k] = v end return to0 end local function member_3f(x, tbl, n) local _90_ = tbl[(n or 1)] if (_90_ == x) then return true elseif (_90_ == nil) then return nil else local _ = _90_ return member_3f(x, tbl, ((n or 1) + 1)) 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 _92_ = getmetatable(t) if ((_G.type(_92_) == "table") and true) then local __index = (_92_).__index if ("table" == type(__index)) then t = __index return allpairs_next(t) end end end end return allpairs_next end local function deref(self) return self[1] end local nil_sym = nil local function list__3estring(self, tostring2) local safe, max = {}, 0 for k in pairs(self) do if ((type(k) == "number") and (k > max)) then max = k end end for i = 1, max do safe[i] = (((self[i] == nil) and nil_sym) or self[i]) end return ("(" .. table.concat(map(safe, (tostring2 or view)), " ", 1, max) .. ")") end 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", __fennelview = deref, __tostring = deref, __eq = sym_3d, __lt = sym_3c} local expr_mt local function _97_(x) return tostring(deref(x)) end expr_mt = {"EXPR", __tostring = _97_} local list_mt = {"LIST", __fennelview = list__3estring, __tostring = list__3estring} local comment_mt = {"COMMENT", __fennelview = comment_view, __tostring = deref, __eq = sym_3d, __lt = sym_3c} local sequence_marker = {"SEQUENCE"} local vararg = setmetatable({"..."}, {"VARARG", __fennelview = deref, __tostring = deref}) local getenv local function _98_() return nil end getenv = ((os and os.getenv) or _98_) local function debug_on_3f(flag) local level = (getenv("FENNEL_DEBUG") or "") return ((level == "all") or level:find(flag)) end local function list(...) return setmetatable({...}, list_mt) end local function sym(str, _3fsource, _3fscope) local s = {str, ["?scope"] = _3fscope} for k, v in pairs((_3fsource or {})) do if (type(k) == "string") then s[k] = v end end return setmetatable(s, symbol_mt) end nil_sym = sym("nil") local function sequence(...) return setmetatable({...}, {sequence = sequence_marker}) end local function expr(strcode, etype) return setmetatable({strcode, type = etype}, expr_mt) end local function comment_2a(contents, _3fsource) local _let_100_ = (_3fsource or {}) local filename = _let_100_["filename"] local line = _let_100_["line"] return setmetatable({contents, filename = filename, line = line}, comment_mt) end local function varg() return vararg end local function expr_3f(x) return ((type(x) == "table") and (getmetatable(x) == expr_mt) and x) end local function varg_3f(x) return ((x == vararg) and x) end local function list_3f(x) return ((type(x) == "table") and (getmetatable(x) == list_mt) and x) end local function sym_3f(x) return ((type(x) == "table") and (getmetatable(x) == symbol_mt) and x) end local function sequence_3f(x) local mt = ((type(x) == "table") and getmetatable(x)) return (mt and (mt.sequence == sequence_marker) and x) end local function comment_3f(x) return ((type(x) == "table") and (getmetatable(x) == comment_mt) and x) end 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 local function multi_sym_3f(str) if sym_3f(str) then return multi_sym_3f(tostring(str)) 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)) else 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 local function quoted_3f(symbol) 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) end return nil end end walk((custom_iterator or pairs), nil, nil, root) return root end 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"} 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 local propagated_options = {"allowedGlobals", "indent", "correlate", "useMetadata", "env", "compiler-env", "compilerEnv"} local function propagate_options(options, subopts) for _, name in ipairs(propagated_options) do subopts[name] = options[name] end return subopts end local root local function _105_() end root = {chunk = nil, scope = nil, options = nil, reset = _105_} root["set-reset"] = function(_106_) local _arg_107_ = _106_ local chunk = _arg_107_["chunk"] local scope = _arg_107_["scope"] local options = _arg_107_["options"] local reset = _arg_107_["reset"] root.reset = function() root.chunk, root.scope, root.options, root.reset = chunk, scope, options, reset return nil end return root.reset end local function hook(event, ...) local result = nil if (root.options and root.options.plugins) then for _, plugin in ipairs(root.options.plugins) do do local _108_ = plugin[event] if (nil ~= _108_) then local f = _108_ result = f(...) end end if (nil ~= result) then return result end end return nil end end return {allpairs = allpairs, stablepairs = stablepairs, copy = copy, kvmap = kvmap, map = map, ["walk-tree"] = walk_tree, ["member?"] = member_3f, list = list, sequence = sequence, sym = sym, varg = varg, expr = expr, comment = comment_2a, ["comment?"] = comment_3f, ["expr?"] = expr_3f, ["list?"] = list_3f, ["multi-sym?"] = multi_sym_3f, ["sequence?"] = sequence_3f, ["sym?"] = sym_3f, ["table?"] = table_3f, ["varg?"] = varg_3f, ["quoted?"] = quoted_3f, ["valid-lua-identifier?"] = valid_lua_identifier_3f, ["lua-keywords"] = lua_keywords, hook = hook, ["propagate-options"] = propagate_options, root = root, ["debug-on?"] = debug_on_3f, path = table.concat({"./?.fnl", "./?/init.fnl", getenv("FENNEL_PATH")}, ";"), ["macro-path"] = table.concat({"./?.fnl", "./?/init-macros.fnl", "./?/init.fnl", getenv("FENNEL_MACRO_PATH")}, ";")} 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") local view = require("fennel.view") local function eval_env(env, opts) if (env == "_COMPILER") then local env0 = specials["make-compiler-env"](nil, compiler.scopes.compiler, {}, opts) if (opts.allowedGlobals == nil) then opts.allowedGlobals = specials["current-global-names"](env0) end return specials["wrap-env"](env0) else return (env and specials["wrap-env"](env)) end end local function eval_opts(options, str) local opts = utils.copy(options) if (opts.allowedGlobals == nil) then opts.allowedGlobals = specials["current-global-names"](opts.env) end 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, opts) local lua_source = compiler["compile-string"](str, opts) local loader local function _563_(...) if opts.filename then return ("@" .. opts.filename) else return str end end loader = specials["load-code"](lua_source, env, _563_(...)) opts.filename = nil return loader(...) end local function dofile_2a(filename, options, ...) local opts = utils.copy(options) local f = assert(io.open(filename, "rb")) local source = assert(f:read("*all"), ("Could not read " .. filename)) f:close() opts.filename = filename return eval(source, opts, ...) end local function syntax() local body_3f = {"when", "with-open", "collect", "icollect", "lambda", "\206\187", "macro", "match", "accumulate"} local binding_3f = {"collect", "icollect", "each", "for", "let", "with-open", "accumulate"} local define_3f = {"fn", "lambda", "\206\187", "var", "local", "macro", "macros", "global"} local out = {} for k, v in pairs(compiler.scopes.global.specials) do local metadata = (compiler.metadata[v] or {}) do end (out)[k] = {["special?"] = true, ["body-form?"] = metadata["fnl/body-form?"], ["binding-form?"] = utils["member?"](k, binding_3f), ["define?"] = utils["member?"](k, define_3f)} end for k, v in pairs(compiler.scopes.global.macros) do out[k] = {["macro?"] = true, ["body-form?"] = utils["member?"](k, body_3f), ["binding-form?"] = utils["member?"](k, binding_3f), ["define?"] = utils["member?"](k, define_3f)} end for k, v in pairs(_G) do local _564_ = type(v) if (_564_ == "function") then out[k] = {["global?"] = true, ["function?"] = true} elseif (_564_ == "table") then for k2, v2 in pairs(v) do if (("function" == type(v2)) and (k ~= "_G")) then out[(k .. "." .. k2)] = {["function?"] = true, ["global?"] = true} end end out[k] = {["global?"] = true} end end return out end local mod = {list = utils.list, ["list?"] = utils["list?"], sym = utils.sym, ["sym?"] = utils["sym?"], sequence = utils.sequence, ["sequence?"] = utils["sequence?"], comment = utils.comment, ["comment?"] = utils["comment?"], varg = utils.varg, path = utils.path, ["macro-path"] = utils["macro-path"], ["sym-char?"] = parser["sym-char?"], parser = parser.parser, granulate = parser.granulate, ["string-stream"] = parser["string-stream"], compile = compiler.compile, ["compile-string"] = compiler["compile-string"], ["compile-stream"] = compiler["compile-stream"], compile1 = compiler.compile1, traceback = compiler.traceback, mangle = compiler["global-mangling"], unmangle = compiler["global-unmangling"], metadata = compiler.metadata, scope = compiler["make-scope"], gensym = compiler.gensym, ["load-code"] = specials["load-code"], ["macro-loaded"] = specials["macro-loaded"], ["macro-searchers"] = specials["macro-searchers"], ["search-module"] = specials["search-module"], ["make-searcher"] = specials["make-searcher"], makeSearcher = specials["make-searcher"], searcher = specials["make-searcher"](), doc = specials.doc, view = view, eval = eval, dofile = dofile_2a, version = "1.0.0-dev", repl = repl, syntax = syntax, loadCode = specials["load-code"], make_searcher = specials["make-searcher"], searchModule = specials["search-module"], macroLoaded = specials["macro-loaded"], compileStream = compiler["compile-stream"], compileString = compiler["compile-string"], stringStream = parser["string-stream"]} utils["fennel-module"] = mod do 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. ;; The code for these macros is somewhat idiosyncratic because it cannot use any ;; macros which have not yet been defined. ;; TODO: some of these macros modify their arguments; we should stop doing that, ;; but in a way that preserves file/line metadata. (fn ->* [val ...] "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) (fn ->>* [val ...] "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) (fn -?>* [val ...] "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))))) (fn -?>>* [val ...] "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))))) (fn ?dot [tbl ...] "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." (let [head (gensym :t) lookups `(do (var ,head ,tbl) ,head)] (each [_ k (ipairs [...])] ;; Kinda gnarly to reassign in place like this, but it emits the best lua. ;; With this impl, it emits a flat, concise, and readable set of if blocks. (table.insert lookups (# lookups) `(if (not= nil ,head) (set ,head (. ,head ,k))))) lookups)) (fn doto* [val ...] "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)) (fn when* [condition body1 ...] "Evaluate body for side-effects only when condition is truthy." (assert body1 "expected body") `(if ,condition (do ,body1 ,...))) (fn with-open* [closable-bindings ...] "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." (let [bodyfn `(fn [] ,...) closer `(fn close-handlers# [ok# ...] (if ok# ... (error ... 0))) traceback `(. (or package.loaded.fennel debug) :traceback)] (for [i 1 (length closable-bindings) 2] (assert (sym? (. closable-bindings i)) "with-open only allows symbols in bindings") (table.insert closer 4 `(: ,(. closable-bindings i) :close))) `(let ,closable-bindings ,closer (close-handlers# (_G.xpcall ,bodyfn ,traceback))))) (fn into-val [iter-tbl] (var into nil) (for [i (length iter-tbl) 2 -1] (if (= :into (. iter-tbl i)) (do (set into (table.remove iter-tbl (+ i 1))) (table.remove iter-tbl i)))) (assert (or (not into) (table? into)) "expected table in :into clause") (or into [])) (fn collect* [iter-tbl key-value-expr ...] "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. For example, (collect [k v (pairs {:apple \"red\" :orange \"orange\"})] (values v k)) returns {:red \"apple\" :orange \"orange\"} Supports an :into clause after the iterator to put results in an existing table. Supports early termination with an :until clause." (assert (and (sequence? iter-tbl) (>= (length iter-tbl) 2)) "expected iterator binding table") (assert (not= nil key-value-expr) "expected key-value expression") (assert (= nil ...) "expected exactly one body expression. Wrap multiple expressions with do") `(let [tbl# ,(into-val iter-tbl)] (each ,iter-tbl (match ,key-value-expr (k# v#) (tset tbl# k# v#))) tbl#)) (fn icollect* [iter-tbl value-expr ...] "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\". For example, (icollect [_ v (ipairs [1 2 3 4 5])] (when (> v 2) (* v v))) returns [9 16 25] Supports an :into clause after the iterator to put results in an existing table. Supports early termination with an :until clause." (assert (and (sequence? iter-tbl) (>= (length iter-tbl) 2)) "expected iterator binding table") (assert (not= nil value-expr) "expected table value expression") (assert (= nil ...) "expected exactly one body expression. Wrap multiple expressions with do") `(let [tbl# ,(into-val iter-tbl)] (each ,iter-tbl (tset tbl# (+ (length tbl#) 1) ,value-expr)) tbl#)) (fn accumulate* [iter-tbl accum-expr ...] "Accumulation macro. It takes a binding table and an expression as its arguments. In the binding table, the first symbol is bound to the second value, being an initial accumulator variable. The rest are an iterator binding table in the format `each` takes. It runs through the iterator in each step of which the given expression is evaluated, and its returned value updates the accumulator variable. It eventually returns the final value of the accumulator variable. For example, (accumulate [total 0 _ n (pairs {:apple 2 :orange 3})] (+ total n)) returns 5" (assert (and (sequence? iter-tbl) (>= (length iter-tbl) 4)) "expected initial value and iterator binding table") (assert (not= nil accum-expr) "expected accumulating expression") (assert (= nil ...) "expected exactly one body expression. Wrap multiple expressions with do") (let [accum-var (table.remove iter-tbl 1) accum-init (table.remove iter-tbl 1)] `(do (var ,accum-var ,accum-init) (each ,iter-tbl (set ,accum-var ,accum-expr)) ,accum-var))) (fn partial* [f ...] "Returns a function with all arguments partially applied to f." (assert f "expected a function to partially apply") (let [bindings [] args []] (each [_ arg (ipairs [...])] (if (or (= :number (type arg)) (= :string (type arg)) (= :boolean (type arg)) (= `nil arg)) (table.insert args arg) (let [name (gensym)] (table.insert bindings name) (table.insert bindings arg) (table.insert args name)))) (let [body (list f (unpack args))] (table.insert body _VARARG) `(let ,bindings (fn [,_VARARG] ,body))))) (fn pick-args* [n f] "Creates a function of arity n that applies its arguments to f. For example, (pick-args 2 func) expands to (fn [_0_ _1_] (func _0_ _1_))" (if (and _G.io _G.io.stderr) (_G.io.stderr:write "-- WARNING: pick-args is deprecated and will be removed in the future.\n")) (assert (and (= (type n) :number) (= n (math.floor n)) (>= n 0)) (.. "Expected n to be an integer literal >= 0, got " (tostring n))) (let [bindings []] (for [i 1 n] (tset bindings i (gensym))) `(fn ,bindings (,f ,(unpack bindings))))) (fn pick-values* [n ...] "Like the `values` special, but emits exactly n values. For example, (pick-values 2 ...) expands to (let [(_0_ _1_) ...] (values _0_ _1_))" (assert (and (= :number (type n)) (>= n 0) (= n (math.floor n))) (.. "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))) (if (= n 0) `(values) `(let [,let-syms ,let-values] (values ,(unpack let-syms)))))) (fn lambda* [...] "Function literal with nil-checked arguments. Like `fn`, but will throw an exception if a declared argument is passed in as nil, unless that argument's name begins with a question mark." (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) has-docstring? (and (> (length args) docstring-position) (= :string (type (. args docstring-position)))) arity-check-position (- 4 (if has-internal-name? 0 1) (if has-docstring? 0 1)) empty-body? (< (length args) arity-check-position)] (fn check! [a] (if (table? a) (each [_ a (pairs a)] (check! a)) (let [as (tostring a)] (and (not (as:match "^?")) (not= as "&") (not= as "_") (not= as "...") (not= as "&as"))) (table.insert args arity-check-position `(_G.assert (not= nil ,a) ,(: "Missing argument %s on %s:%s" :format (tostring a) (or a.filename :unknown) (or a.line "?")))))) (assert (= :table (type arglist)) "expected arg list") (each [_ a (ipairs arglist)] (check! a)) (if empty-body? (table.insert args (sym :nil))) `(fn ,(unpack args)))) (fn macro* [name ...] "Define a single macro." (assert (sym? name) "expected symbol for macro name") (local args [...]) `(macros {,(tostring name) (fn ,(unpack args))})) (fn macrodebug* [form return?] "Print the resulting form after performing macroexpansion. With a second argument, returns expanded form as a string instead of printing." (let [handle (if return? `do `print)] `(,handle ,(view (macroexpand form _SCOPE))))) (fn import-macros* [binding1 module-name1 ...] "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" (assert (and binding1 module-name1 (= 0 (% (select "#" ...) 2))) "expected even number of binding/modulename pairs") (for [i 1 (select "#" binding1 module-name1 ...) 2] (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 (tset scope.macros (. binding 1) (. macro-loaded modname)) ;; 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)))))) nil) ;;; Pattern matching (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))) (fn match-table [val pattern unifications match-pattern] (let [condition `(and (= (_G.type ,val) :table)) bindings []] (each [k pat (pairs pattern)] (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))))) (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))) (fn match-pattern [vals pattern unifications] "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." ;; 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] (if (or (and (sym? pattern) ; unification with outer locals (or nil) (not= "_" (tostring pattern)) ; never unify _ (or (in-scope? pattern) (= :nil (tostring pattern)))) (and (multi-sym? pattern) (in-scope? (. (multi-sym? pattern) 1)))) (values `(= ,val ,pattern) []) ;; unify a local we've seen already (and (sym? pattern) (. unifications (tostring pattern))) (values `(= ,(. unifications (tostring pattern)) ,val) []) ;; bind a fresh local (sym? pattern) (let [wildcard? (: (tostring pattern) :find "^_")] (if (not wildcard?) (tset unifications (tostring pattern) val)) (values (if (or wildcard? (string.find (tostring pattern) "^?")) true `(not= ,(sym :nil) ,val)) [pattern val])) ;; guard clause (and (list? pattern) (= (. pattern 2) `?)) (let [(pcondition bindings) (match-pattern vals (. pattern 1) unifications) condition `(and ,(unpack pattern 3))] (values `(and ,pcondition (let ,bindings ,condition)) bindings)) ;; multi-valued patterns (represented as lists) (list? pattern) (match-values vals pattern unifications match-pattern) ;; table patterns (= (type pattern) :table) (match-table val pattern unifications match-pattern) ;; literal value (values `(= ,val ,pattern) [])))) (fn match-condition [vals clauses] "Construct the actual `if` AST for the given match values and clauses." (if (not= 0 (% (length clauses) 2)) ; treat odd final clause as default (table.insert clauses (length clauses) (sym "_"))) (let [out `(if)] (for [i 1 (length clauses) 2] (let [pattern (. clauses i) body (. clauses (+ i 1)) (condition bindings) (match-pattern vals pattern {})] (table.insert out condition) (table.insert out `(let ,bindings ,body)))) out)) (fn match-val-syms [clauses] "How many multi-valued clauses are there? return a list of that many gensyms." (let [syms (list (gensym))] (for [i 1 (length clauses) 2] (let [clause (if (and (list? (. clauses i)) (= `? (. clauses i 2))) (. clauses i 1) (. clauses i))] (if (list? clause) (each [valnum (ipairs clause)] (if (not (. syms valnum)) (tset syms valnum (gensym))))))) syms)) (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*'. (let [clauses [...] vals (match-val-syms clauses)] (assert (= 0 (math.fmod (length clauses) 2)) "expected even number of pattern/body pairs") ;; protect against multiple evaluation of the value, bind against as ;; many values as we ever match against in the clauses. (list `let [vals val] (match-condition vals clauses)))) ;; Construction of old match syntax from new syntax (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)) (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)) (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])) (fn match-where [val ...] "Perform pattern matching on val. See reference for details. Syntax: (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)))) {:-> ->* :->> ->>* :-?> -?>* :-?>> -?>>* :?. ?dot :doto doto* :when when* :with-open with-open* :collect collect* :icollect icollect* :accumulate accumulate* :partial partial* :lambda lambda* :pick-args pick-args* :pick-values pick-values* :macro macro* :macrodebug macrodebug* :import-macros import-macros* :match match-where} ]===] local module_name = "fennel.macros" local _ local function _567_() return mod end package.preload[module_name] = _567_ _ = nil local env do local _568_ = specials["make-compiler-env"](nil, compiler.scopes.compiler, {}) do end (_568_)["utils"] = utils _568_["fennel"] = mod env = _568_ end local built_ins = eval(builtin_macros, {env = env, scope = compiler.scopes.compiler, allowedGlobals = false, useMetadata = true, filename = "src/fennel/macros.fnl", moduleName = module_name}) 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