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

View patterns (but also as-pattern & pattern guards) #2813

Draft
wants to merge 10 commits into
base: master
Choose a base branch
from
Draft

View patterns (but also as-pattern & pattern guards) #2813

wants to merge 10 commits into from

Commits on Jan 29, 2023

  1. WIP

    @W95Psp
    W95Psp committed Jan 29, 2023
    Configuration menu
    Copy the full SHA
    b05c9eb View commit details
    Browse the repository at this point in the history

Commits on Jan 30, 2023

  1. add as patterns and if patterns

    @W95Psp
    W95Psp committed Jan 30, 2023
    Configuration menu
    Copy the full SHA
    d396b66 View commit details
    Browse the repository at this point in the history

  2. wip

    @W95Psp
    W95Psp committed Jan 30, 2023
    Configuration menu
    Copy the full SHA
    0d7a824 View commit details
    Browse the repository at this point in the history

  3. example

    @W95Psp
    W95Psp committed Jan 30, 2023
    Configuration menu
    Copy the full SHA
    6db7562 View commit details
    Browse the repository at this point in the history

  4. ocaml snapshot

    @W95Psp
    W95Psp committed Jan 30, 2023
    Configuration menu
    Copy the full SHA
    92eebfe View commit details
    Browse the repository at this point in the history

Commits on Feb 19, 2023

  1. example: as pattern and SMT

    @W95Psp
    W95Psp committed Feb 19, 2023
    Configuration menu
    Copy the full SHA
    73f4de4 View commit details
    Browse the repository at this point in the history

  2. add disjunctive patterns anywhere

    @W95Psp
    W95Psp committed Feb 19, 2023
    Configuration menu
    Copy the full SHA
    0dbd670 View commit details
    Browse the repository at this point in the history

Commits on Feb 20, 2023

  1. Simplify pattern view syntax

    @W95Psp
    W95Psp committed Feb 20, 2023
    Configuration menu
    Copy the full SHA
    98c88a4 View commit details
    Browse the repository at this point in the history

  2. Another example: pattern matching on abstract types

    @W95Psp
    W95Psp committed Feb 20, 2023
    Configuration menu
    Copy the full SHA
    32f1bd8 View commit details
    Browse the repository at this point in the history

  3. Example: disj. pats. combined with ifs

    @W95Psp
    W95Psp committed Feb 20, 2023
    Configuration menu
    Copy the full SHA
    c00e6a1 View commit details
    Browse the repository at this point in the history