On Tue, Oct 15, 2013 at 8:27 AM, Antoine Pitrou <solip...@pitrou.net> wrote:
>> I've come to the conclusion it makes sense to rename it from ignore to
>> suppress, since that's the term already used for this operation in the
>> rest of the context management docs: http://bugs.python.org/issue19266
>
> "suppress" and/or "trap" (which I believe is a common name for such
> operation).

+0 for s/ignore/suppress/

-1 for trap/catch or anything similar that would imply that

with trap(Error) as e:
   ...

would make any sense.
_______________________________________________
Python-Dev mailing list
Python-Dev@python.org
https://mail.python.org/mailman/listinfo/python-dev
Unsubscribe: 
https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com

Reply via email to