[Python-Dev] dict.discard

Gustavo Niemeyer gustavo at niemeyer.net
Thu Sep 21 15:42:49 CEST 2006


Hey guys,

After trying to use it a few times with no success :-), I'd like
to include a new method, dict.discard, mirroring set.discard:

  >>> print set.discard.__doc__
  Remove an element from a set if it is a member.
  
  If the element is not a member, do nothing.

Comments?

-- 
Gustavo Niemeyer
http://niemeyer.net


More information about the Python-Dev mailing list