Message42903
Logged In: YES
user_id=80475
The patch looks fine. Assigning to Guido for
pronouncement.
Guido, the patch adds optional get() like functionality for
dict.pop(). The nearest parallel is the default argument for
getattr(obj, attr, [default]). On the plus side, it makes pop
easier to use and more flexible. On the minus side, it adds
more complexity to the mapping interface and it slows
down the normal case for d.pop(k).
If it is accepted the poster should add test cases, a NEWS
item, doc updates, and parallel changes to
UserDict.UserDict and UserDict.DictMixin. Then, re-assign
to me and I'll check it all and apply it.
|
|
Date |
User |
Action |
Args |
2007-08-23 15:20:47 | admin | link | issue693753 messages |
2007-08-23 15:20:47 | admin | create | |
|