Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Document error codes #7340

Closed
JukkaL opened this issue Aug 14, 2019 · 3 comments
Closed

Document error codes #7340

JukkaL opened this issue Aug 14, 2019 · 3 comments

Comments

@JukkaL
Copy link
Collaborator

JukkaL commented Aug 14, 2019

Follow-up to #7239.

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.

@ilevkivskyi
Copy link
Member

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?

@JukkaL
Copy link
Collaborator Author

JukkaL commented Aug 14, 2019

@ilevkivskyi Yeah, that was the idea. I'll create an issue.

@JukkaL
Copy link
Collaborator Author

JukkaL commented Sep 27, 2019

This was implemented in #7451.

@JukkaL JukkaL closed this as completed Sep 27, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants