changeset 12990 | 895a82c5d8d4 |
parent 11792 | 1ceee8becb1a |
child 13037 | a863e4237b91 |
--- a/util/set.lua Sun Mar 26 00:49:25 2023 +0100 +++ b/util/set.lua Sun Mar 26 13:07:20 2023 +0200 @@ -189,6 +189,15 @@ return t_concat(s, ", "); end +function set_mt.__freeze(set) + local s = {}; + for item in pairs(set._items) do + s[#s + 1] = item; + end + return s; +end + + return { new = new; is_set = is_set;