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

Improve the test for eta-expansion of constructors and builtins #1583

Merged
merged 1 commit into from
Oct 14, 2022
Merged

Improve the test for eta-expansion of constructors and builtins #1583

merged 1 commit into from
Oct 14, 2022

Conversation

lukaszcz
Copy link
Collaborator

Now the test also checks if multiple arguments are eta-expanded in the right order.

@lukaszcz lukaszcz self-assigned this Oct 13, 2022
@lukaszcz lukaszcz added test-suite core Related to JuvixCore labels Oct 13, 2022
@lukaszcz lukaszcz added this to the 0.2.6 milestone Oct 13, 2022
@lukaszcz lukaszcz requested a review from janmasrovira October 13, 2022 12:31
@lukaszcz lukaszcz requested a review from janmasrovira October 14, 2022 10:55
@lukaszcz lukaszcz merged commit 93d5bdc into main Oct 14, 2022
@lukaszcz lukaszcz deleted the eta-test branch October 14, 2022 11:25
@lukaszcz lukaszcz removed the request for review from janmasrovira October 14, 2022 11:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@janmasrovira janmasrovira janmasrovira approved these changes

Assignees

@lukaszcz lukaszcz

Labels
core Related to JuvixCore test-suite
Projects
None yet
Milestone
0.2.6
Development

Successfully merging this pull request may close these issues.
2 participants
@lukaszcz @janmasrovira