[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.


Gustavo Niemeyer

More information about the Python-Dev mailing list