[issue47202] Feature request: Throw an error when making impossible evaluation against an empty list

2022-04-02 Thread Eric V. Smith
Eric V. Smith added the comment: As Jelle says, this can't be a runtime Exception. At best mypy or a linter could make iterating over an known empty list (like a literal []) a warning, not an error as suggested by the OP. I sometimes "comment out" loops by doing something like: for i in

[issue47202] Feature request: Throw an error when making impossible evaluation against an empty list

2022-04-02 Thread Luminair
Luminair added the comment: Thank you for the quick response Jelle! I do like mypy, and I will file this with them. Good luck with the migration to GitHub :) -- ___ Python tracker

[issue47202] Feature request: Throw an error when making impossible evaluation against an empty list

2022-04-02 Thread Jelle Zijlstra
Jelle Zijlstra added the comment: This sort of thing would be better caught by a linter or type checker. For example, mypy with the `--warn-unreachable` option will flag the `while None:` example. Iterating over an empty list will not currently be caught by mypy, but it's common in real

[issue47202] Feature request: Throw an error when making impossible evaluation against an empty list

2022-04-02 Thread Luminair
New submission from Luminair : Below are four examples of impossible code that operates on nothing. The latter two continue silently, throwing no errors. I saw a bug sneak by because of this. I wonder if it is within the scope of Python's design to throw Exceptions in these situations? x =