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

Subtyping and inference of user defined variadic types #16076

Merged
merged 14 commits into from
Sep 13, 2023
Merged

Subtyping and inference of user defined variadic types #16076

merged 14 commits into from
Sep 13, 2023

Commits on Sep 7, 2023

  1. Handle various edge cases for homogeneous tuples

    @ilevkivskyi
    ilevkivskyi committed Sep 7, 2023
    Configuration menu
    Copy the full SHA
    a1a0167 View commit details
    Browse the repository at this point in the history

  2. Start working on instances

    @ilevkivskyi
    ilevkivskyi committed Sep 7, 2023
    Configuration menu
    Copy the full SHA
    37a28df View commit details
    Browse the repository at this point in the history

Commits on Sep 8, 2023

  1. Handle meets and joins

    @ilevkivskyi
    ilevkivskyi committed Sep 8, 2023
    Configuration menu
    Copy the full SHA
    d8ce5c5 View commit details
    Browse the repository at this point in the history

Commits on Sep 9, 2023

  1. Update constraint inference

    @ilevkivskyi
    ilevkivskyi committed Sep 9, 2023
    Configuration menu
    Copy the full SHA
    31e82f8 View commit details
    Browse the repository at this point in the history

  2. Add some comments

    @ilevkivskyi
    ilevkivskyi committed Sep 9, 2023
    Configuration menu
    Copy the full SHA
    75a9024 View commit details
    Browse the repository at this point in the history

  3. Update comment

    @ilevkivskyi
    ilevkivskyi committed Sep 9, 2023
    Configuration menu
    Copy the full SHA
    38cd66c View commit details
    Browse the repository at this point in the history

  4. Some more fixes

    @ilevkivskyi
    ilevkivskyi committed Sep 9, 2023
    Configuration menu
    Copy the full SHA
    60df996 View commit details
    Browse the repository at this point in the history

  5. Update solver; update/add a TODO

    @ilevkivskyi
    ilevkivskyi committed Sep 9, 2023
    Configuration menu
    Copy the full SHA
    4991a9a View commit details
    Browse the repository at this point in the history

Commits on Sep 10, 2023

  1. Fix overload check; update upper bound in couple more places

    @ilevkivskyi
    ilevkivskyi committed Sep 10, 2023
    Configuration menu
    Copy the full SHA
    7fc37da View commit details
    Browse the repository at this point in the history

Commits on Sep 11, 2023

  1. Fix incremental mode (also don't visit void)

    @ilevkivskyi
    ilevkivskyi committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    f408038 View commit details
    Browse the repository at this point in the history

Commits on Sep 12, 2023

  1. Fix couple more crashes

    @ilevkivskyi
    ilevkivskyi committed Sep 12, 2023
    Configuration menu
    Copy the full SHA
    11f1c76 View commit details
    Browse the repository at this point in the history

Commits on Sep 13, 2023

  1. Add a test

    @ilevkivskyi
    ilevkivskyi committed Sep 13, 2023
    Configuration menu
    Copy the full SHA
    ab3c2cc View commit details
    Browse the repository at this point in the history

  2. Add (and clean-up) tests

    @ilevkivskyi
    ilevkivskyi committed Sep 13, 2023
    Configuration menu
    Copy the full SHA
    6946a49 View commit details
    Browse the repository at this point in the history

  3. Meets/joins tests; fix silly bug; handle some more edge cases

    @ilevkivskyi
    ilevkivskyi committed Sep 13, 2023
    Configuration menu
    Copy the full SHA
    7917bea View commit details
    Browse the repository at this point in the history