Uh oh!
There was an error while loading. Please reload this page.
Move gensym operations from Symbol to Ident - #60903
Merged
bors merged 3 commits intoMay 21, 2019
Merged
Conversation
Contributor
There was a problem hiding this comment.
Suggested change
| /// constructs a new identifier from a symbol and a span. | |
| /// Constructs a new identifier from a symbol and a span. |
petrochenkov
commented
May 17, 2019
Contributor
r=me after rebase |
nnethercoteforce-pushed
the
mv-gensyms-from-Symbol-to-Ident
branch
from
May 19, 2019 23:09
17b5966 to
ad5dd49Comparennethercote
commented
May 19, 2019
ContributorAuthor
@bors try |
bors
commented
May 19, 2019
Collaborator
bors added a commit
that referenced
this pull request
May 19, 2019
…=<try> Move gensym operations from `Symbol` to `Ident` Gensyms are always at the `Ident` level, and long-term we probably want to record gensym-ness in hygiene data. r? @petrochenkov
nnethercoteforce-pushed
the
mv-gensyms-from-Symbol-to-Ident
branch
from
May 19, 2019 23:11
ad5dd49 to
8a96f26Comparebors
commented
May 20, 2019
Collaborator
☔ The latest upstream changes (presumably #60969) made this pull request unmergeable. Please resolve the merge conflicts. |
Note that the `is_gensymed` call on `primitive_types` is unnecessary because that table only contains the name of primitive types (e.g. `i32`) and never contains gensyms.
nnethercoteforce-pushed
the
mv-gensyms-from-Symbol-to-Ident
branch
from
May 20, 2019 04:47
8a96f26 to
88d2999Comparennethercote
commented
May 20, 2019
ContributorAuthor
@bors try |
bors
commented
May 20, 2019
Collaborator
bors added a commit
that referenced
this pull request
May 20, 2019
…=<try> Move gensym operations from `Symbol` to `Ident` Gensyms are always at the `Ident` level, and long-term we probably want to record gensym-ness in hygiene data. r? @petrochenkov
bors
commented
May 20, 2019
Collaborator
☀️ Try build successful - checks-travis |
nnethercote
commented
May 20, 2019
ContributorAuthor
@rust-timer build e67ebe6 |
rust-timer
commented
May 20, 2019
Collaborator
Success: Queued e67ebe6 with parent 128b4c8, comparison URL. |
rust-timer
commented
May 20, 2019
Collaborator
Finished benchmarking try commit e67ebe6: comparison url |
nnethercote
commented
May 21, 2019
ContributorAuthor
It's a slight performance regression, but I think it's necessary to take at some point in order to move gensym-ness away from symbols. We've had a bunch of significantly larger performance improvements related to symbol handling recently, which more than make up for this. @bors r=petrochenkov |
bors
commented
May 21, 2019
Collaborator
📌 Commit 88d2999 has been approved by |
bors added a commit
that referenced
this pull request
May 21, 2019
…=petrochenkov Move gensym operations from `Symbol` to `Ident` Gensyms are always at the `Ident` level, and long-term we probably want to record gensym-ness in hygiene data. r? @petrochenkov
bors
commented
May 21, 2019
Collaborator
bors
commented
May 21, 2019
Collaborator
☀️ Test successful - checks-travis, status-appveyor |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for freeto join this conversation on GitHub.
Already have an account?
Sign in to comment
5 participants
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.
Gensyms are always at the
Identlevel, and long-term we probably want to record gensym-ness in hygiene data.r? @petrochenkov