Message119802
I agree with the OP's request.
d.pop(k) is conceptually equivalent to:
r = d[k] # raises KeyError(k)
del d[k]
return r
The current message was probably borrowed from dict.popitem(). But that is much different since the dict.pop(k) method is key-specific (instead of size related).
This fix should be backported (as it doesn't change guaranteed behaviors but does improve the debugability). |
|
Date |
User |
Action |
Args |
2010-10-28 16:37:52 | rhettinger | set | recipients:
+ rhettinger, belopolsky, giampaolo.rodola, djc |
2010-10-28 16:37:52 | rhettinger | set | messageid: <1288283872.68.0.20059652253.issue10221@psf.upfronthosting.co.za> |
2010-10-28 16:37:50 | rhettinger | link | issue10221 messages |
2010-10-28 16:37:50 | rhettinger | create | |
|