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

Allow features with macros within macros #492

Merged
merged 1 commit into from
Aug 14, 2024
Merged

Conversation

LindaGuiga
Copy link
Contributor

With the current implementation of conditional blocks, we cannot have conditional blocks including macros within a macro. This PR aims at allowing such a case scenario.

@github-actions github-actions bot added the crate: evm_arithmetization Anything related to the evm_arithmetization crate. label Aug 14, 2024
Copy link
Contributor

@einar-polygon einar-polygon left a comment

Choose a reason for hiding this comment

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

As demonstrated by the test, this correctly adds the capability to expand a macro invocation inside of a conditional block (feature guard).

I note that arbitrary nesting of macros and conditional blocks are not intended to be supported, and would likely require mutually recursive expansion of macros and conditional blocks. We agree that this can be added based on future demand but is out of scope for this PR.

lgtm

Copy link
Collaborator

@Nashtare Nashtare left a comment

Choose a reason for hiding this comment

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

LGTM!

@Nashtare Nashtare merged commit 0c2e771 into develop Aug 14, 2024
15 checks passed
@Nashtare Nashtare deleted the enable-feature-in-macro branch August 14, 2024 16:50
@Nashtare Nashtare added this to the System strengthening milestone Sep 4, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
crate: evm_arithmetization Anything related to the evm_arithmetization crate.
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

3 participants