-
Notifications
You must be signed in to change notification settings - Fork 3k
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
Removing type ignore comments from cli package #7932
Conversation
ffd9844
to
e144c7b
Compare
Hi @pradyunsg As per my comment here #7932 (comment) justifying my usage of I'll also tackle some of the remaining |
I don't want us to add getattr here because of mypy - in general, if we have to add something that we won't do while writing normal code, like a getattr w/ a static string, we shouldn't do that. Could you revert those changes? We can revisit them in a separate PR. |
No worries, I will revert them. Should I then try to handle other |
When in doubt, I have a bias toward smaller PRs. :) |
e482c74
to
ed709c1
Compare
Agreed @pradyunsg . I have gone ahead and reverted the changes which removed If rest of the changes look good, please go ahead and approve/merge the PR 😊 |
Hi @pradyunsg , @xavfernandez If the changes look good here, could I get this PR approved/merged 😊 |
If there are no more changes needed to this PR, may I get this PR approved? |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Does the #type: ignore
comment here at line 274 also raises some error?
ed709c1
to
89f248c
Compare
Yep, If I remove the
I get There is python/mypy#5868 on why this fails and https://mypy.readthedocs.io/en/stable/more_types.html#mixin-classes which provides some suggestions about how to fix it, which I might take a stab at in subsequent PRs after this one is approved/merged. |
We should add |
Thanks @pradyunsg for the approval and merge 😊 |
First stab at fixing #7764
I have initially removed the ones which can be removed and are more straightforward to remove. There are still some remaining which are slightly more non-trivial which I will try in the next commits