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

Change And/Or-type structures #521

Merged
merged 14 commits into from
Sep 18, 2024
Merged

Change And/Or-type structures #521

merged 14 commits into from
Sep 18, 2024

Commits on Sep 14, 2024

  1. fix: Type::{And, Or}(Set<Type>)

    @mtshiba
    mtshiba committed Sep 14, 2024
    Configuration menu
    Copy the full SHA
    b0c3137 View commit details
    Browse the repository at this point in the history

Commits on Sep 15, 2024

  1. Merge branch 'main' into perf_or_type

    @mtshiba
    mtshiba committed Sep 15, 2024
    Configuration menu
    Copy the full SHA
    a0810ad View commit details
    Browse the repository at this point in the history

  2. fix: union type bug

    @mtshiba
    mtshiba committed Sep 15, 2024
    Configuration menu
    Copy the full SHA
    3b9bbdf View commit details
    Browse the repository at this point in the history

  3. fix: union type bug (2)

    @mtshiba
    mtshiba committed Sep 15, 2024
    Configuration menu
    Copy the full SHA
    461e917 View commit details
    Browse the repository at this point in the history

Commits on Sep 16, 2024

  1. Update promise.rs

    @mtshiba
    mtshiba committed Sep 16, 2024
    Configuration menu
    Copy the full SHA
    5508f65 View commit details
    Browse the repository at this point in the history

  2. debug: mark

    @mtshiba
    mtshiba committed Sep 16, 2024
    Configuration menu
    Copy the full SHA
    5eb0a50 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into perf_or_type

    @mtshiba
    mtshiba committed Sep 16, 2024
    Configuration menu
    Copy the full SHA
    6781db1 View commit details
    Browse the repository at this point in the history

  4. Revert "debug: mark" 

    This reverts commit 5eb0a50.
    @mtshiba
    mtshiba committed Sep 16, 2024
    Configuration menu
    Copy the full SHA
    fd76f56 View commit details
    Browse the repository at this point in the history

  5. Update mod.rs

    @mtshiba
    mtshiba committed Sep 16, 2024
    Configuration menu
    Copy the full SHA
    cb9380f View commit details
    Browse the repository at this point in the history

  6. fix: type variable linking bug

    @mtshiba
    mtshiba committed Sep 16, 2024
    Configuration menu
    Copy the full SHA
    9d88e8d View commit details
    Browse the repository at this point in the history

  7. Revert "Update mod.rs" 

    This reverts commit cb9380f.
    @mtshiba
    mtshiba committed Sep 16, 2024
    Configuration menu
    Copy the full SHA
    b84fee1 View commit details
    Browse the repository at this point in the history

  8. Update unify.rs

    @mtshiba
    mtshiba committed Sep 16, 2024
    Configuration menu
    Copy the full SHA
    a876b34 View commit details
    Browse the repository at this point in the history

Commits on Sep 17, 2024

  1. fix: Type::has_type_satisfies

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

  2. fix: sub-unification bug

    @mtshiba
    mtshiba committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    df837d7 View commit details
    Browse the repository at this point in the history