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

Implement type inferences from guard expressions #239

Merged
merged 9 commits into from
Nov 27, 2023
Merged

Implement type inferences from guard expressions #239

merged 9 commits into from
Nov 27, 2023

Commits on Jul 15, 2023

  1. Implement type inferences from guard expressions 

    Potential improvements for future:
1. Better handle `and` operator in guards: current implementation picks one and discards the other
2. Better handle `or` operator in guards: current implementation discards both sides. We can represent them as union types. In real use cases, this should happen rarely, so I'll leave it like this for now

Closes elixir-lsp#204
    @Goose97
    Goose97 committed Jul 15, 2023
    Configuration menu
    Copy the full SHA
    3fad3c5 View commit details
    Browse the repository at this point in the history

Commits on Aug 30, 2023

  1. Make type more specific

    @Goose97
    Goose97 committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    ea32947 View commit details
    Browse the repository at this point in the history

  2. Support map_size guard

    @Goose97
    Goose97 committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    554a6ed View commit details
    Browse the repository at this point in the history

  3. Fix incorrect fixture code

    @Goose97
    Goose97 committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    0eb3564 View commit details
    Browse the repository at this point in the history

  4. Merge or guards into union type

    @Goose97
    Goose97 committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    11428b9 View commit details
    Browse the repository at this point in the history

Commits on Sep 1, 2023

  1. Use intersection type

    @Goose97
    Goose97 committed Sep 1, 2023
    Configuration menu
    Copy the full SHA
    5ef6393 View commit details
    Browse the repository at this point in the history

Commits on Oct 31, 2023

  1. More refine type for list and tuple

    @Goose97
    Goose97 committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    fe7b2be View commit details
    Browse the repository at this point in the history

  2. Split guard type infer logic into separate module

    @Goose97
    Goose97 committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    6b4c0d0 View commit details
    Browse the repository at this point in the history

  3. Add moduledoc

    @Goose97
    Goose97 committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    7bcaa68 View commit details
    Browse the repository at this point in the history