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

Rewrite -partition-after-pred to avoid recursion #379

Closed
wants to merge 1 commit into from

Conversation

akirak
Copy link

@akirak akirak commented May 8, 2021

I encountered a situation where this function fails with the deep nesting error. I think it's generally better to avoid recursion whenever possible.

@akirak akirak changed the title Rewrite -partition-after-pred to prevent an infinite loop Rewrite -partition-after-pred to prevent recursion May 8, 2021
@akirak akirak force-pushed the rewrite/partition-after-pred branch from c33a8b8 to 6caec68 Compare May 8, 2021 17:52
@akirak akirak changed the title Rewrite -partition-after-pred to prevent recursion Rewrite -partition-after-pred to avoid recursion May 8, 2021
@basil-conto
Copy link
Collaborator

I think it's generally better to avoid recursion whenever possible.

Indeed, but have you tried the patch proposed in #362?

@basil-conto basil-conto added duplicate Issue has already been discussed elsewhere enhancement Suggestion to improve or extend existing behavior labels May 8, 2021
@akirak
Copy link
Author

akirak commented May 8, 2021

I didn't know of that PR. Yes, I have worked on exactly the same issue. I don't have an anaphoric version, so the existing one would be better. Thanks.

@basil-conto
Copy link
Collaborator

Thanks for confirming. Then let's wait a little bit longer for @perweij to respond, and in the meantime I'll check if their copyright papers are in order yet.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
duplicate Issue has already been discussed elsewhere enhancement Suggestion to improve or extend existing behavior
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants