Skip to content

Conversation

@ChayimFriedman2
Copy link
Contributor

@ChayimFriedman2 ChayimFriedman2 commented Dec 16, 2025

It can be confused with the real Rust ungram, now that they're in the same repo.

I don't want to self-approve this, in case someone disagrees.

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Dec 16, 2025
It can be confused with the real Rust ungram, now that they're in the same repo.
@ChayimFriedman2 ChayimFriedman2 force-pushed the remove-rust-outdated-ungram branch from ec0c778 to 32d5092 Compare December 16, 2025 19:59
@ShoyuVanilla
Copy link
Member

I was confused by this several times 😅 But I'm not sure whether the crate itself needs it

@ChayimFriedman2
Copy link
Contributor Author

But I'm not sure whether the crate itself needs it

What do you mean?

@ShoyuVanilla
Copy link
Member

I mean, will it break something, as there might be some reason it exists there 😅

@ChayimFriedman2
Copy link
Contributor Author

AFAIK it is just an example of how to use the crate.

Copy link
Member

@ShoyuVanilla ShoyuVanilla left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

AFAIK it is just an example of how to use the crate.

Yeah, it seems so. Though it exposes fn rust_grammar() as a public API, rust.ungram file is already a year old, the last release for ungrammar in crates.io is more than 3 years old and every dependent of it seems not using that API. So I think this is okay to remove.

@ShoyuVanilla ShoyuVanilla added this pull request to the merge queue Dec 17, 2025
Merged via the queue into rust-lang:master with commit e500b2e Dec 17, 2025
15 checks passed
@rustbot rustbot removed the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Dec 17, 2025
@ChayimFriedman2 ChayimFriedman2 deleted the remove-rust-outdated-ungram branch December 17, 2025 11:12
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