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: nonlinear pat refs in list-no-order #4304

Open
wants to merge 13 commits into
base: master
Choose a base branch
from
Open

match: nonlinear pat refs in list-no-order #4304

wants to merge 13 commits into from

Commits on Jun 16, 2022

  1. match: nonlinear pat refs in list-no-order 

    only works when not inside ellipses so far
    @AlexKnauth
    AlexKnauth committed Jun 16, 2022
    Configuration menu
    Copy the full SHA
    e969851 View commit details
    Browse the repository at this point in the history

  2. match: ellipses nonlinear refs in list-no-order

    @AlexKnauth
    AlexKnauth committed Jun 16, 2022
    Configuration menu
    Copy the full SHA
    fde8df6 View commit details
    Browse the repository at this point in the history

Commits on Jun 23, 2022

  1. Add 'match-ellipsis-depth syntax property

    @AlexKnauth
    AlexKnauth committed Jun 23, 2022
    Configuration menu
    Copy the full SHA
    4f78aef View commit details
    Browse the repository at this point in the history

  2. match: order seen left-to-right 

    nonlinear pattern declarations on the left, references on the right
    @AlexKnauth
    AlexKnauth committed Jun 23, 2022
    Configuration menu
    Copy the full SHA
    8186d56 View commit details
    Browse the repository at this point in the history

  3. match: fix depth of (list id ...) as id

    @AlexKnauth
    AlexKnauth committed Jun 23, 2022
    Configuration menu
    Copy the full SHA
    b346559 View commit details
    Browse the repository at this point in the history

  4. match: test nonlinear pattern reference in id ...

    @AlexKnauth
    AlexKnauth committed Jun 23, 2022
    Configuration menu
    Copy the full SHA
    2d7bf74 View commit details
    Browse the repository at this point in the history

Commits on Jun 27, 2022

  1. match: Error on non-linear decl with ... wrt ref 

    doesn't really catch it yet because of the renaming affects "seen" and not just final binding
    @AlexKnauth
    AlexKnauth committed Jun 27, 2022
    Configuration menu
    Copy the full SHA
    39fdefa View commit details
    Browse the repository at this point in the history

Commits on Jun 28, 2022

  1. match: Refactor bound-vars, orig/rename versions

    @AlexKnauth
    AlexKnauth committed Jun 28, 2022
    Configuration menu
    Copy the full SHA
    b525ee5 View commit details
    Browse the repository at this point in the history

Commits on Jun 29, 2022

  1. match: nonlinear orig/non-renamed vars for seen 

    for detecting nonlinear patterns, use the original vars in the seen list, not their renamed versions
    @AlexKnauth
    AlexKnauth committed Jun 29, 2022
    Configuration menu
    Copy the full SHA
    72e1f9c View commit details
    Browse the repository at this point in the history

  2. match: test error on nonlinear pat decl with ...

    @AlexKnauth
    AlexKnauth committed Jun 29, 2022
    Configuration menu
    Copy the full SHA
    ad8d1c4 View commit details
    Browse the repository at this point in the history

  3. match: nonlinear pat decls zero depth wrt refs 

    fix find-seen to check that nonlinear pattern declarations have zero ellipsis-depth with respect to their references
    @AlexKnauth
    AlexKnauth committed Jun 29, 2022
    Configuration menu
    Copy the full SHA
    ef5bb0a View commit details
    Browse the repository at this point in the history

  4. match: document error on nonlinear pat decl in ...

    @AlexKnauth
    AlexKnauth committed Jun 29, 2022
    Configuration menu
    Copy the full SHA
    b6df3b3 View commit details
    Browse the repository at this point in the history

  5. match: test nonlinear ... error with non-null tail

    @AlexKnauth
    AlexKnauth committed Jun 29, 2022
    Configuration menu
    Copy the full SHA
    af4db44 View commit details
    Browse the repository at this point in the history