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

Tail recursive hover and bug fix for correctly marking if else as tail recursive #6466

Draft
wants to merge 9 commits into
base: main
Choose a base branch
from
Draft

Tail recursive hover and bug fix for correctly marking if else as tail recursive #6466

wants to merge 9 commits into from

Commits on Feb 13, 2024

  1. Make if then show as tail recursive in can

    @faldor20
    faldor20 committed Feb 13, 2024
    Configuration menu
    Copy the full SHA
    0f67a42 View commit details
    Browse the repository at this point in the history

  2. initial draft of hover recursive

    @faldor20
    faldor20 committed Feb 13, 2024
    Configuration menu
    Copy the full SHA
    8ef460f View commit details
    Browse the repository at this point in the history

  3. wip

    @faldor20
    faldor20 committed Feb 13, 2024
    Configuration menu
    Copy the full SHA
    ced074e View commit details
    Browse the repository at this point in the history

Commits on Feb 29, 2024

  1. hint does show, is weird

    @faldor20
    faldor20 committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    e5ba515 View commit details
    Browse the repository at this point in the history

  2. tailcalling works except inside a last def

    @faldor20
    faldor20 committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    ac6fce3 View commit details
    Browse the repository at this point in the history

  3. fixed last def and a few other issues

    @faldor20
    faldor20 committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    98cd5a9 View commit details
    Browse the repository at this point in the history

  4. fixed nested calls marked as recursive

    @faldor20
    faldor20 committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    d3b3617 View commit details
    Browse the repository at this point in the history

  5. fixed duplicate messages

    @faldor20
    faldor20 committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    4ebd7ef View commit details
    Browse the repository at this point in the history

Commits on Mar 9, 2024

  1. name

    @faldor20
    faldor20 committed Mar 9, 2024
    Configuration menu
    Copy the full SHA
    ffa624b View commit details
    Browse the repository at this point in the history