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: recursion support #87

Open
wants to merge 10 commits into
base: main
Choose a base branch
from
Open

feat: recursion support #87

wants to merge 10 commits into from

Commits on Mar 6, 2021

  1. feat: start bringing features from other branch

    @polvalente
    polvalente committed Mar 6, 2021
    Configuration menu
    Copy the full SHA
    3095932 View commit details
    Browse the repository at this point in the history

  2. feat: make first-pass loop inference work

    @polvalente
    polvalente committed Mar 6, 2021
    Configuration menu
    Copy the full SHA
    07fb031 View commit details
    Browse the repository at this point in the history

  3. feat: introduce TypeChecker.Env struct for better manipulation of env

    @polvalente
    polvalente committed Mar 6, 2021
    Configuration menu
    Copy the full SHA
    60ea42f View commit details
    Browse the repository at this point in the history

  4. feat: unwrap loops from inside unions

    @polvalente
    polvalente committed Mar 6, 2021
    Configuration menu
    Copy the full SHA
    96139f2 View commit details
    Browse the repository at this point in the history

  5. feat: ensure top level functions are not inferred as loops

    @polvalente
    polvalente committed Mar 6, 2021
    Configuration menu
    Copy the full SHA
    f9f2d9a View commit details
    Browse the repository at this point in the history

  6. wip: make type checker tests work for inference as well as checking

    @polvalente
    polvalente committed Mar 6, 2021
    Configuration menu
    Copy the full SHA
    eeb495a View commit details
    Browse the repository at this point in the history

Commits on Mar 7, 2021

  1. fix cycle-finding

    @polvalente
    polvalente committed Mar 7, 2021
    Configuration menu
    Copy the full SHA
    c966074 View commit details
    Browse the repository at this point in the history

  2. fix: apply some fixes

    @polvalente
    polvalente committed Mar 7, 2021
    Configuration menu
    Copy the full SHA
    4ca3b1d View commit details
    Browse the repository at this point in the history

Commits on Mar 8, 2021

  1. chore: revert env struct

    @polvalente
    polvalente committed Mar 8, 2021
    Configuration menu
    Copy the full SHA
    736fc70 View commit details
    Browse the repository at this point in the history

  2. fix: use correct type in test module definition

    @polvalente
    polvalente committed Mar 8, 2021
    Configuration menu
    Copy the full SHA
    53efffa View commit details
    Browse the repository at this point in the history