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: support inferred types in conditionals #1265

Merged
merged 19 commits into from Jul 31, 2022
Merged

feat: support inferred types in conditionals #1265

merged 19 commits into from Jul 31, 2022

Commits on May 26, 2022

  1. Started work on supporting the infer keyword

    @daanboer
    daanboer committed May 26, 2022
    Copy the full SHA
    957dc2d View commit details
    Browse the repository at this point in the history

  2. Updated infer code

    @daanboer
    daanboer committed May 26, 2022
    Copy the full SHA
    b8ce46c View commit details
    Browse the repository at this point in the history

  3. Fixed inferred rest types in tuples

    @daanboer
    daanboer committed May 26, 2022
    Copy the full SHA
    54435f5 View commit details
    Browse the repository at this point in the history

  4. Fix precedence of inferred types over check or parent types

    @daanboer
    daanboer committed May 26, 2022
    Copy the full SHA
    d3f079f View commit details
    Browse the repository at this point in the history

  5. Cleanup infer type node parser

    @daanboer
    daanboer committed May 26, 2022
    Copy the full SHA
    edbff06 View commit details
    Browse the repository at this point in the history

  6. Rename resolveInfer -> isAssignableTo 

    Fixed failing unit test.
    @daanboer
    daanboer committed May 26, 2022
    Copy the full SHA
    548858b View commit details
    Browse the repository at this point in the history

  7. Cleanup comments

    @daanboer
    daanboer committed May 26, 2022
    Copy the full SHA
    0d63aa3 View commit details
    Browse the repository at this point in the history

  8. Tidy isAssignableTo function

    @daanboer
    daanboer committed May 26, 2022
    Copy the full SHA
    ceded36 View commit details
    Browse the repository at this point in the history

  9. Fixed typing of RestType 

    Inner type can be ArrayType, InferType, or TupleType.
    @daanboer
    daanboer committed May 26, 2022
    Copy the full SHA
    6e094b8 View commit details
    Browse the repository at this point in the history

Commits on May 27, 2022

  1. Fixed tuple to tuple assignment 

    Currently only supports rest type as final target member.
    @daanboer
    daanboer committed May 27, 2022
    Copy the full SHA
    e11500f View commit details
    Browse the repository at this point in the history

  2. Added TODO

    @daanboer
    daanboer committed May 27, 2022
    Copy the full SHA
    a9b1e67 View commit details
    Browse the repository at this point in the history

  3. Cleanup InferType

    @daanboer
    daanboer committed May 27, 2022
    Copy the full SHA
    8cf3070 View commit details
    Browse the repository at this point in the history

  4. Support tail recursion 

    Fix evaluation of nested rest types in tuples.
    @daanboer
    daanboer committed May 27, 2022
    Copy the full SHA
    f2261d8 View commit details
    Browse the repository at this point in the history

Commits on May 28, 2022

  1. Added user-defined type guard 

    Fixes compiler errors on newer tsc versions.
    @daanboer
    daanboer committed May 28, 2022
    Copy the full SHA
    c56a0e7 View commit details
    Browse the repository at this point in the history

  2. Added tests

    @daanboer
    daanboer committed May 28, 2022
    Copy the full SHA
    799b6bf View commit details
    Browse the repository at this point in the history

  3. Simplify TupleType

    @daanboer
    daanboer committed May 28, 2022
    Copy the full SHA
    06c7d10 View commit details
    Browse the repository at this point in the history

  4. Removed unnecessary normalize call

    @daanboer
    daanboer committed May 28, 2022
    Copy the full SHA
    b186860 View commit details
    Browse the repository at this point in the history

  5. Fixed linting errors

    @daanboer
    daanboer committed May 28, 2022
    Copy the full SHA
    1658e10 View commit details
    Browse the repository at this point in the history

Commits on Jun 9, 2022

  1. Propagate infer map for simple conditionals

    @daanboer
    daanboer committed Jun 9, 2022
    Copy the full SHA
    d5fa635 View commit details
    Browse the repository at this point in the history