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鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

match lowering: consistently lower bindings deepest-first #120214

Merged
merged 5 commits into from
Feb 8, 2024
Merged

match lowering: consistently lower bindings deepest-first #120214

merged 5 commits into from
Feb 8, 2024

Commits on Jan 25, 2024

  1. Add tests

    @Nadrieril
    Nadrieril committed Jan 25, 2024
    Configuration menu
    Copy the full SHA
    3ea464f View commit details
    Browse the repository at this point in the history

  2. Move Or test out of the loop

    @Nadrieril
    Nadrieril committed Jan 25, 2024
    Configuration menu
    Copy the full SHA
    96ff1a4 View commit details
    Browse the repository at this point in the history

  3. Clarify the binding dance

    @Nadrieril
    Nadrieril committed Jan 25, 2024
    Configuration menu
    Copy the full SHA
    e902878 View commit details
    Browse the repository at this point in the history

  4. Put new bindings first in refutable cases too

    @Nadrieril
    Nadrieril committed Jan 25, 2024
    Configuration menu
    Copy the full SHA
    09d4613 View commit details
    Browse the repository at this point in the history

  5. Clarify the new binding dance

    @Nadrieril
    Nadrieril committed Jan 25, 2024
    Configuration menu
    Copy the full SHA
    0825ad3 View commit details
    Browse the repository at this point in the history