Uh oh!
There was an error while loading. Please reload this page.
gh-109125: Run mypy on Tools/wasm - #109126
Conversation
Uh oh!
There was an error while loading. Please reload this page.
| python_version = 3.8 | ||
| # Be strict... | ||
| strict = True |
There was a problem hiding this comment.
Will this mean all code in this directory must be fully typed?
There was a problem hiding this comment.
We can ignore any code that is not typed:
- Via adding global
disallow_incomplete_defs = false - Via per-file ignores
- Via inline
# type: ignore
For now, yes, all code must be typed. Do you want to add disallow_incomplete_defs = false?
There was a problem hiding this comment.
Do you want to add
disallow_incomplete_defs = false?
Yes please.
brettcannon
left a comment
There was a problem hiding this comment.
Changing my review to make type checking opt-in per-file, but other LGTM.
bedevere-bot
commented
Sep 9, 2023
A Python core developer has requested some changes be made to your pull request before we can consider merging it. If you could please address their requests along with any other requests in other reviews from core developers that would be appreciated. Once you have made the requested changes, please leave a comment on this pull request containing the phrase |
sobolevn
commented
Sep 11, 2023
Done! I have made the requested changes; please review again |
bedevere-bot
commented
Sep 11, 2023
Thanks for making the requested changes! @brettcannon: please review the changes made to this pull request. |
sobolevn
commented
Sep 16, 2023
@brettcannon updated branch to fix freebsd unrelated failire |
hugovk
left a comment
There was a problem hiding this comment.
And backport to 3.12?
(We don't yet have .github/workflows/mypy.yml in 3.11.)
Uh oh!
There was an error while loading. Please reload this page.
miss-islington
commented
Sep 19, 2023
miss-islington
commented
Sep 19, 2023
Sorry, @sobolevn and @hugovk, I could not cleanly backport this to |
(cherry picked from commit f65497f) Co-authored-by: Nikita Sobolev <mail@sobolevn.me>
GH-109561 is a backport of this pull request to the 3.12 branch. |
bedevere-bot
commented
Sep 19, 2023
|
bedevere-bot
commented
Sep 19, 2023
|
bedevere-bot
commented
Sep 19, 2023
|
bedevere-bot
commented
Sep 19, 2023
|
Some comments:
type: ignorecan be removed later, when we add these members totypeshed/PurePathtoPath, because they were using.exists()method, which does not exist onPurePathand goes againts its purposerun_pyto returnint, because that's what similar methods doTools/wasm#109125