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

Support constraint intersection syntax #15413

Merged
merged 16 commits into from
Aug 2, 2023
Merged

Support constraint intersection syntax #15413

merged 16 commits into from
Aug 2, 2023

Commits on Jun 15, 2023

  1. Support constraint intersection syntax

    @kerams
    kerams committed Jun 15, 2023
    Configuration menu
    Copy the full SHA
    f43740f View commit details
    Browse the repository at this point in the history

  2. Obey Fantomas

    @kerams
    kerams committed Jun 15, 2023
    Configuration menu
    Copy the full SHA
    8fcac3c View commit details
    Browse the repository at this point in the history

  3. Adjust wording

    @kerams
    kerams committed Jun 15, 2023
    Configuration menu
    Copy the full SHA
    c23f85a View commit details
    Browse the repository at this point in the history

Commits on Jun 16, 2023

  1. Merge branch 'main' of https://github.com/dotnet/fsharp into intersect

    @kerams
    kerams committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    bc7f920 View commit details
    Browse the repository at this point in the history

  2. Add trivia

    @kerams
    kerams committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    3c6025b View commit details
    Browse the repository at this point in the history

  3. Fix test

    @kerams
    kerams committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    e926932 View commit details
    Browse the repository at this point in the history

Commits on Jun 17, 2023

  1. Support constraint intersection in SynTyparDecl, add signature roundt… 

    …rip test
    @kerams
    kerams committed Jun 17, 2023
    Configuration menu
    Copy the full SHA
    3da5249 View commit details
    Browse the repository at this point in the history

  2. Obey Fantomas

    @kerams
    kerams committed Jun 17, 2023
    Configuration menu
    Copy the full SHA
    a589bcf View commit details
    Browse the repository at this point in the history

Commits on Aug 2, 2023

  1. Merge branch 'main' into pr/15413

    @T-Gro
    T-Gro committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    1ebe7e7 View commit details
    Browse the repository at this point in the history

  2. resources recompiled

    @T-Gro
    T-Gro committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    8efd2ba View commit details
    Browse the repository at this point in the history

  3. Adjust tests, unify trivia records after merge

    @T-Gro
    T-Gro committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    10e0ad9 View commit details
    Browse the repository at this point in the history

  4. format

    @T-Gro
    T-Gro committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    42bac63 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'main' into intersect

    @T-Gro
    T-Gro committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    b6c9506 View commit details
    Browse the repository at this point in the history

  6. surface area update

    @T-Gro
    T-Gro committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    b9a0ac8 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'intersect' of https://github.com/kerams/fsharp into pr/… 

    …15413
    @T-Gro
    T-Gro committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    6d093b1 View commit details
    Browse the repository at this point in the history

  8. syntax tests updated

    @T-Gro
    T-Gro committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    08fe4d9 View commit details
    Browse the repository at this point in the history