Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
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
Only run translation stage in optimization loop if necessary #6940
Only run translation stage in optimization loop if necessary #6940
Changes from 35 commits
195e4e1
904d81e
b951b71
d9b6132
92f9606
b9abc24
a205725
eeb5b78
3f2b815
17eb708
593b6d0
f339588
2dd7321
87cb46d
0d7e226
f8fdb06
b65e9ed
e461aa8
3c596fe
97b69cc
b0c4d7b
0446793
914429f
5c18599
c42ef92
328a3a1
63d4c71
36d23a6
a91e23e
b4ded60
c791322
b8ddc0b
c4b9d8f
422e091
68a6521
0e5478f
1f0104a
646ff82
451b399
92bb65e
bfc4b3a
9ce384f
6d61551
7b52dfd
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
It's not everyday there's a ~valid usage for
nonlocal
.