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

Add pattern matching for records #108

Merged
merged 8 commits into from
Mar 26, 2024
Merged

Add pattern matching for records #108

merged 8 commits into from
Mar 26, 2024

Commits on Mar 24, 2024

  1. Add record pattern matching

    @siddharth-krishna
    siddharth-krishna committed Mar 24, 2024
    Configuration menu
    Copy the full SHA
    0b56a4a View commit details
    Browse the repository at this point in the history

Commits on Mar 25, 2024

  1. Add eval; fix exhaustive; add tests

    @siddharth-krishna
    siddharth-krishna committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    b61b857 View commit details
    Browse the repository at this point in the history

Commits on Mar 26, 2024

  1. Fix duplicate field error location

    @siddharth-krishna
    siddharth-krishna committed Mar 26, 2024
    Configuration menu
    Copy the full SHA
    35150d0 View commit details
    Browse the repository at this point in the history

  2. Fix insertCommentsIntoPat

    @siddharth-krishna
    siddharth-krishna committed Mar 26, 2024
    Configuration menu
    Copy the full SHA
    fb30623 View commit details
    Browse the repository at this point in the history

  3. Bump

    @siddharth-krishna
    siddharth-krishna committed Mar 26, 2024
    Configuration menu
    Copy the full SHA
    cca0438 View commit details
    Browse the repository at this point in the history

  4. Format

    @siddharth-krishna
    siddharth-krishna committed Mar 26, 2024
    Configuration menu
    Copy the full SHA
    198174d View commit details
    Browse the repository at this point in the history

  5. Fix flaky test

    @siddharth-krishna
    siddharth-krishna committed Mar 26, 2024
    Configuration menu
    Copy the full SHA
    2a1d895 View commit details
    Browse the repository at this point in the history

  6. Slip in an inferTypeReps test

    @siddharth-krishna
    siddharth-krishna committed Mar 26, 2024
    Configuration menu
    Copy the full SHA
    5dc62fd View commit details
    Browse the repository at this point in the history