jameysharp opened PR #5294 from isle-unify-bindings to main:
As it turns out, that distinction was not necessary for this representation. Removing it eliminates some complexity around wrapping expressions as bindings and vice versa. It also clears up some confusion about which category to put certain constructs in (arguments and extractors) by refusing to have different categories.
While I was writing this patch I also realized that
add_match_variantandnormalize_equivalence_classesboth need to do fundamentally the same things with enum variants, so I refactored them to share code and make their relationship clearer.Finally, I reviewed all the comments in this file and fixed some places where they could be more clear.
jameysharp requested cfallin for a review on PR #5294.
cfallin submitted PR review.
jameysharp merged PR #5294.
Last updated: Dec 13 2025 at 19:03 UTC