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.

Sign up for GitHub

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

Jump to bottom

enhance reduce_vars #5616

Merged
merged 1 commit into from
Aug 17, 2022
Merged

enhance reduce_vars #5616

merged 1 commit into from
Aug 17, 2022

Conversation

alexlamsl
Copy link
Collaborator

@alexlamsl alexlamsl commented Aug 12, 2022 •
edited
Loading

closes #5614

@alexlamsl alexlamsl force-pushed the elm branch 3 times, most recently from b4c09a4 to a763dcb Compare August 13, 2022 13:30
@alexlamsl alexlamsl mentioned this pull request Aug 13, 2022
Closed
@alexlamsl alexlamsl force-pushed the elm branch 3 times, most recently from 8bc89d6 to 0fe9281 Compare August 16, 2022 04:03
@alexlamsl alexlamsl changed the title [WIP] enhance reduce_vars enhance reduce_vars Aug 17, 2022
@alexlamsl alexlamsl merged commit d6d2f5c into mishoo:master Aug 17, 2022
@alexlamsl alexlamsl deleted the elm branch August 17, 2022 01:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Allow annotating a function as pure through comments
1 participant
@alexlamsl