Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Improve performance for errors on class with many attributes#14379

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 ourterms of service andprivacy statement. We’ll occasionally send you account related emails.

Already on GitHub?Sign in to your account

Merged
hauntsaninja merged 4 commits intopython:masterfromhauntsaninja:match-perf
Jan 3, 2023

Conversation

@hauntsaninja
Copy link
Collaborator

@hauntsaninjahauntsaninja commentedJan 3, 2023
edited
Loading

When checking manticore with--check-untyped-defs, this is a 4x total speedup from master, from ~320s to ~80s (uncompiled).

I looked into this because ofpython/typeshed#9443 (comment)

AlexWaygood reacted with heart emojiJukkaL and AlexWaygood reacted with rocket emoji
When checking manticore with `--check-untyped-defs`, this is a 4x totalspeedup from master, from ~320s to ~80s.I looked into this because ofpython/typeshed#9443 (comment)
@hauntsaninja
Copy link
CollaboratorAuthor

cc@AlexWaygood

@github-actions

This comment has been minimized.

@github-actions
Copy link
Contributor

Diff frommypy_primer, showing the effect of this PR on open source code:

sublime_debugger (https://github.com/daveleroy/sublime_debugger)- modules/views/breakpoints_panel.py:72: error: "object" has no attribute "__iter__"; maybe "__str__" or "__dir__"? (not iterable)  [attr-defined]+ modules/views/breakpoints_panel.py:72: error: "object" has no attribute "__iter__"; maybe "__dir__" or "__str__"? (not iterable)  [attr-defined]discord.py (https://github.com/Rapptz/discord.py)- discord/app_commands/models.py:198: error: "object" has no attribute "__iter__"; maybe "__str__" or "__dir__"? (not iterable)  [attr-defined]+ discord/app_commands/models.py:198: error: "object" has no attribute "__iter__"; maybe "__dir__" or "__str__"? (not iterable)  [attr-defined]- discord/app_commands/models.py:867: error: "object" has no attribute "__iter__"; maybe "__str__" or "__dir__"? (not iterable)  [attr-defined]+ discord/app_commands/models.py:867: error: "object" has no attribute "__iter__"; maybe "__dir__" or "__str__"? (not iterable)  [attr-defined]- discord/app_commands/models.py:868: error: "object" has no attribute "__iter__"; maybe "__str__" or "__dir__"? (not iterable)  [attr-defined]+ discord/app_commands/models.py:868: error: "object" has no attribute "__iter__"; maybe "__dir__" or "__str__"? (not iterable)  [attr-defined]- discord/app_commands/models.py:966: error: "object" has no attribute "__iter__"; maybe "__str__" or "__dir__"? (not iterable)  [attr-defined]+ discord/app_commands/models.py:966: error: "object" has no attribute "__iter__"; maybe "__dir__" or "__str__"? (not iterable)  [attr-defined]- discord/channel.py:2970: error: "object" has no attribute "__iter__"; maybe "__str__" or "__dir__"? (not iterable)  [attr-defined]+ discord/channel.py:2970: error: "object" has no attribute "__iter__"; maybe "__dir__" or "__str__"? (not iterable)  [attr-defined]streamlit (https://github.com/streamlit/streamlit)- lib/tests/streamlit/elements/exception_test.py:87:13: error: Module has no attribute "format"; maybe "form"?  [attr-defined]+ lib/tests/streamlit/elements/exception_test.py:87:13: error: Module has no attribute "format"  [attr-defined]

@hauntsaninjahauntsaninja merged commitf104914 intopython:masterJan 3, 2023
@hauntsaninjahauntsaninja deleted the match-perf branchJanuary 3, 2023 07:47
Sign up for freeto join this conversation on GitHub. Already have an account?Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@hauntsaninja

[8]ページ先頭

©2009-2025 Movatter.jp