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

New type inference: complete transitive closure #15754

Merged
merged 16 commits into from
Aug 3, 2023
Merged

New type inference: complete transitive closure #15754

merged 16 commits into from
Aug 3, 2023

Commits on Jun 23, 2023

  1. Start with a plan (and a test)

    @ilevkivskyi
    ilevkivskyi committed Jun 23, 2023
    Configuration menu
    Copy the full SHA
    e460189 View commit details
    Browse the repository at this point in the history

Commits on Jul 2, 2023

  1. Make small progress

    @ilevkivskyi
    ilevkivskyi committed Jul 2, 2023
    Configuration menu
    Copy the full SHA
    495259b View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'upstream/master' into fix-generic-infer… 

    …ence-2
    @ilevkivskyi
    ilevkivskyi committed Jul 2, 2023
    Configuration menu
    Copy the full SHA
    52f0428 View commit details
    Browse the repository at this point in the history

Commits on Jul 16, 2023

  1. Complete transitive closure (not used correctly yet)

    @ilevkivskyi
    ilevkivskyi committed Jul 16, 2023
    Configuration menu
    Copy the full SHA
    c9e4454 View commit details
    Browse the repository at this point in the history

Commits on Jul 20, 2023

  1. Correctly use full algorithm

    @ilevkivskyi
    ilevkivskyi committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    e30c057 View commit details
    Browse the repository at this point in the history

Commits on Jul 22, 2023

  1. Make some progress

    @ilevkivskyi
    ilevkivskyi committed Jul 22, 2023
    Configuration menu
    Copy the full SHA
    71e46cc View commit details
    Browse the repository at this point in the history

  2. Complete feature work

    @ilevkivskyi
    ilevkivskyi committed Jul 22, 2023
    Configuration menu
    Copy the full SHA
    9b0aa19 View commit details
    Browse the repository at this point in the history

Commits on Jul 23, 2023

  1. Fix partial types (and TypeVarTuple)

    @ilevkivskyi
    ilevkivskyi committed Jul 23, 2023
    Configuration menu
    Copy the full SHA
    b43f286 View commit details
    Browse the repository at this point in the history

  2. Some simplifications; better docs/comments

    @ilevkivskyi
    ilevkivskyi committed Jul 23, 2023
    Configuration menu
    Copy the full SHA
    b0ddd6d View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'upstream/master' into fix-generic-infer… 

    …ence-2
    @ilevkivskyi
    ilevkivskyi committed Jul 23, 2023
    Configuration menu
    Copy the full SHA
    9dd613d View commit details
    Browse the repository at this point in the history

  4. Add another comment

    @ilevkivskyi
    ilevkivskyi committed Jul 23, 2023
    Configuration menu
    Copy the full SHA
    49d5415 View commit details
    Browse the repository at this point in the history

  5. Fix xfail

    @ilevkivskyi
    ilevkivskyi committed Jul 23, 2023
    Configuration menu
    Copy the full SHA
    99699c3 View commit details
    Browse the repository at this point in the history

  6. [pre-commit.ci] auto fixes from pre-commit.com hooks 

    for more information, see https://pre-commit.ci
    @pre-commit-ci
    pre-commit-ci[bot] committed Jul 23, 2023
    Configuration menu
    Copy the full SHA
    bfc7ffc View commit details
    Browse the repository at this point in the history

  7. Fix infinite loop

    @ilevkivskyi
    ilevkivskyi committed Jul 23, 2023
    Configuration menu
    Copy the full SHA
    1018146 View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2023

  1. Fix a bug in detach_callable

    @ilevkivskyi
    ilevkivskyi committed Jul 26, 2023
    Configuration menu
    Copy the full SHA
    db9df71 View commit details
    Browse the repository at this point in the history

  2. Flip the default back

    @ilevkivskyi
    ilevkivskyi committed Jul 26, 2023
    Configuration menu
    Copy the full SHA
    ab8a6c2 View commit details
    Browse the repository at this point in the history