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

Add while! (while bang) #14238

Merged
merged 25 commits into from
Jul 26, 2023
Merged

Add while! (while bang) #14238

merged 25 commits into from
Jul 26, 2023

Commits on Nov 4, 2022

  1. Add while!

    @kerams
    kerams committed Nov 4, 2022
    Configuration menu
    Copy the full SHA
    548ac5c View commit details
    Browse the repository at this point in the history

Commits on Nov 5, 2022

  1. Refactor, surface area, negative typecheck baseline

    @kerams
    kerams committed Nov 5, 2022
    Configuration menu
    Copy the full SHA
    b8a9aae View commit details
    Browse the repository at this point in the history

  2. Refactor

    @kerams
    kerams committed Nov 5, 2022
    Configuration menu
    Copy the full SHA
    8a99feb View commit details
    Browse the repository at this point in the history

  3. Add runtime test

    @kerams
    kerams committed Nov 5, 2022
    Configuration menu
    Copy the full SHA
    e8c07cc View commit details
    Browse the repository at this point in the history

  4. Split tests, use synthetic ranges

    @kerams
    kerams committed Nov 5, 2022
    Configuration menu
    Copy the full SHA
    12ace42 View commit details
    Browse the repository at this point in the history

  5. Merge remote-tracking branch 'upstream/main' into w

    @kerams
    kerams committed Nov 5, 2022
    Configuration menu
    Copy the full SHA
    995087a View commit details
    Browse the repository at this point in the history

Commits on Nov 7, 2022

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

    @kerams
    kerams committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    48b209f View commit details
    Browse the repository at this point in the history

  2. Stuff

    @kerams
    kerams committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    da04c61 View commit details
    Browse the repository at this point in the history

Commits on Nov 10, 2022

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

    @kerams
    kerams committed Nov 10, 2022
    Configuration menu
    Copy the full SHA
    eeb9fbe View commit details
    Browse the repository at this point in the history

  2. Move test

    @kerams
    kerams committed Nov 10, 2022
    Configuration menu
    Copy the full SHA
    7060c27 View commit details
    Browse the repository at this point in the history

Commits on Nov 26, 2022

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

    @kerams
    kerams committed Nov 26, 2022
    Configuration menu
    Copy the full SHA
    4c0a71f View commit details
    Browse the repository at this point in the history

  2. Make use of CompilerGeneratedName

    @kerams
    kerams committed Nov 26, 2022
    Configuration menu
    Copy the full SHA
    732b61e View commit details
    Browse the repository at this point in the history

  3. Add more tests

    @kerams
    kerams committed Nov 26, 2022
    Configuration menu
    Copy the full SHA
    79a1d34 View commit details
    Browse the repository at this point in the history

  4. Add task test

    @kerams
    kerams committed Nov 26, 2022
    Configuration menu
    Copy the full SHA
    bf5c16c View commit details
    Browse the repository at this point in the history

Commits on Dec 16, 2022

  1. Merge branch 'main' into w

    @T-Gro
    T-Gro authored Dec 16, 2022
    Configuration menu
    Copy the full SHA
    8370b11 View commit details
    Browse the repository at this point in the history

Commits on Jan 30, 2023

  1. Merge

    @kerams
    kerams committed Jan 30, 2023
    Configuration menu
    Copy the full SHA
    1b6c070 View commit details
    Browse the repository at this point in the history

Commits on Feb 2, 2023

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

    @kerams
    kerams committed Feb 2, 2023
    Configuration menu
    Copy the full SHA
    fe06e6c View commit details
    Browse the repository at this point in the history

Commits on Jun 28, 2023

  1. Merge

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

Commits on Jul 25, 2023

  1. Merge, address comments

    @kerams
    kerams committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    da529df View commit details
    Browse the repository at this point in the history

  2. Fix tests

    @kerams
    kerams committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    30d146d View commit details
    Browse the repository at this point in the history

  3. Fix tests

    @kerams
    kerams committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    0ac9bc7 View commit details
    Browse the repository at this point in the history

  4. Refactor

    @kerams
    kerams committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    24bff71 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'main' of https://github.com/dotnet/fsharp into w

    @kerams
    kerams committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    d88dca4 View commit details
    Browse the repository at this point in the history

  6. FIX TESTS

    @kerams
    kerams committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    864f913 View commit details
    Browse the repository at this point in the history

  7. Fix weird test

    @kerams
    kerams committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    a881a62 View commit details
    Browse the repository at this point in the history