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

Improve pyrepl type-annotation coverage #119081

Merged
merged 1 commit into from
May 17, 2024

Conversation

AlexWaygood
Copy link
Member

Some more low-hanging fruit to improve the coverage of type annotations in Lib/_pyrepl, which should improve mypy's ability to spot issues in CI. This gets the number of mypy complaints down from 35 to 14 if you run mypy --config-file Lib/_pyrepl/mypy.ini --disallow-untyped-calls

@AlexWaygood AlexWaygood requested review from ambv and pablogsal May 16, 2024 00:49
@AlexWaygood AlexWaygood added the topic-repl Related to the interactive shell label May 16, 2024
@AlexWaygood AlexWaygood merged commit 033f5c8 into python:main May 17, 2024
45 checks passed
@AlexWaygood AlexWaygood deleted the pyrepl-annotations branch May 17, 2024 10:13
@lysnikolaou lysnikolaou added the needs backport to 3.13 bugs and security fixes label May 22, 2024
@miss-islington-app
Copy link

Thanks @AlexWaygood for the PR 🌮🎉.. I'm working now to backport this PR to: 3.13.
🐍🍒⛏🤖

miss-islington pushed a commit to miss-islington/cpython that referenced this pull request May 22, 2024
(cherry picked from commit 033f5c8)

Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>
@bedevere-app
Copy link

bedevere-app bot commented May 22, 2024

GH-119415 is a backport of this pull request to the 3.13 branch.

@bedevere-app bedevere-app bot removed the needs backport to 3.13 bugs and security fixes label May 22, 2024
lysnikolaou pushed a commit that referenced this pull request May 22, 2024
(cherry picked from commit 033f5c8)

Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>
estyxx pushed a commit to estyxx/cpython that referenced this pull request Jul 17, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
skip issue skip news topic-repl Related to the interactive shell
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants