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

Remove useless parameter script_path of main() #13399

Merged
merged 2 commits into from
Aug 14, 2022

Conversation

97littleleaf11
Copy link
Collaborator

script_path was entirely useless since bin_dir had been dropped long time ago by #5690

Copy link
Collaborator

@hauntsaninja hauntsaninja left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Can we switch to using keyword-only args? There are people who use mypy.main directly and this will ensure they break in obvious ways.

@97littleleaf11
Copy link
Collaborator Author

Can we switch to using keyword-only args? There are people who use mypy.main directly and this will ensure they break in obvious ways.

Make sense!

@github-actions

This comment has been minimized.

@github-actions
Copy link
Contributor

According to mypy_primer, this change has no effect on the checked open source code. 🤖🎉

@97littleleaf11 97littleleaf11 merged commit 599af7f into python:master Aug 14, 2022
@97littleleaf11 97littleleaf11 deleted the fix-main branch August 14, 2022 18:40
rpmcginty added a commit to rpmcginty/dataclasses-json that referenced this pull request Sep 27, 2022
Last month, a mypy change was released that made all arguments
for the mypy.main method keyword only.

python/mypy#13399

The alternative to this change is to freeze your version of mypy
lidatong pushed a commit to lidatong/dataclasses-json that referenced this pull request Mar 18, 2023
…374)

Last month, a mypy change was released that made all arguments
for the mypy.main method keyword only.

python/mypy#13399

The alternative to this change is to freeze your version of mypy
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.

2 participants