python / mypy

Optional static typing for Python
https://www.mypy-lang.org/
Other
18.52k stars 2.83k forks source link

Diagnostic levels are kind of a mess #6574

Closed msullivan closed 5 years ago

msullivan commented 5 years ago

The current situation is:

We emit very few warnings, so I think the right approach is to just eliminate them (and "bare" notes emitted without an error) and turn them all into errors.

The other approach would be to make warnings able to not cause an error return and to reclassify certain warnings as errors. I don't have a real problem with this other than not wanting to do that reclassification. Doing the first would not prevent us from doing this in the future.

ilevkivskyi commented 5 years ago

https://github.com/python/mypy/pull/6472 looks related (in the sense it also tries to add some systematics to error reporting).