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

WIP: Choice-else branch support #232

Closed
wants to merge 4 commits into from
Closed

Conversation

arminzavada
Copy link
Member

No description provided.

@arminzavada arminzavada requested a review from mondokm October 28, 2023 13:16
@arminzavada arminzavada self-assigned this Oct 28, 2023
@leventeBajczi
Copy link
Contributor

@arminzavada, would this still be useful if this got merged? If so, please add some details to the description of this PR, and we should take a look, otherwise, please close.

@arminzavada
Copy link
Member Author

@arminzavada, would this still be useful if this got merged? If so, please add some details to the description of this PR, and we should take a look, otherwise, please close.

@leventeBajczi The feature itself would be really useful on my side, however, I was unable to implement it without help.

This PR is out of date, and no real value has been added yet, so the simplest thing would be to close this pr, create a new issue, and rethink the implementation strategy, if it is even possible to implement it in a performant manner.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants