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

Type unification for rows, new records, and variants #1646

Merged
merged 17 commits into from
Apr 26, 2022
Merged

Type unification for rows, new records, and variants #1646

merged 17 commits into from
Apr 26, 2022

Commits on Apr 13, 2022

  1. add a variable pool to the type unifier

    @konnov
    konnov committed Apr 13, 2022
    Configuration menu
    Copy the full SHA
    fed21d2 View commit details
    Browse the repository at this point in the history

  2. add a unit test for row unification, which is missing

    @konnov
    konnov committed Apr 13, 2022
    Configuration menu
    Copy the full SHA
    cdb8748 View commit details
    Browse the repository at this point in the history

Commits on Apr 15, 2022

  1. Merge branch 'unstable' into ik/unification1622

    @konnov
    konnov committed Apr 15, 2022
    Configuration menu
    Copy the full SHA
    00dd40c View commit details
    Browse the repository at this point in the history

Commits on Apr 19, 2022

  1. fix the corner cases for rows and records

    @konnov
    konnov committed Apr 19, 2022
    Configuration menu
    Copy the full SHA
    406a13f View commit details
    Browse the repository at this point in the history

  2. add unification over rows

    @konnov
    konnov committed Apr 19, 2022
    Configuration menu
    Copy the full SHA
    f7895a2 View commit details
    Browse the repository at this point in the history

  3. reviewing the row unifier

    @konnov
    konnov committed Apr 19, 2022
    Configuration menu
    Copy the full SHA
    d0bf6e5 View commit details
    Browse the repository at this point in the history

  4. cover all cases of the row unifier

    @konnov
    konnov committed Apr 19, 2022
    Configuration menu
    Copy the full SHA
    2f930ec View commit details
    Browse the repository at this point in the history

  5. unifying new records

    @konnov
    konnov committed Apr 19, 2022
    Configuration menu
    Copy the full SHA
    5ee543f View commit details
    Browse the repository at this point in the history

  6. unifying variants

    @konnov
    konnov committed Apr 19, 2022
    Configuration menu
    Copy the full SHA
    a1689cd View commit details
    Browse the repository at this point in the history

Commits on Apr 20, 2022

  1. Merge branch 'unstable' into ik/unification1622

    @konnov
    konnov authored Apr 20, 2022
    Configuration menu
    Copy the full SHA
    0cea2be View commit details
    Browse the repository at this point in the history

  2. add release note

    @konnov
    konnov committed Apr 20, 2022
    Configuration menu
    Copy the full SHA
    4a728c8 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'unstable' into ik/unification1622

    @konnov
    konnov authored Apr 20, 2022
    Configuration menu
    Copy the full SHA
    1e9aa7f View commit details
    Browse the repository at this point in the history

  4. remove unused declarations

    @konnov
    konnov committed Apr 20, 2022
    Configuration menu
    Copy the full SHA
    684d3f8 View commit details
    Browse the repository at this point in the history

Commits on Apr 21, 2022

  1. Merge branch 'unstable' into ik/unification1622

    @konnov
    konnov authored Apr 21, 2022
    Configuration menu
    Copy the full SHA
    e15664b View commit details
    Browse the repository at this point in the history

Commits on Apr 26, 2022

  1. Apply suggestions from code review 

    Co-authored-by: Kukovec <jure.kukovec@gmail.com>
    @konnov @Kukovec
    konnov and Kukovec authored Apr 26, 2022
    Configuration menu
    Copy the full SHA
    c88eb19 View commit details
    Browse the repository at this point in the history

  2. fix formatting

    @konnov
    konnov committed Apr 26, 2022
    Configuration menu
    Copy the full SHA
    1e1aa8d View commit details
    Browse the repository at this point in the history

  3. Merge branch 'unstable' into ik/unification1622

    @konnov
    konnov authored Apr 26, 2022
    Configuration menu
    Copy the full SHA
    849b7a4 View commit details
    Browse the repository at this point in the history