Gustavo Niemeyer wrote:
> >>> print set.discard.__doc__
> Remove an element from a set if it is a member.
Actually I'd like this for lists. Often I find myself
writing
if x not in somelist:
somelist.remove(x)
A single method for doing this would be handy, and
more efficient.
--
Greg
_______________________________________________
Python-Dev mailing list
[email protected]
http://mail.python.org/mailman/listinfo/python-dev
Unsubscribe:
http://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
