changeset 12986 | fc0109c59807 |
parent 12979 | d10957394a3c |
child 13018 | 06453c564141 |
--- a/util/startup.lua Fri Mar 24 16:29:48 2023 +0100 +++ b/util/startup.lua Sun Mar 26 00:11:42 2023 +0100 @@ -233,7 +233,7 @@ if info.isvararg then info[n_params+1] = "..."; end - return ("function<%s:%d>(%s)"):format(info.short_src:match("[^\\/]*$"), info.linedefined, table.concat(info, ", ")); + return ("function @%s:%d(%s)"):format(info.short_src:match("[^\\/]*$"), info.linedefined, table.concat(info, ", ")); end debug.setmetatable(function() end, mt); end