You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
perhaps when mypy should be re-run after --install-types, the exit code should be 3 #19808
Frankly, this is a mess. Code 2 should not be used for --install-types or blocking errors IMO - 2 is de-facto standard for "please do not invoke me like this". "Run again" and "invalid syntax" have so little in common that I struggle to understand the reason to combine them under one code.
It would probably be acceptable to pick whatever we want to be the exit code --install-types gives when mypy needs to be re-run afterwards, but 3 seems a good choice.
Activity
wyattscarpenter commentedon Sep 19, 2025
Maybe 3 should be for mypy internal errors (what do these currently return?) and 4 should be for the install types thing 🤔