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

Compilation of side conditions in pattern matches #2984

Merged
merged 9 commits into from
Sep 9, 2024
Merged

Compilation of side conditions in pattern matches #2984

merged 9 commits into from
Sep 9, 2024

Commits on Sep 9, 2024

  1. add side conditions in Core Match (wip)

    @lukaszcz
    lukaszcz committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    f2993e3 View commit details
    Browse the repository at this point in the history

  2. update destruct for Match nodes

    @lukaszcz
    lukaszcz committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    52c508a View commit details
    Browse the repository at this point in the history

  3. fromInternal

    @lukaszcz
    lukaszcz committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    1c099e0 View commit details
    Browse the repository at this point in the history

  4. Core parsing

    @lukaszcz
    lukaszcz committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    b396b29 View commit details
    Browse the repository at this point in the history

  5. Core printing

    @lukaszcz
    lukaszcz committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    10fd8f5 View commit details
    Browse the repository at this point in the history

  6. Core evaluator

    @lukaszcz
    lukaszcz committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    becd3bc View commit details
    Browse the repository at this point in the history

  7. pattern matching compilation

    @lukaszcz
    lukaszcz committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    2fd362b View commit details
    Browse the repository at this point in the history

  8. fix Format.juvix test

    @lukaszcz
    lukaszcz committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    6a81b8a View commit details
    Browse the repository at this point in the history

  9. add tests

    @lukaszcz
    lukaszcz committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    9b6f05a View commit details
    Browse the repository at this point in the history