KEMBAR78
Fix incomplete error codes documentation by revolter · Pull Request #9799 · python/mypy · GitHub
Skip to content

Conversation

revolter
Copy link
Contributor

Have you read the Contributing Guidelines?

(Once you have, delete this section. If you leave it in, your PR may be closed without action.)

Description

(Explain how this PR changes mypy.)

Test Plan

(Write your test plan here. If you changed any code, please provide us with clear instructions on how you verified your changes work.)

@TH3CHARLie
Copy link
Collaborator

@revolter
Copy link
Contributor Author

Indeed, but after Googling something, I found https://mypy.readthedocs.io/en/stable/error_codes.html instead. And, because there are 2 ways to do 1 thing, it doesn't make sense to mention only one in a generic article like the "Error codes" one.

@revolter
Copy link
Contributor Author

revolter commented Feb 6, 2021

Do you think that this small change has any drawbacks?

@JelleZijlstra
Copy link
Member

I don't think a small amount of redundancy in the documentation hurts.

@JelleZijlstra JelleZijlstra merged commit 11d4fb2 into python:master Feb 7, 2021
@revolter revolter deleted the patch-1 branch February 7, 2021 14:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants