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
I'm thinking of adding non-trivial documentation for each error code, as this would also serve as documentation about the kinds of issues mypy can find.
Probably this was already discussed elsewhere, but maybe we should add a command flag like --list-error-codes that will just print a simple table like error-code: Short description like in errorcodes.py?
Activity
ilevkivskyi commentedon Aug 14, 2019
Probably this was already discussed elsewhere, but maybe we should add a command flag like
--list-error-codesthat will just print a simple table likeerror-code: Short description like in errorcodes.py?JukkaL commentedon Aug 14, 2019
@ilevkivskyi Yeah, that was the idea. I'll create an issue.
JukkaL commentedon Sep 27, 2019
This was implemented in #7451.