Emily Morehouse added the comment:

The logic in your proof is certainly sound. The only time that the else 
statement within Clause 4 (to use terminology from the proof) would execute is 
either 
  1) if margin is equal to indent, which is handled in Clause 2, or 
  2) if the margin is None, which is handled in Clause 1.

I support this PR. On a related note, I feel that the existing comments could 
clearer illustrate this. Specifically, it is unclear that Clause 2 will also 
catch cases where margin and indent are equal.

----------
nosy: +emilyemorehouse

_______________________________________
Python tracker <rep...@bugs.python.org>
<http://bugs.python.org/issue30620>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe: 
https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com

Reply via email to