-
Notifications
You must be signed in to change notification settings - Fork 12.7k
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
Remove the grammar. #55545
Remove the grammar. #55545
Conversation
This is completely vestigial, and we have a grammar WG whose job it is to handle the grammar.
@qmx is WG-grammar lead. I use |
Clarification: I'd like us to remove this eventually, but I think it's too soon. |
cc @rust-lang/wg-grammar |
The job Click to expand the log.
I'm a bot! I can only do what humans tell me to, so if this was not helpful or you have suggestions for improvements, please ping or otherwise contact |
Added rust-lang/wg-grammar#9 to track this work lest we forget. Hopefully we'll be able to get to this soon! |
Ping from triage @qmx / @rust-lang/wg-grammar: Do I understand correctly, that this PR shouldn't be merged for now? |
@TimNN yes, that is correct - feel free to close this PR and we'll get back to it later |
Remove legacy grammar Revival of rust-lang#50835 & rust-lang#55545 On the #wg-grammar discord there was agreement that enough progress has been made to be able to remove the legacy grammar. r? @Centril @qmx cc @rust-lang/wg-grammar
Remove legacy grammar Revival of rust-lang#50835 & rust-lang#55545 On the #wg-grammar discord there was agreement that enough progress has been made to be able to remove the legacy grammar. r? @Centril @qmx cc @rust-lang/wg-grammar
This is completely vestigial, and we have a grammar WG whose job it is to handle the grammar.
This is a revival of #50835; if accepted, I'll have to update the reference as well.
r? @rust-lang/lang i think? I forget who is the lead of wg-grammar. @nikomatsakis ?