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

Reply via email to