# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1337881878 -3600
# Node ID 8c5b5ebaacb01a6a5e74d9768de0e0bbefe263c9
# Parent  32b638a8da5ba0a145413854e11208a284d1c5e2
util.set: Change '/' operator from filter to map+filter (nil to drop from set, false is a valid item). No code found which depends on current behaviour.

diff -r 32b638a8da5b -r 8c5b5ebaacb0 util/set.lua
--- a/util/set.lua	Thu May 24 03:33:14 2012 +0100
+++ b/util/set.lua	Thu May 24 18:51:18 2012 +0100
@@ -26,8 +26,9 @@
 	local new_set, new_items = _M.new();
 	local items, new_items = set._items, new_set._items;
 	for item in pairs(items) do
-		if func(item) then
-			new_items[item] = true;
+		local new_item = func(item);
+		if new_item ~= nil then
+			new_items[new_item] = true;
 		end
 	end
 	return new_set;