equal
deleted
inserted
replaced
4 local char = string.char; |
4 local char = string.char; |
5 local loadfile, setfenv, pcall = loadfile, setfenv, pcall; |
5 local loadfile, setfenv, pcall = loadfile, setfenv, pcall; |
6 local log = log; |
6 local log = log; |
7 local io_open = io.open; |
7 local io_open = io.open; |
8 local os_remove = os.remove; |
8 local os_remove = os.remove; |
9 local tostring = tostring; |
9 local tostring, tonumber = tostring, tonumber; |
10 local error = error; |
10 local error = error; |
11 local next = next; |
11 local next = next; |
12 local t_insert = table.insert; |
12 local t_insert = table.insert; |
13 |
13 |
14 local indent = function(f, i) |
14 local indent = function(f, i) |