util/startup.lua
changeset 11154 0cfa36fa707e
parent 11153 28add4b22a74
child 11156 89162d27e1b1
--- 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