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.

Sign up for GitHub

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

Jump to bottom

match lowering: handle or-patterns one layer at a time #122046

Merged
merged 2 commits into from
Apr 1, 2024
Merged

match lowering: handle or-patterns one layer at a time #122046

merged 2 commits into from
Apr 1, 2024

Commits on Mar 27, 2024

  1. Avoid recursion in creating and merging or-patterns 

    By calling back into `match_candidates`, we only need to expand one
layer at a time. Conversely, since we always try to simplify a layer
that we just expanded, we only have to merge one layer at a time.
    @Nadrieril
    Nadrieril committed Mar 27, 2024
    Configuration menu
    Copy the full SHA
    23c9f69 View commit details
    Browse the repository at this point in the history

  2. Use create_or_subcandidates for all or-pattern expansions

    @Nadrieril
    Nadrieril committed Mar 27, 2024
    Configuration menu
    Copy the full SHA
    7410f78 View commit details
    Browse the repository at this point in the history