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

Replace Idents with Names in HIR (Part 1) #28535

Merged
merged 8 commits into from
Sep 23, 2015
Merged

Conversation

petrochenkov
Copy link
Contributor

Part of #6993

This patch replaces Idents with Names in data structures of HIR and updates the dependent crates to compile and pass make check.
Some HIR structures still use Idents, namely PathSegment, PatIdent, ExprWhile, ExprLoop, ExprBreak and ExprAgain, they need them for resolve (but PathSegment is special, see #6993 (comment)).

r? @nrc

@bors
Copy link
Contributor

bors commented Sep 20, 2015

☔ The latest upstream changes (presumably #28429) made this pull request unmergeable. Please resolve the merge conflicts.

@nrc
Copy link
Member

nrc commented Sep 22, 2015

r=me with the minor fold change

@petrochenkov
Copy link
Contributor Author

@nrc
Updated.

@nrc
Copy link
Member

nrc commented Sep 22, 2015

@bors: r+

@bors
Copy link
Contributor

bors commented Sep 22, 2015

📌 Commit 0af8e47 has been approved by nrc

@bors
Copy link
Contributor

bors commented Sep 23, 2015

⌛ Testing commit 0af8e47 with merge b2f379c...

bors added a commit that referenced this pull request Sep 23, 2015
Part of #6993

This patch replaces `Ident`s with `Name`s in data structures of HIR and updates the dependent crates to compile and pass `make check`.
Some HIR structures still use `Ident`s, namely `PathSegment`, `PatIdent`, `ExprWhile`, `ExprLoop`, `ExprBreak` and `ExprAgain`,  they need them for resolve (but `PathSegment` is special, see #6993 (comment)).

r? @nrc
@bors bors merged commit 0af8e47 into rust-lang:master Sep 23, 2015
@bors bors mentioned this pull request Sep 23, 2015
@petrochenkov petrochenkov deleted the name branch September 23, 2015 12:28
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.

3 participants