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

Fix bug in eo::cons for left associative operators #81

Merged
merged 10 commits into from
Oct 10, 2024
Merged

Fix bug in eo::cons for left associative operators #81

merged 10 commits into from
Oct 10, 2024

Conversation

ajreynol
Copy link
Member

@ajreynol ajreynol commented Oct 1, 2024

The previous code mistakenly would try to append the tail of the cons to the head; instead the head should be appended to the tail in the second argument index.

@hansjoergschurr
Copy link
Contributor

It would be nice to have an example for this one what went wrong. I think I understand roughly that before the change if something was left associative, it would de-sugar to something completely wrong?

Also I think this didn't go through git clang-format ;)

@ajreynol
Copy link
Member Author

ajreynol commented Oct 3, 2024

The example will be added on #83 (that's where i discovered the issue).

@hansjoergschurr
Copy link
Contributor

The example will be added on #83 (that's where i discovered the issue).

There is a test case there. I had more of a user facing example in mind.

@ajreynol
Copy link
Member Author

ajreynol commented Oct 9, 2024

What example do you have in mind?

@ajreynol ajreynol merged commit 83ddd3d into main Oct 10, 2024
16 checks passed
@ajreynol ajreynol deleted the fixCons branch October 10, 2024 18:06
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.

2 participants