util.array: Add support for + operator to create a new array from two arrays joined

diff --git a/util/array.lua b/util/array.lua
index 8b9102bf13da9ec8f08c5310a61350733e6e7199..05e035dfbae8c99a99babd695ce0a2acab9e730a 100644 (file)
--- a/util/array.lua
+++ b/util/array.lua
@@ -5,6 +5,11 @@ local function new_array(_, t)
        return setmetatable(t or {}, array_mt);
 end
 
+function array_mt.__add(a1, a2)
+       local res = new_array();
+       return res:append(a1):append(a2);
+end
+
 setmetatable(array, { __call = new_array });
 
 function array:map(func, t2)