Skip to content

syntax: Remove some legacy nonterminal tokens - #60750

Merged
bors merged 1 commit into
rust-lang:masterfrom
petrochenkov:noquotok2
May 12, 2019
Merged

syntax: Remove some legacy nonterminal tokens#60750
bors merged 1 commit into
rust-lang:masterfrom
petrochenkov:noquotok2

Conversation

@petrochenkov

Copy link
Copy Markdown
Contributor

They were used by legacy quote macros removed in #51285.

@Mark-Simulacrum

Copy link
Copy Markdown
Member

r=me with Travis passing unless you want to get a review from someone in particular

@Centril

Copy link
Copy Markdown
Contributor

r? @Mark-Simulacrum

@petrochenkov

Copy link
Copy Markdown
ContributorAuthor

@bors r=Mark-Simulacrum rollup

@bors

bors commented May 12, 2019

Copy link
Copy Markdown
Collaborator

📌 Commit 14b3538 has been approved by Mark-Simulacrum

@borsbors added the S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. label May 12, 2019
Centril added a commit to Centril/rust that referenced this pull request May 12, 2019
…lacrum
syntax: Remove some legacy nonterminal tokens
They were used by legacy quote macros removed in rust-lang#51285.
@CentrilCentril mentioned this pull request May 12, 2019
bors added a commit that referenced this pull request May 12, 2019
Rollup of 4 pull requests
Successful merges:
- #60694 (Fix HIR printing of existential type #60662)
- #60750 (syntax: Remove some legacy nonterminal tokens)
- #60751 (Assorted cleanup in parser & AST validation)
- #60752 (Fix minor typos for ItemLocalId)
Failed merges:
r? @ghost
@bors
bors merged commit 14b3538 into rust-lang:masterMay 12, 2019
@bors

bors commented May 12, 2019

Copy link
Copy Markdown
Collaborator

⌛ Testing commit 14b3538 with merge 4443957...

@petrochenkov
petrochenkov deleted the noquotok2 branch June 5, 2019 16:37
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-borsStatus: Waiting on bors to run and complete tests. Bors will change the label on completion.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants

@petrochenkov@Mark-Simulacrum@Centril@bors