changeset 13249 | ffe4adbd2af9 |
parent 13145 | 451cb119026e |
child 13252 | db433ed3135c |
--- a/util/array.lua Sat Jul 22 16:20:36 2023 +0200 +++ b/util/array.lua Sat Jul 22 16:31:05 2023 +0200 @@ -36,7 +36,9 @@ return setmetatable(t or {}, array_mt); end -array.new = new_array; +function array.new(t) + return setmetatable(t or {}, array_mt); +end function array_mt.__add(a1, a2) local res = new_array();