aboutsummaryrefslogtreecommitdiffstats
path: root/util
diff options
context:
space:
mode:
Diffstat (limited to 'util')
-rw-r--r--util/set.lua9
1 files changed, 9 insertions, 0 deletions
diff --git a/util/set.lua b/util/set.lua
index 69dfef5d..a2704f6c 100644
--- a/util/set.lua
+++ b/util/set.lua
@@ -189,6 +189,15 @@ function set_mt.__tostring(set)
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;