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