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

DeclaredType in TypeChecker #2008

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

DeclaredType in TypeChecker #2008

wants to merge 13 commits into from

Commits on Oct 31, 2024

  1. Introduce DeclatedType

    @gzanitti
    gzanitti committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    a74c07c View commit details
    Browse the repository at this point in the history

Commits on Nov 1, 2024

  1. Fix introduced bug in verify_type_scheme

    @gzanitti
    gzanitti committed Nov 1, 2024
    Configuration menu
    Copy the full SHA
    611a4fb View commit details
    Browse the repository at this point in the history

  2. clippy

    @gzanitti
    gzanitti committed Nov 1, 2024
    Configuration menu
    Copy the full SHA
    84439d8 View commit details
    Browse the repository at this point in the history

  3. Update pil-analyzer/src/type_inference.rs 

    Co-authored-by: chriseth <[email protected]>
    @gzanitti @chriseth
    gzanitti and chriseth authored Nov 1, 2024
    Configuration menu
    Copy the full SHA
    93d0507 View commit details
    Browse the repository at this point in the history

  4. Update pil-analyzer/src/type_inference.rs 

    Co-authored-by: chriseth <[email protected]>
    @gzanitti @chriseth
    gzanitti and chriseth authored Nov 1, 2024
    Configuration menu
    Copy the full SHA
    44949c1 View commit details
    Browse the repository at this point in the history

  5. new verify_type_schemes + compare_type_schemes

    @gzanitti
    gzanitti committed Nov 1, 2024
    Configuration menu
    Copy the full SHA
    f56ad9b View commit details
    Browse the repository at this point in the history

Commits on Nov 4, 2024

  1. get names after structs removal

    @gzanitti
    gzanitti committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    61fa85b View commit details
    Browse the repository at this point in the history

  2. better msg

    @gzanitti
    gzanitti committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    5a62af6 View commit details
    Browse the repository at this point in the history

  3. better msg

    @gzanitti
    gzanitti committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    89eedb1 View commit details
    Browse the repository at this point in the history

  4. names

    @gzanitti
    gzanitti committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    2b298f7 View commit details
    Browse the repository at this point in the history

Commits on Nov 11, 2024

  1. is_concrete

    @gzanitti
    gzanitti committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    5e8384c View commit details
    Browse the repository at this point in the history

Commits on Nov 13, 2024

  1. remove pub

    @gzanitti
    gzanitti committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    5589f47 View commit details
    Browse the repository at this point in the history

  2. compare_inferred_type_to_declared

    @gzanitti
    gzanitti committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    975ed04 View commit details
    Browse the repository at this point in the history