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

feat: Reject programs with unconditional recursion #6292

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

feat: Reject programs with unconditional recursion #6292

wants to merge 14 commits into from
+229 −2

Commits on Oct 16, 2024

  1. Reject programs with unconditional recursion as invalid

    @aakoshh
    aakoshh committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    ce0254d View commit details
    Browse the repository at this point in the history

  2. Test for acceptable recursion

    @aakoshh
    aakoshh committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    acb1d97 View commit details
    Browse the repository at this point in the history

  3. Change parameter name to body_id

    @aakoshh
    aakoshh committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    bc6598c View commit details
    Browse the repository at this point in the history

  4. Fix any -> all

    @aakoshh
    aakoshh committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    0a853c3 View commit details
    Browse the repository at this point in the history

  5. Remove $

    @aakoshh
    aakoshh committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    30b7900 View commit details
    Browse the repository at this point in the history

  6. Do not look up dummy definition

    @aakoshh
    aakoshh committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    e03cc16 View commit details
    Browse the repository at this point in the history

  7. Tweak stdlib meta to ignore the new warning

    @aakoshh
    aakoshh committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    4f0cb81 View commit details
    Browse the repository at this point in the history

  8. If let instead of match

    @aakoshh
    aakoshh committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    ac70f09 View commit details
    Browse the repository at this point in the history

  9. Fix format

    @aakoshh
    aakoshh committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    a83a19d View commit details
    Browse the repository at this point in the history

  10. Example of mutual recursion

    @aakoshh
    aakoshh committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    0e29ea2 View commit details
    Browse the repository at this point in the history

Commits on Oct 17, 2024

  1. Fix index and collection to use &&

    @aakoshh
    aakoshh committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    e5cc5ce View commit details
    Browse the repository at this point in the history

  2. Fix infix op to use &&

    @aakoshh
    aakoshh committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    e8758fa View commit details
    Browse the repository at this point in the history

  3. Check for loop bounds

    @aakoshh
    aakoshh committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    efade0b View commit details
    Browse the repository at this point in the history

Commits on Oct 21, 2024

  1. Merge remote-tracking branch 'origin/master' into 4828-unconditional-… 

    …recursion-error
    @aakoshh
    aakoshh committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    136486b View commit details
    Browse the repository at this point in the history