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

fix: FuncDefns don't require that their extensions match their children #688

Merged
merged 12 commits into from
Nov 16, 2023
Merged

fix: FuncDefns don't require that their extensions match their children #688

merged 12 commits into from
Nov 16, 2023

Commits on Nov 14, 2023

  1. fix: Special case FuncDefn in extension validation

    @croyzor
    croyzor committed Nov 14, 2023
    Configuration menu
    Copy the full SHA
    f2963a4 View commit details
    Browse the repository at this point in the history

  2. fix(Inference): Don't add I/O constraints for FuncDefns

    @croyzor
    croyzor committed Nov 14, 2023
    Configuration menu
    Copy the full SHA
    64fbfc3 View commit details
    Browse the repository at this point in the history

  3. test: Add another test of parent-child I/O validation

    @croyzor
    croyzor committed Nov 14, 2023
    Configuration menu
    Copy the full SHA
    d416543 View commit details
    Browse the repository at this point in the history

Commits on Nov 15, 2023

  1. cosmetic: names

    @croyzor
    croyzor committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    3f87b8d View commit details
    Browse the repository at this point in the history

Commits on Nov 16, 2023

  1. tests: Add test of FuncDefn signature not matching its graph

    @croyzor
    croyzor committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    72d8013 View commit details
    Browse the repository at this point in the history

  2. doc: Update comments

    @croyzor
    croyzor committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    bbbdb17 View commit details
    Browse the repository at this point in the history

  3. Add a test; refactor; reinstate deleted line

    @croyzor
    croyzor committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    7671d02 View commit details
    Browse the repository at this point in the history

  4. Update test (but it doesn't pass)

    @croyzor
    croyzor committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    97a55a8 View commit details
    Browse the repository at this point in the history

  5. tests: Remove nested test - it's for a later PR

    @croyzor
    croyzor committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    0cdd1ee View commit details
    Browse the repository at this point in the history

  6. doc: Improve wording of comment

    @croyzor
    croyzor committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    417ffc1 View commit details
    Browse the repository at this point in the history

  7. Merge remote-tracking branch 'origin/main' into fix/funcdefn-inference

    @croyzor
    croyzor committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    cfd51f8 View commit details
    Browse the repository at this point in the history

  8. doc: Add comments specifying the limitations of tests

    @croyzor
    croyzor committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    31d2d54 View commit details
    Browse the repository at this point in the history