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

Improve match statement union narrowing/inference #17600

Open
wants to merge 8 commits into
base: master
Choose a base branch
from
Open

Improve match statement union narrowing/inference #17600

wants to merge 8 commits into from

Commits on Jul 27, 2024

  1. Improve match statement union narrowing/inference

    @bergkvist
    bergkvist committed Jul 27, 2024
    Configuration menu
    Copy the full SHA
    100c659 View commit details
    Browse the repository at this point in the history

  2. Fix lint errors: Use get_proper_type and rename captures to union_cap… 

    …tures
    @bergkvist
    bergkvist committed Jul 27, 2024
    Configuration menu
    Copy the full SHA
    c62587a View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2024

  1. Save a function call by storing length of union items 

    Co-authored-by: Hashem <[email protected]>
    @bergkvist @Hnasar
    bergkvist and Hnasar committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    e418d98 View commit details
    Browse the repository at this point in the history

Commits on Aug 18, 2024

  1. Refactor: Use UnionType.make_union(..)

    @bergkvist
    bergkvist committed Aug 18, 2024
    Configuration menu
    Copy the full SHA
    e85e8d4 View commit details
    Browse the repository at this point in the history

  2. Use is_uninhabited(typ) instead of isinstance(typ, UninhabitedType)

    @bergkvist
    bergkvist committed Aug 18, 2024
    Configuration menu
    Copy the full SHA
    34585b6 View commit details
    Browse the repository at this point in the history

Commits on Sep 1, 2024

  1. Narrow rest_type based on match type and current_type

    @bergkvist
    bergkvist committed Sep 1, 2024
    Configuration menu
    Copy the full SHA
    cb6fa03 View commit details
    Browse the repository at this point in the history

  2. Fix no-redef lint for rest_type

    @bergkvist
    bergkvist committed Sep 1, 2024
    Configuration menu
    Copy the full SHA
    4d28adf View commit details
    Browse the repository at this point in the history

  3. [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 Sep 1, 2024
    Configuration menu
    Copy the full SHA
    92d3c91 View commit details
    Browse the repository at this point in the history