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

Some final touches for variadic types support #16334

Merged
merged 14 commits into from
Oct 28, 2023
Merged

Some final touches for variadic types support #16334

merged 14 commits into from
Oct 28, 2023

Commits on Oct 21, 2023

  1. Go through tuple_fallback

    @ilevkivskyi
    ilevkivskyi committed Oct 21, 2023
    Configuration menu
    Copy the full SHA
    2870f3e View commit details
    Browse the repository at this point in the history

  2. Go through tuple_type

    @ilevkivskyi
    ilevkivskyi committed Oct 21, 2023
    Configuration menu
    Copy the full SHA
    a303c5c View commit details
    Browse the repository at this point in the history

  3. Go through UnpackType

    @ilevkivskyi
    ilevkivskyi committed Oct 21, 2023
    Configuration menu
    Copy the full SHA
    35b35d3 View commit details
    Browse the repository at this point in the history

Commits on Oct 23, 2023

  1. Complete TODO list

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

  2. Add and fix some tests

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

Commits on Oct 25, 2023

  1. Incremental tests; match support

    @ilevkivskyi
    ilevkivskyi committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    91f9ebe View commit details
    Browse the repository at this point in the history

  2. Fix or delete some TODOs

    @ilevkivskyi
    ilevkivskyi committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    b8bec50 View commit details
    Browse the repository at this point in the history

Commits on Oct 26, 2023

  1. Fix join/meet crashes

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

  2. Use tighter types for Callable helpers

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

  3. Some final touches

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

Commits on Oct 27, 2023

  1. Merge branch 'master' into more-tvt

    @hauntsaninja
    hauntsaninja committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    9424361 View commit details
    Browse the repository at this point in the history

  2. Fix merge

    @ilevkivskyi
    ilevkivskyi committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    6ef5513 View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'upstream/master' into more-tvt

    @ilevkivskyi
    ilevkivskyi committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    0ca4a5f View commit details
    Browse the repository at this point in the history

  4. Use the new flag for Callable subtyping

    @ilevkivskyi
    ilevkivskyi committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    ebf6650 View commit details
    Browse the repository at this point in the history