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

Refactor occurrence typing #831

Merged
merged 7 commits into from
Jul 4, 2023
Merged

Refactor occurrence typing #831

merged 7 commits into from
Jul 4, 2023

Commits on Jul 4, 2023

  1. Reorganize unwrap/partition methods 

    * `#partition_union` to split types to *truthy* and *falsy* types
* `#unwrap_optional` to remove `nil`
    @soutaro
    soutaro committed Jul 4, 2023
    Configuration menu
    Copy the full SHA
    550703c View commit details
    Browse the repository at this point in the history

  2. Add UnreachableBranch only if true/false clause is given

    @soutaro
    soutaro committed Jul 4, 2023
    Configuration menu
    Copy the full SHA
    390f456 View commit details
    Browse the repository at this point in the history

  3. Make bot unreachable in LogicTypeInterpreter

    @soutaro
    soutaro committed Jul 4, 2023
    Configuration menu
    Copy the full SHA
    bcc47ae View commit details
    Browse the repository at this point in the history

  4. Partition Logic::Env type

    @soutaro
    soutaro committed Jul 4, 2023
    Configuration menu
    Copy the full SHA
    d4d7652 View commit details
    Browse the repository at this point in the history

  5. Refactor :and typing

    @soutaro
    soutaro committed Jul 4, 2023
    Configuration menu
    Copy the full SHA
    bd7d878 View commit details
    Browse the repository at this point in the history

  6. Refactor :or typing

    @soutaro
    soutaro committed Jul 4, 2023
    Configuration menu
    Copy the full SHA
    08ce553 View commit details
    Browse the repository at this point in the history

  7. Fix test

    @soutaro
    soutaro committed Jul 4, 2023
    Configuration menu
    Copy the full SHA
    e4c2e9c View commit details
    Browse the repository at this point in the history