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

(Eventually) fix #17501 #17668

Open
wants to merge 51 commits into
base: main
Choose a base branch
from
Open

(Eventually) fix #17501 #17668

wants to merge 51 commits into from

Commits on Sep 6, 2024

  1. wip

    @vzarytovskii
    vzarytovskii committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    ea8e5e2 View commit details
    Browse the repository at this point in the history

  2. wip

    @vzarytovskii
    vzarytovskii committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    e3531b1 View commit details
    Browse the repository at this point in the history

  3. wip

    @vzarytovskii
    vzarytovskii committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    4e9db64 View commit details
    Browse the repository at this point in the history

  4. wip

    @vzarytovskii
    vzarytovskii committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    149867a View commit details
    Browse the repository at this point in the history

  5. wip

    @vzarytovskii
    vzarytovskii committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    c41ef57 View commit details
    Browse the repository at this point in the history

  6. wip

    @vzarytovskii
    vzarytovskii committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    fcf0fa4 View commit details
    Browse the repository at this point in the history

  7. wip

    @vzarytovskii
    vzarytovskii committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    ef35896 View commit details
    Browse the repository at this point in the history

  8. wip

    @vzarytovskii
    vzarytovskii committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    05f3ff9 View commit details
    Browse the repository at this point in the history

  9. wip

    @vzarytovskii
    vzarytovskii committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    565cbf4 View commit details
    Browse the repository at this point in the history

Commits on Sep 9, 2024

  1. Merge branch 'main' into fix-17501

    @vzarytovskii
    vzarytovskii authored Sep 9, 2024
    Configuration menu
    Copy the full SHA
    e790276 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into fix-17501

    @vzarytovskii
    vzarytovskii authored Sep 9, 2024
    Configuration menu
    Copy the full SHA
    5373a55 View commit details
    Browse the repository at this point in the history

Commits on Sep 18, 2024

  1. wip

    @vzarytovskii
    vzarytovskii committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    e4a3510 View commit details
    Browse the repository at this point in the history

  2. wip

    @vzarytovskii
    vzarytovskii committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    3168d95 View commit details
    Browse the repository at this point in the history

  3. wip

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

  4. Merge branch 'main' into fix-17501

    @vzarytovskii
    vzarytovskii authored Sep 18, 2024
    Configuration menu
    Copy the full SHA
    8a8b23c View commit details
    Browse the repository at this point in the history

Commits on Sep 19, 2024

  1. wip

    @vzarytovskii
    vzarytovskii committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    707c442 View commit details
    Browse the repository at this point in the history

  2. wip

    @vzarytovskii
    vzarytovskii committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    7a2fa82 View commit details
    Browse the repository at this point in the history

  3. wip

    @vzarytovskii
    vzarytovskii committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    424f5dd View commit details
    Browse the repository at this point in the history

  4. wip

    @vzarytovskii
    vzarytovskii committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    9d4339a View commit details
    Browse the repository at this point in the history

  5. wip

    @vzarytovskii
    vzarytovskii committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    44107e6 View commit details
    Browse the repository at this point in the history

  6. wip

    @vzarytovskii
    vzarytovskii committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    3004d7e View commit details
    Browse the repository at this point in the history

Commits on Sep 20, 2024

  1. wip

    @vzarytovskii
    vzarytovskii committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    8a8056f View commit details
    Browse the repository at this point in the history

  2. wip

    @vzarytovskii
    vzarytovskii committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    37ee216 View commit details
    Browse the repository at this point in the history

  3. wip

    @vzarytovskii
    vzarytovskii committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    73e3101 View commit details
    Browse the repository at this point in the history

  4. wip

    @vzarytovskii
    vzarytovskii committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    9a65fd6 View commit details
    Browse the repository at this point in the history

Commits on Sep 23, 2024

  1. Merge remote-tracking branch 'upstream/main' into fix-17501

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

  2. wip

    @vzarytovskii
    vzarytovskii committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    021dbe6 View commit details
    Browse the repository at this point in the history

  3. wip

    @vzarytovskii
    vzarytovskii committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    e9f954b View commit details
    Browse the repository at this point in the history

  4. wip

    @vzarytovskii
    vzarytovskii committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    498e52e View commit details
    Browse the repository at this point in the history

  5. wip

    @vzarytovskii
    vzarytovskii committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    b771157 View commit details
    Browse the repository at this point in the history

  6. wip

    @vzarytovskii
    vzarytovskii committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    f4d1678 View commit details
    Browse the repository at this point in the history

Commits on Sep 25, 2024

  1. wip

    @vzarytovskii
    vzarytovskii committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    aabb93f View commit details
    Browse the repository at this point in the history

  2. Automated command ran: fantomas 

      Co-authored-by: vzarytovskii <[email protected]>
    @github-actions
    github-actions[bot] committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    e1d0e9a View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into fix-17501

    @vzarytovskii
    vzarytovskii authored Sep 25, 2024
    Configuration menu
    Copy the full SHA
    e681f69 View commit details
    Browse the repository at this point in the history

  4. wip

    @vzarytovskii
    vzarytovskii committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    ffca5bd View commit details
    Browse the repository at this point in the history

  5. wip

    @vzarytovskii
    vzarytovskii committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    95f3605 View commit details
    Browse the repository at this point in the history

  6. wip

    @vzarytovskii
    vzarytovskii committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    0e6afe2 View commit details
    Browse the repository at this point in the history

  7. wip

    @vzarytovskii
    vzarytovskii committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    81f2145 View commit details
    Browse the repository at this point in the history

Commits on Sep 30, 2024

  1. Comments

    @vzarytovskii
    vzarytovskii committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    f5047d8 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into fix-17501

    @vzarytovskii
    vzarytovskii authored Sep 30, 2024
    Configuration menu
    Copy the full SHA
    f95583d View commit details
    Browse the repository at this point in the history

Commits on Oct 14, 2024

  1. Merge remote-tracking branch 'upstream/main' into fix-17501

    @vzarytovskii
    vzarytovskii committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    16d764a View commit details
    Browse the repository at this point in the history

  2. Fantomas

    @vzarytovskii
    vzarytovskii committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    eaee661 View commit details
    Browse the repository at this point in the history

  3. Revert some unnecesasry changes around seq

    @vzarytovskii
    vzarytovskii committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    cc675be View commit details
    Browse the repository at this point in the history

  4. Fix typehashing

    @vzarytovskii
    vzarytovskii committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    b6f209e View commit details
    Browse the repository at this point in the history

Commits on Oct 29, 2024

  1. Merge branch 'main' into fix-17501

    @vzarytovskii
    vzarytovskii authored Oct 29, 2024
    Configuration menu
    Copy the full SHA
    c2830f5 View commit details
    Browse the repository at this point in the history

  2. Update import.fs 

    Co-authored-by: Tomas Grosup <[email protected]>
    @vzarytovskii @T-Gro
    vzarytovskii and T-Gro authored Oct 29, 2024
    Configuration menu
    Copy the full SHA
    98372b9 View commit details
    Browse the repository at this point in the history

  3. Update src/Compiler/Checking/import.fs 

    Co-authored-by: Tomas Grosup <[email protected]>
    @vzarytovskii @T-Gro
    vzarytovskii and T-Gro authored Oct 29, 2024
    Configuration menu
    Copy the full SHA
    fa1b4bc View commit details
    Browse the repository at this point in the history

  4. Update

    @vzarytovskii
    vzarytovskii committed Oct 29, 2024
    Configuration menu
    Copy the full SHA
    2ea62d2 View commit details
    Browse the repository at this point in the history

  5. changelog

    @vzarytovskii
    vzarytovskii committed Oct 29, 2024
    Configuration menu
    Copy the full SHA
    649494a View commit details
    Browse the repository at this point in the history

  6. changelog

    @vzarytovskii
    vzarytovskii committed Oct 29, 2024
    Configuration menu
    Copy the full SHA
    2b27cd7 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'main' into fix-17501

    @vzarytovskii
    vzarytovskii authored Oct 29, 2024
    Configuration menu
    Copy the full SHA
    30b312c View commit details
    Browse the repository at this point in the history