Fix redundant branches in generated switch body, fixes #6671 #6672
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Hi, I'm new to this project and honestly to ocaml, let me know if the fix seems reasonable and what would be the most appropriate way to propose it (if direct PR is not your style).
I'm looking for forward for comments on this possible approach to solve the issue, the general idea is that the issue is caused by loss of information when translating from typed tree to labmda tree, therefore the easiest way to avoid the issue is to implement an optimization. That said I know that the optimization could be implemented in other places, and at the same time I hope that it's sound.