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

Support the macro_pat parsing object #101

Merged

Conversation

pratapsingh1729
Copy link
Contributor

In Vest there is the macro inj_ord_choice_pat! which uses the pat capture for macro_rules! macros. Currently verusfmt fails on uses of this macro ERROR Unsupported parsing object 'macro_pat'.

This PR adds support for this parsing object. I added a small test to the Verus consistency tests. Happy to change or move the test as necessary.

Copy link
Collaborator

@jaybosamiya-ms jaybosamiya-ms left a comment

Choose a reason for hiding this comment

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

Thanks for the PR, and for adding support for it (along with the tests!). LGTM!

@jaybosamiya-ms jaybosamiya-ms merged commit 90130f5 into verus-lang:main Oct 7, 2024
7 checks passed
@jaybosamiya-ms
Copy link
Collaborator

jaybosamiya-ms commented Oct 7, 2024

I've kicked off a new release (ca38d64) which should have the merged version of this once the CI finishes.

@pratapsingh1729
Copy link
Contributor Author

Great, thanks for merging this so quickly!

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.

2 participants