On 10/11/2013 09:05 PM, Ethan Furman wrote:
On 10/11/2013 07:47 PM, Stephen J. Turnbull wrote:
Nick Coghlan writes:
> (RDM is also right that the exception still has the effect of
> terminating the block early, but I view names as mnemonics rather
> than necessarily 100% accurate descriptions of things).
While I agree that mnemonics are helpful in the right circumstances, these
aren't them, not for this name. We aren't
/just/ ignoring the exception, the exception is having a very real effect --
it's terminating the with block.
In case it wasn't clear (and it wasn't to me on rereading it ;) this comment was towards Nick, not Stephen. break_on
reads just fine to me, although leave_on is probably better.
--
~Ethan~
_______________________________________________
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