diff -r 28add4b22a74 -r 0cfa36fa707e util/startup.lua --- a/util/startup.lua Fri Oct 09 17:34:04 2020 +0200 +++ b/util/startup.lua Fri Oct 09 17:41:10 2020 +0200 @@ -197,8 +197,14 @@ end end function mt.__tostring(f) - local info = debug.getinfo(f, "S"); - return ("function(%s:%d)"):format(info.short_src:match("[^\\/]*$"), info.linedefined); + local info = debug.getinfo(f, "Su"); + for i = 1, info.nparams do + info[i] = debug.getlocal(f, i); + end + if info.isvararg then + info[info.nparams+1] = "..."; + end + return ("function<%s:%d>(%s)"):format(info.short_src:match("[^\\/]*$"), info.linedefined, table.concat(info, ", ")); end debug.setmetatable(function() end, mt); end