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

Alter the parser and introduce new rule #1066

Merged
merged 14 commits into from
May 19, 2023
Merged

Conversation

wirednkod
Copy link
Contributor

Fixes #1044

@wirednkod wirednkod requested review from pepoviola and l0r1s May 17, 2023 22:12
crates/parser/src/ast.rs Outdated Show resolved Hide resolved
crates/parser/src/lib.rs Outdated Show resolved Hide resolved
crates/parser/src/lib.rs Outdated Show resolved Hide resolved
Copy link
Collaborator

@pepoviola pepoviola left a comment

Choose a reason for hiding this comment

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

Looks good! A couple of comments to discuss.
Thanks!!

Copy link
Collaborator

@pepoviola pepoviola left a comment

Choose a reason for hiding this comment

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

Awesome, thanks!!

Co-authored-by: Loris Moulin <45130584+l0r1s@users.noreply.github.com>
@wirednkod wirednkod requested a review from l0r1s May 18, 2023 18:56
@l0r1s
Copy link
Contributor

l0r1s commented May 18, 2023

👍

@wirednkod wirednkod merged commit f49e5f3 into main May 19, 2023
@wirednkod wirednkod deleted the nik-substracting-metrics branch May 19, 2023 10:02
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.

zndsl: support subtracting metrics
3 participants