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

Python: Allow type tracking through comprehensions #17653

Open
wants to merge 3 commits into
base: main
Choose a base branch
from

Conversation

yoff
Copy link
Contributor

@yoff yoff commented Oct 3, 2024

  • the subscript operator is extended to comprehensions
  • the capture jump-step is extended to work for the functions generated inside comprehensions

Pull Request checklist

All query authors

Internal query authors only

  • Autofixes generated based on these changes are valid, only needed if this PR makes significant changes to .ql, .qll, or .qhelp files. See the documentation (internal access required).
  • Changes are validated at scale (internal access required).
  • Adding a new query? Consider also adding the query to autofix.

- the subscript operator is extended to comprehensions
- the capture jump-step is extended to work for the functions generated inside comprehensions
@github-actions github-actions bot added the Python label Oct 3, 2024
@yoff yoff marked this pull request as ready for review October 3, 2024 08:10
@yoff yoff requested a review from a team as a code owner October 3, 2024 08:10
@yoff yoff added Awaiting evaluation Do not merge yet, this PR is waiting for an evaluation to finish and removed documentation labels Oct 3, 2024
@yoff
Copy link
Contributor Author

yoff commented Oct 3, 2024

Possibly a small performance penalty, but reasonable for the added flow:

source a_m a_std b_m b_std diff relative
Median (excl. partials)         1 0.0156
Overall (excl. partials) 3944   3969   25 0.00634

@yoff yoff removed the Awaiting evaluation Do not merge yet, this PR is waiting for an evaluation to finish label Oct 3, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant