Re: [Python-Dev] Announcing PEP 3136

Yuvgoog Greenle wrote:

When is the else after a loop executed? 1. When the loop isn't entered at all. 2. When the loop terminates through exhaustion of the list (does this include when the list was empty?) 3. When the loop didn't exit because of a break statement.

1 and 3 are just special cases of 2, when you include the empty-list case. So you're making it more complicated in your mind than it really is.

Any chances of cleaning this one up for python 4?

I doubt that many other people will see anything here that needs cleaning up. -- Greg