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

Make match_term_app! support arbitrary patterns #214

Merged

Conversation

wilcoxjay
Copy link
Contributor

Now you can write arbitrary patterns in match_term_app!. I will use this in
eggcc as I refactor CFG conversion to use terms instead of expressions.

@wilcoxjay
Copy link
Contributor Author

cc @oflatt

Copy link
Member

@oflatt oflatt left a comment

Choose a reason for hiding this comment

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

Yay much better. Would be cool to be able to match literals but this is a good step

@oflatt
Copy link
Member

oflatt commented Aug 27, 2023

@wilcoxjay is on vacation so I'm planning on fixing the failing clippy on monday

@wilcoxjay
Copy link
Contributor Author

fixed, happy sunday from the airport!

@oflatt
Copy link
Member

oflatt commented Aug 28, 2023

Thanks! But you forgot to cargo fmt lol

@oflatt oflatt mentioned this pull request Aug 29, 2023
oflatt added a commit that referenced this pull request Aug 29, 2023
@oflatt oflatt merged commit a59d286 into egraphs-good:main Aug 29, 2023
2 of 3 checks passed
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