1.1 --- a/micropython/common.py Fri May 11 00:20:56 2012 +0200
1.2 +++ b/micropython/common.py Mon May 14 00:19:56 2012 +0200
1.3 @@ -88,6 +88,9 @@
1.4 if not self.has_key(obj):
1.5 self[obj] = set()
1.6
1.7 + def issubset(self, other):
1.8 + return set(self).issubset(other)
1.9 +
1.10 # Dictionary and related methods.
1.11
1.12 def __getitem__(self, key):
1.13 @@ -170,6 +173,9 @@
1.14
1.15 for old_dict in dicts:
1.16 for key, value in old_dict.items():
1.17 +
1.18 + # Add existing mappings within an object set.
1.19 +
1.20 if not new_dict.has_key(key):
1.21 if value is not None:
1.22 new_dict[key] = ObjectSet(value)