Skip to content

Update CLI opts#503

Merged
rachitnigam merged 1 commit intomainfrom
opts
Aug 7, 2025
Merged

Update CLI opts#503
rachitnigam merged 1 commit intomainfrom
opts

Conversation

@rachitnigam
Copy link
Member

Add --dump-all to dump the state of the AST after every pass and invert the preserve-names option.

@rachitnigam rachitnigam enabled auto-merge (squash) August 7, 2025 20:30
@rachitnigam rachitnigam merged commit afb8037 into main Aug 7, 2025
4 checks passed
@rachitnigam rachitnigam deleted the opts branch August 7, 2025 20:35
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.

1 participant