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

[RFC FS-1060] Nullness checking #15181

Merged
merged 208 commits into from
Jul 17, 2024
Merged

[RFC FS-1060] Nullness checking #15181

merged 208 commits into from
Jul 17, 2024

Commits on May 24, 2023

  1. squash

    @dsyme
    dsyme committed May 24, 2023
    Configuration menu
    Copy the full SHA
    2e8ab38 View commit details
    Browse the repository at this point in the history

  2. squash

    @dsyme
    dsyme committed May 24, 2023
    Configuration menu
    Copy the full SHA
    5fc50c9 View commit details
    Browse the repository at this point in the history

  3. move adhoc tests and clean errors

    @dsyme
    dsyme committed May 24, 2023
    Configuration menu
    Copy the full SHA
    208c48d View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' of https://github.com/dotnet/fsharp into feature/… 

    …nullness
    @dsyme
    dsyme committed May 24, 2023
    Configuration menu
    Copy the full SHA
    e1ef334 View commit details
    Browse the repository at this point in the history

  5. fix up constraint solving and adhoc testing

    @dsyme
    dsyme committed May 24, 2023
    Configuration menu
    Copy the full SHA
    74042c7 View commit details
    Browse the repository at this point in the history

  6. remove tests

    @dsyme
    dsyme committed May 24, 2023
    Configuration menu
    Copy the full SHA
    d4779f6 View commit details
    Browse the repository at this point in the history

  7. fantomas

    @dsyme
    dsyme committed May 24, 2023
    Configuration menu
    Copy the full SHA
    c8cedb0 View commit details
    Browse the repository at this point in the history

Commits on May 25, 2023

  1. skip fails

    @dsyme
    dsyme committed May 25, 2023
    Configuration menu
    Copy the full SHA
    4d2d637 View commit details
    Browse the repository at this point in the history

  2. fix tests

    @dsyme
    dsyme committed May 25, 2023
    Configuration menu
    Copy the full SHA
    6bd707c View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' of https://github.com/dotnet/fsharp into feature/… 

    …nullness
    @dsyme
    dsyme committed May 25, 2023
    Configuration menu
    Copy the full SHA
    c109cb4 View commit details
    Browse the repository at this point in the history

  4. fix up test baselines for change in order in checking

    @dsyme
    dsyme committed May 25, 2023
    Configuration menu
    Copy the full SHA
    2d7abe8 View commit details
    Browse the repository at this point in the history

  5. update tests

    @dsyme
    dsyme committed May 25, 2023
    Configuration menu
    Copy the full SHA
    2cbdcd0 View commit details
    Browse the repository at this point in the history

  6. don't overwrite baselines

    @dsyme
    dsyme committed May 25, 2023
    Configuration menu
    Copy the full SHA
    382354a View commit details
    Browse the repository at this point in the history

  7. fix some test failures

    @dsyme
    dsyme committed May 25, 2023
    Configuration menu
    Copy the full SHA
    1685da8 View commit details
    Browse the repository at this point in the history

  8. skip warnings

    @dsyme
    dsyme committed May 25, 2023
    Configuration menu
    Copy the full SHA
    11e88c8 View commit details
    Browse the repository at this point in the history

  9. Merge branch 'main' of https://github.com/dotnet/fsharp into feature/… 

    …nullness
    @dsyme
    dsyme committed May 25, 2023
    Configuration menu
    Copy the full SHA
    211e7da View commit details
    Browse the repository at this point in the history

  10. skip warnings

    @dsyme
    dsyme committed May 25, 2023
    Configuration menu
    Copy the full SHA
    ee80415 View commit details
    Browse the repository at this point in the history

  11. fix warning logic

    @dsyme
    dsyme committed May 25, 2023
    Configuration menu
    Copy the full SHA
    f0fc3bf View commit details
    Browse the repository at this point in the history

  12. fix tests

    @dsyme
    dsyme committed May 25, 2023
    Configuration menu
    Copy the full SHA
    e4999fd View commit details
    Browse the repository at this point in the history

  13. fix sizes

    @dsyme
    dsyme committed May 25, 2023
    Configuration menu
    Copy the full SHA
    0f83cd2 View commit details
    Browse the repository at this point in the history

Commits on May 26, 2023

  1. fix build

    @dsyme
    dsyme committed May 26, 2023
    Configuration menu
    Copy the full SHA
    d3a7bc7 View commit details
    Browse the repository at this point in the history

  2. fantomas and validation update

    @dsyme
    dsyme committed May 26, 2023
    Configuration menu
    Copy the full SHA
    7b1afe0 View commit details
    Browse the repository at this point in the history

  3. corrections to self-use

    @dsyme
    dsyme committed May 26, 2023
    Configuration menu
    Copy the full SHA
    ffbbfd2 View commit details
    Browse the repository at this point in the history

Commits on Jun 2, 2023

  1. [WIP] [RFC FS-1060] Nullness checking (applied to codebase) (#15265) 

    * enablement

* enablement

* fix build

* fix build

* fantomas

* selective adoption
    @dsyme
    dsyme committed Jun 2, 2023
    Configuration menu
    Copy the full SHA
    559c058 View commit details
    Browse the repository at this point in the history

Commits on Jun 5, 2023

  1. Revert "[WIP] [RFC FS-1060] Nullness checking (applied to codebase) (#… 

    …15265)" (#15309)

This reverts commit 559c058.
    @dsyme
    dsyme committed Jun 5, 2023
    Configuration menu
    Copy the full SHA
    a2edfd2 View commit details
    Browse the repository at this point in the history

Commits on Jul 11, 2023

  1. Merge main

    @vzarytovskii
    vzarytovskii committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    8b4f294 View commit details
    Browse the repository at this point in the history

Commits on Aug 3, 2023

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

    @vzarytovskii
    vzarytovskii committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    0c19792 View commit details
    Browse the repository at this point in the history

Commits on Sep 7, 2023

  1. Merge branch 'main' into feature/nullness

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

  2. Merge with main

    @vzarytovskii
    vzarytovskii committed Sep 7, 2023
    Configuration menu
    Copy the full SHA
    4bfcda9 View commit details
    Browse the repository at this point in the history

  3. Fixes

    @vzarytovskii
    vzarytovskii committed Sep 7, 2023
    Configuration menu
    Copy the full SHA
    9a58eb4 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' into feature/nullness

    @vzarytovskii
    vzarytovskii committed Sep 7, 2023
    Configuration menu
    Copy the full SHA
    0e22136 View commit details
    Browse the repository at this point in the history

Commits on Sep 8, 2023

  1. Feature/nullness - parsing of constraints (#15753) 

    * Feature/nullness - parsing of constraints for:
'T: not null ....  syntax in Type argument specification
appType | NULL ...  for specifying types
    @T-Gro
    T-Gro committed Sep 8, 2023
    Configuration menu
    Copy the full SHA
    f08b678 View commit details
    Browse the repository at this point in the history

  2. applying changed syntax

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

Commits on Sep 11, 2023

  1. positive.fs updated

    @T-Gro
    T-Gro committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    3811c98 View commit details
    Browse the repository at this point in the history

  2. positive.fs paranthesis

    @T-Gro
    T-Gro committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    9edcc7f View commit details
    Browse the repository at this point in the history

  3. fixing "parse warning Remove spaces between the type name and type pa… 

    …rameter, e.g. "C<'T>", not "C <'T>". Type parameters must be placed directly adjacent to the type name."
    @T-Gro
    T-Gro committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    60b1168 View commit details
    Browse the repository at this point in the history

  4. positive .bsl updated

    @T-Gro
    T-Gro committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    ce815cd View commit details
    Browse the repository at this point in the history

  5. Please mighty fantomas

    @T-Gro
    T-Gro committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    4e275ce View commit details
    Browse the repository at this point in the history

Commits on Sep 12, 2023

  1. Merge branch 'main' into feature/nullness

    @T-Gro
    T-Gro committed Sep 12, 2023
    Configuration menu
    Copy the full SHA
    dea3e2f View commit details
    Browse the repository at this point in the history

  2. Merge branch 'feature/nullness' into feature/nullness_apply_syntax

    @T-Gro
    T-Gro committed Sep 12, 2023
    Configuration menu
    Copy the full SHA
    0345c7b View commit details
    Browse the repository at this point in the history

Commits on Sep 14, 2023

  1. Merge pull request #15959 from dotnet/feature/nullness_apply_syntax 

    Feature/nullness :: apply new syntax
    @T-Gro
    T-Gro committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    9dbd29e View commit details
    Browse the repository at this point in the history

Commits on Oct 9, 2023

  1. Feature nullness metadata export (#15981)

    @T-Gro
    T-Gro committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    aa844a4 View commit details
    Browse the repository at this point in the history

Commits on Nov 28, 2023

  1. Merge branch 'main' into feature/nullness

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

  2. fix merge mistake

    @T-Gro
    T-Gro committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    c5b3781 View commit details
    Browse the repository at this point in the history

  3. fix build

    @T-Gro
    T-Gro committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    70adb59 View commit details
    Browse the repository at this point in the history

  4. fantomas

    @T-Gro
    T-Gro committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    51ccb50 View commit details
    Browse the repository at this point in the history

  5. bsl fix

    @T-Gro
    T-Gro committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    5a74640 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'main' into feature/nullness

    @T-Gro
    T-Gro committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    36761eb View commit details
    Browse the repository at this point in the history

  7. il tests update

    @T-Gro
    T-Gro committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    f690ab6 View commit details
    Browse the repository at this point in the history

Commits on Nov 29, 2023

  1. fix test

    @T-Gro
    T-Gro committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    ffd6567 View commit details
    Browse the repository at this point in the history

  2. tests fixed

    @T-Gro
    T-Gro committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    0ea09a6 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into feature/nullness

    @T-Gro
    T-Gro committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    ce384d3 View commit details
    Browse the repository at this point in the history

  4. fantomas

    @T-Gro
    T-Gro committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    ef15719 View commit details
    Browse the repository at this point in the history

Commits on Nov 30, 2023

  1. fix tests

    @T-Gro
    T-Gro committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    f230a6f View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into feature/nullness

    @T-Gro
    T-Gro committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    7ea37af View commit details
    Browse the repository at this point in the history

Commits on Dec 1, 2023

  1. trim test

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

  2. trimming test

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

  3. trim check

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

  4. now?

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

Commits on Dec 4, 2023

  1. IL tests

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

  2. il tests

    @T-Gro
    T-Gro committed Dec 4, 2023
    Configuration menu
    Copy the full SHA
    3f763a5 View commit details
    Browse the repository at this point in the history

  3. trim test

    @T-Gro
    T-Gro committed Dec 4, 2023
    Configuration menu
    Copy the full SHA
    cbfe777 View commit details
    Browse the repository at this point in the history

  4. trim

    @T-Gro
    T-Gro committed Dec 4, 2023
    Configuration menu
    Copy the full SHA
    5e296b9 View commit details
    Browse the repository at this point in the history

  5. one more time

    @T-Gro
    T-Gro committed Dec 4, 2023
    Configuration menu
    Copy the full SHA
    dec61d6 View commit details
    Browse the repository at this point in the history

  6. Merge main to feature/nullness (#16366) 

    * Fixes #16359 - correctly handle imports with 0 length public key tokens (#16363)

* Parser: recover on unfinished record decls, fix field ranges (#16357)

* Parser: recover on unfinished record decls, fix field ranges

* Fantomas

* Better diagnostic ranges for fields

* More parser tests

* Update surface area

* Fix xml doc test

* Update baselines

* Update src/Compiler/SyntaxTree/SyntaxTree.fsi

Co-authored-by: Edgar Gonzalez <edgargonzalez.info@gmail.com>

* Add MutableKeyword to SynFieldTrivia. (#11)

* Simplify

* Fantomas

---------

Co-authored-by: Edgar Gonzalez <edgargonzalez.info@gmail.com>
Co-authored-by: Florian Verdonck <florian.verdonck@outlook.com>

---------

Co-authored-by: Kevin Ransom (msft) <codecutter@hotmail.com>
Co-authored-by: Eugene Auduchinok <eugene.auduchinok@jetbrains.com>
Co-authored-by: Edgar Gonzalez <edgargonzalez.info@gmail.com>
Co-authored-by: Florian Verdonck <florian.verdonck@outlook.com>
Co-authored-by: Tomas Grosup <tomasgrosup@microsoft.com>
    @dotnet-bot @KevinRansom
    @auduchinok @edgarfgp @nojaf @T-Gro
    6 people committed Dec 4, 2023
    Configuration menu
    Copy the full SHA
    91429b4 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'main' into feature/nullness

    @T-Gro
    T-Gro committed Dec 4, 2023
    Configuration menu
    Copy the full SHA
    3f55d8d View commit details
    Browse the repository at this point in the history

  8. syntax tree layout

    @T-Gro
    T-Gro committed Dec 4, 2023
    Configuration menu
    Copy the full SHA
    73d670d View commit details
    Browse the repository at this point in the history

Commits on Dec 5, 2023

  1. Merge branch 'feature/nullness' into merges/main-to-feature/nullness

    @T-Gro
    T-Gro committed Dec 5, 2023
    Configuration menu
    Copy the full SHA
    4a19eb4 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #16383 from dotnet/merges/main-to-feature/nullness 

    Merge main to feature/nullness
    @T-Gro
    T-Gro committed Dec 5, 2023
    Configuration menu
    Copy the full SHA
    4ef4815 View commit details
    Browse the repository at this point in the history

  3. Nullness-related aggressive trimming of FSharp.Core (#16387)

    @T-Gro
    T-Gro committed Dec 5, 2023
    Configuration menu
    Copy the full SHA
    80efaa2 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' into feature/nullness

    @T-Gro
    T-Gro committed Dec 5, 2023
    Configuration menu
    Copy the full SHA
    fe42158 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'main' into feature/nullness

    @T-Gro
    T-Gro committed Dec 5, 2023
    Configuration menu
    Copy the full SHA
    3de7178 View commit details
    Browse the repository at this point in the history

Commits on Dec 8, 2023

  1. Merge main to feature/nullness (#16397) 

    * [main] Update dependencies from dnceng/internal/dotnet-optimization (#16150)

* Update dependencies from https://dev.azure.com/dnceng/internal/_git/dotnet-optimization build 20231019.5

optimization.linux-arm64.MIBC.Runtime , optimization.linux-x64.MIBC.Runtime , optimization.windows_nt-arm64.MIBC.Runtime , optimization.windows_nt-x64.MIBC.Runtime , optimization.windows_nt-x86.MIBC.Runtime
 From Version 1.0.0-prerelease.23515.2 -> To Version 1.0.0-prerelease.23519.5

* Update dependencies from https://dev.azure.com/dnceng/internal/_git/dotnet-optimization build 20231019.5

optimization.linux-arm64.MIBC.Runtime , optimization.linux-x64.MIBC.Runtime , optimization.windows_nt-arm64.MIBC.Runtime , optimization.windows_nt-x64.MIBC.Runtime , optimization.windows_nt-x86.MIBC.Runtime
 From Version 1.0.0-prerelease.23515.2 -> To Version 1.0.0-prerelease.23519.5

* Update dependencies from https://dev.azure.com/dnceng/internal/_git/dotnet-optimization build 20231021.3

optimization.linux-arm64.MIBC.Runtime , optimization.linux-x64.MIBC.Runtime , optimization.windows_nt-arm64.MIBC.Runtime , optimization.windows_nt-x64.MIBC.Runtime , optimization.windows_nt-x86.MIBC.Runtime
 From Version 1.0.0-prerelease.23515.2 -> To Version 1.0.0-prerelease.23521.3

* Update dependencies from https://dev.azure.com/dnceng/internal/_git/dotnet-optimization build 20231021.3

optimization.linux-arm64.MIBC.Runtime , optimization.linux-x64.MIBC.Runtime , optimization.windows_nt-arm64.MIBC.Runtime , optimization.windows_nt-x64.MIBC.Runtime , optimization.windows_nt-x86.MIBC.Runtime
 From Version 1.0.0-prerelease.23515.2 -> To Version 1.0.0-prerelease.23521.3

---------

Co-authored-by: dotnet-maestro[bot] <dotnet-maestro[bot]@users.noreply.github.com>

* [main] Update dependencies from dotnet/arcade (#16241)

* Update dependencies from https://github.com/dotnet/arcade build 20231106.5

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23556.5

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231106.5

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23556.5

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231106.5

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23556.5

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231106.5

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23556.5

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231106.5

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23556.5

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231106.5

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23556.5

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231106.5

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23556.5

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231114.4

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23564.4

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231114.4

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23564.4

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231114.4

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23564.4

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231114.4

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23564.4

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231114.4

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23564.4

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231114.4

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23564.4

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231114.4

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23564.4

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231114.4

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23564.4

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231114.4

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23564.4

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231114.4

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23564.4

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231114.4

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23564.4

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231114.4

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23564.4

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231114.4

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23564.4

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231114.4

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23564.4

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231114.4

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23564.4

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231114.4

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23564.4

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231114.4

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23564.4

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231130.1

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23580.1

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231130.1

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23580.1

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231130.1

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23580.1

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231130.1

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23580.1

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

* Update dependencies from https://github.com/dotnet/arcade build 20231130.1

Microsoft.DotNet.Arcade.Sdk
 From Version 8.0.0-beta.23463.1 -> To Version 8.0.0-beta.23580.1

Dependency coherency updates

Microsoft.DotNet.XliffTasks
 From Version 1.0.0-beta.23426.1 -> To Version 1.0.0-beta.23475.1 (parent: Microsoft.DotNet.Arcade.Sdk

---------

Co-authored-by: dotnet-maestro[bot] <dotnet-maestro[bot]@users.noreply.github.com>
Co-authored-by: Vlad Zarytovskii <vzaritovsky@hotmail.com>
Co-authored-by: Tomas Grosup <tomasgrosup@microsoft.com>

* Name resolution: don't search extension members in type abbreviations (#16390)

* Name resolution: don't search extension members in type abbreviations

* Add test

* Revert "[main] Update dependencies from dotnet/arcade (#16241)" (#16396)

This reverts commit f219a99.

* trimmed size updated

---------

Co-authored-by: dotnet-maestro[bot] <42748379+dotnet-maestro[bot]@users.noreply.github.com>
Co-authored-by: dotnet-maestro[bot] <dotnet-maestro[bot]@users.noreply.github.com>
Co-authored-by: Vlad Zarytovskii <vzaritovsky@hotmail.com>
Co-authored-by: Tomas Grosup <tomasgrosup@microsoft.com>
Co-authored-by: Eugene Auduchinok <eugene.auduchinok@jetbrains.com>
    @dotnet-bot @dotnet-maestro
    @vzarytovskii @T-Gro @auduchinok
    6 people committed Dec 8, 2023
    Configuration menu
    Copy the full SHA
    bf45dee View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into feature/nullness

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

Commits on Jan 17, 2024

  1. Nullness interop - import of C#-emitted metadata (#16423)

    @T-Gro
    T-Gro committed Jan 17, 2024
    Configuration menu
    Copy the full SHA
    d697c63 View commit details
    Browse the repository at this point in the history

Commits on Jan 23, 2024

  1. Nullness - include in QuickInfo and in general in "typeEnc" (string r… 

    …epresentation of a type) (#16555)

* failing test

* todo for IL import

* explanation added

* il meta parsing

* flags evaluation

* you shall passs

* evaluateFirstOrderNullnessAndAdvance

* import il type with nullness

* type import

* IL nullness import

fields, props, events, method args, method return types - nullness imported from IL

* test rename

* fantomas

* get stack trace on error

* split ilmethod's type

* fix crashes for Csharp style extensions

* solve coexistance of nullness and Is* properties of DUs

* updating tests

* clean tests

* fantomas

* fantomas one more time

* importing nullness for generic typars

* print failing ivals, let's see

* write even more!

* isolated failing test - combo of module rec, signature file, IVT

* another attempt

* format

* test

* hide tests

* Remove 'specialname' for DU case tester

* format

* warning as error

* update baseline netcore

* nullable errors not in desktop framework

* surface area, trimming

* surface area

* cosmetic cleanup & annotations

* Rename to ILMethParentTypeInfo

* making vMapFold tail recursive

* physical nullnessEquiv

* format

* Commenting SkipNullness usages

* Nullness work - activity module

* Remove strict generic 'T:null' import

* Null|NonNull pattern also for regular compilation

* Backported Null|NonNull active pattern

* one more time

* revert

* Show nullness in quickinfo and in general in type representations
    @T-Gro
    T-Gro committed Jan 23, 2024
    Configuration menu
    Copy the full SHA
    00a591c View commit details
    Browse the repository at this point in the history

Commits on Jan 24, 2024

  1. Merge main to feature/nullness (#16539) 

    Merge of main + syntax conflict resolution + semantic conflict resolution
    @dotnet-bot
    dotnet-bot committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    38532af View commit details
    Browse the repository at this point in the history

Commits on Jan 25, 2024

  1. conflicts resolved

    @T-Gro
    T-Gro committed Jan 25, 2024
    Configuration menu
    Copy the full SHA
    e7f4f1f View commit details
    Browse the repository at this point in the history

  2. release notes

    @T-Gro
    T-Gro committed Jan 25, 2024
    Configuration menu
    Copy the full SHA
    3c53e3b View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into feature/nullness

    @T-Gro
    T-Gro committed Jan 25, 2024
    Configuration menu
    Copy the full SHA
    dfada6a View commit details
    Browse the repository at this point in the history

  4. Fix ILType.Array import (#16585)

    @T-Gro
    T-Gro committed Jan 25, 2024
    Configuration menu
    Copy the full SHA
    3250b7e View commit details
    Browse the repository at this point in the history

  5. Merge branch 'main' into feature/nullness

    @T-Gro
    T-Gro committed Jan 25, 2024
    Configuration menu
    Copy the full SHA
    cf735db View commit details
    Browse the repository at this point in the history

Commits on Jan 30, 2024

  1. Nullness - reading+writing metadata for 'inherits' and interface impl… 

    …ementations (#16597)
    @T-Gro
    T-Gro committed Jan 30, 2024
    Configuration menu
    Copy the full SHA
    e0f1634 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into feature/nullness

    @T-Gro
    T-Gro committed Jan 30, 2024
    Configuration menu
    Copy the full SHA
    33e5e27 View commit details
    Browse the repository at this point in the history

Commits on Jan 31, 2024

  1. Merge branch 'feature/nullness' into merges/main-to-feature/nullness

    @KevinRansom
    KevinRansom committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    d70d1fe View commit details
    Browse the repository at this point in the history

  2. Merge pull request #16620 from dotnet/merges/main-to-feature/nullness 

    Merge main to feature/nullness
    @KevinRansom
    KevinRansom committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    a2df473 View commit details
    Browse the repository at this point in the history

  3. ILGenerator test case

    @T-Gro
    T-Gro committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    60c4fb0 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'feature/nullness' of https://github.com/dotnet/fsharp i… 

    …nto feature/nullness
    @T-Gro
    T-Gro committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    ca7e0b4 View commit details
    Browse the repository at this point in the history

Commits on Feb 1, 2024

  1. Merge pull request #16635 from dotnet/merges/main-to-feature/nullness

    @T-Gro
    T-Gro committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    29462f2 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into feature/nullness

    @T-Gro
    T-Gro committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    f30c6a0 View commit details
    Browse the repository at this point in the history

Commits on Feb 6, 2024

  1. Merge branch 'feature/nullness' into merges/main-to-feature/nullness

    @T-Gro
    T-Gro committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    5811d88 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #16648 from dotnet/merges/main-to-feature/nullness 

    Merge main to feature/nullness
    @T-Gro
    T-Gro committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    cd662eb View commit details
    Browse the repository at this point in the history

  3. Nullness :: Format string %s should allow nullable string (#16656)

    @T-Gro
    T-Gro committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    bca1c53 View commit details
    Browse the repository at this point in the history

Commits on Feb 7, 2024

  1. Merge pull request #16660 from dotnet/merges/main-to-feature/nullness 

    Merge main to feature/nullness
    @T-Gro
    T-Gro committed Feb 7, 2024
    Configuration menu
    Copy the full SHA
    a35c0e2 View commit details
    Browse the repository at this point in the history

  2. Nullness:: Unchecked.nonNull for FSharp.Core (#16654)

    @T-Gro
    T-Gro committed Feb 7, 2024
    Configuration menu
    Copy the full SHA
    17f0ced View commit details
    Browse the repository at this point in the history

Commits on Feb 8, 2024

  1. Merge branch 'main' into feature/nullness

    @T-Gro
    T-Gro committed Feb 8, 2024
    Configuration menu
    Copy the full SHA
    d4dd6a8 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into feature/nullness

    @T-Gro
    T-Gro committed Feb 8, 2024
    Configuration menu
    Copy the full SHA
    552ea0a View commit details
    Browse the repository at this point in the history

Commits on Feb 9, 2024

  1. Merge pull request #16679 from dotnet/merges/main-to-feature/nullness 

    Merge main to feature/nullness
    @KevinRansom
    KevinRansom committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    fc5c6c4 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into feature/nullness

    @T-Gro
    T-Gro committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    c5ecfb4 View commit details
    Browse the repository at this point in the history

Commits on Feb 10, 2024

  1. Merge pull request #16685 from dotnet/merges/main-to-feature/nullness 

    Merge main to feature/nullness
    @KevinRansom
    KevinRansom committed Feb 10, 2024
    Configuration menu
    Copy the full SHA
    3775088 View commit details
    Browse the repository at this point in the history

Commits on Feb 12, 2024

  1. Nullness :: Pattern matching with null should mark input for subseque… 

    …nt clauses as without null + support for matching nulls in tuples (#16659)
    @T-Gro
    T-Gro committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    17a5ca9 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into feature/nullness

    @T-Gro
    T-Gro committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    9bc3f81 View commit details
    Browse the repository at this point in the history

Commits on Feb 13, 2024

  1. Merge branch 'feature/nullness' into merges/main-to-feature/nullness

    @T-Gro
    T-Gro committed Feb 13, 2024
    Configuration menu
    Copy the full SHA
    ec2d4a8 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #16694 from dotnet/merges/main-to-feature/nullness 

    Merge main to feature/nullness
    @T-Gro
    T-Gro committed Feb 13, 2024
    Configuration menu
    Copy the full SHA
    b6b737f View commit details
    Browse the repository at this point in the history

Commits on Feb 14, 2024

  1. Merge pull request #16705 from dotnet/merges/main-to-feature/nullness 

    Merge main to feature/nullness
    @KevinRansom
    KevinRansom committed Feb 14, 2024
    Configuration menu
    Copy the full SHA
    3754c86 View commit details
    Browse the repository at this point in the history

Commits on Feb 16, 2024

  1. Merge branch 'feature/nullness' into merges/main-to-feature/nullness

    @KevinRansom
    KevinRansom committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    bfd8520 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #16722 from dotnet/merges/main-to-feature/nullness 

    Merge main to feature/nullness
    @T-Gro
    T-Gro committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    ab8a943 View commit details
    Browse the repository at this point in the history

Commits on Feb 17, 2024

  1. Merge branch 'feature/nullness' into merges/main-to-feature/nullness

    @T-Gro
    T-Gro committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    d487006 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #16727 from dotnet/merges/main-to-feature/nullness 

    Merge main to feature/nullness
    @T-Gro
    T-Gro committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    0e3f43f View commit details
    Browse the repository at this point in the history

Commits on Feb 20, 2024

  1. Merge pull request #16728 from dotnet/merges/main-to-feature/nullness 

    Merge main to feature/nullness
    @KevinRansom
    KevinRansom committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    49e0d7c View commit details
    Browse the repository at this point in the history

Commits on Feb 23, 2024

  1. Merge branch 'feature/nullness' into merges/main-to-feature/nullness

    @KevinRansom
    KevinRansom committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    97d9437 View commit details
    Browse the repository at this point in the history

Commits on Mar 4, 2024

  1. Feature nullness - support overrides of nullness annotation in the im… 

    …ported object hierarchy (#16711)
    @T-Gro
    T-Gro committed Mar 4, 2024
    Configuration menu
    Copy the full SHA
    6827b1c View commit details
    Browse the repository at this point in the history

  2. Merge branch 'feature/nullness' into merges/main-to-feature/nullness

    @T-Gro
    T-Gro committed Mar 4, 2024
    Configuration menu
    Copy the full SHA
    552c843 View commit details
    Browse the repository at this point in the history

  3. Improve type inference w.r.t. nullness in printing (#16681)

    @T-Gro
    T-Gro committed Mar 4, 2024
    Configuration menu
    Copy the full SHA
    ba69485 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'feature/nullness' into merges/main-to-feature/nullness

    @vzarytovskii
    vzarytovskii committed Mar 4, 2024
    Configuration menu
    Copy the full SHA
    9ae3768 View commit details
    Browse the repository at this point in the history

  5. Update tests/AheadOfTime/Trimming/check.ps1

    @T-Gro
    T-Gro committed Mar 4, 2024
    Configuration menu
    Copy the full SHA
    e8f2b97 View commit details
    Browse the repository at this point in the history

  6. Merge pull request #16752 from dotnet/merges/main-to-feature/nullness 

    Merge main to feature/nullness
    @T-Gro
    T-Gro committed Mar 4, 2024
    Configuration menu
    Copy the full SHA
    1f2b43b View commit details
    Browse the repository at this point in the history

  7. Merge branch 'main' into feature/nullness

    @T-Gro
    T-Gro committed Mar 4, 2024
    Configuration menu
    Copy the full SHA
    5eb9fea View commit details
    Browse the repository at this point in the history

Commits on Mar 5, 2024

  1. Merge branch 'feature/nullness' into merges/main-to-feature/nullness

    @T-Gro
    T-Gro committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    055c772 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #16808 from dotnet/merges/main-to-feature/nullness 

    Merge main to feature/nullness
    @T-Gro
    T-Gro committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    654c27f View commit details
    Browse the repository at this point in the history

Commits on Mar 6, 2024

  1. Merge branch 'main' into feature/nullness

    @T-Gro
    T-Gro committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    806c58e View commit details
    Browse the repository at this point in the history

Commits on Mar 11, 2024

  1. Merge branch 'feature/nullness' into merges/main-to-feature/nullness

    @T-Gro
    T-Gro committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    743996a View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into feature/nullness

    @T-Gro
    T-Gro committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    171b69e View commit details
    Browse the repository at this point in the history

  3. Fix merge errors

    @T-Gro
    T-Gro committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    04b93e1 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'feature/nullness' into merges/main-to-feature/nullness

    @T-Gro
    T-Gro committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    b5b14b6 View commit details
    Browse the repository at this point in the history

  5. Merge pull request #16840 from dotnet/merges/main-to-feature/nullness 

    Merge main to feature/nullness
    @T-Gro
    T-Gro committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    cbaffad View commit details
    Browse the repository at this point in the history

Commits on Mar 13, 2024

  1. Merge branch 'feature/nullness' into merges/main-to-feature/nullness

    @T-Gro
    T-Gro committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    2071594 View commit details
    Browse the repository at this point in the history

Commits on Mar 18, 2024

  1. il tests reflecting visibility change

    @T-Gro
    T-Gro committed Mar 18, 2024
    Configuration menu
    Copy the full SHA
    3c5605c View commit details
    Browse the repository at this point in the history

  2. Merge pull request #16866 from dotnet/merges/main-to-feature/nullness 

    Merge main to feature/nullness
    @T-Gro
    T-Gro committed Mar 18, 2024
    Configuration menu
    Copy the full SHA
    cb696d5 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into feature/nullness

    @T-Gro
    T-Gro committed Mar 18, 2024
    Configuration menu
    Copy the full SHA
    14efaa4 View commit details
    Browse the repository at this point in the history

Commits on Mar 19, 2024

  1. Nullness feature :: New warning for functions insisting on a (WithNul… 

    …l) argument + typar equality fix (#16853)

Null-handling functions now have the option to raise a warning when they are called with a known-to-be-withoutNull argument.
That way, API authors (incl. Fsharp.Core) can help with cleaning code from superflous null checks.

While doing it, a strange error kept coming when using Option.ofObj and other functions with a (T | null) typar.
It turned out that nullness info had been striped from nullable typars on stripTyparEqnsAux calls in some occasions, leading to treating all typars as 'KnownWithoutNull' even when that was not true.
    @T-Gro
    T-Gro committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    72b7494 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into feature/nullness

    @T-Gro
    T-Gro committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    74d1da2 View commit details
    Browse the repository at this point in the history

Commits on Mar 21, 2024

  1. Merge branch 'feature/nullness' into merges/main-to-feature/nullness

    @T-Gro
    T-Gro committed Mar 21, 2024
    Configuration menu
    Copy the full SHA
    ccc35ba View commit details
    Browse the repository at this point in the history

  2. Merge pull request #16915 from dotnet/merges/main-to-feature/nullness 

    Merge main to feature/nullness
    @T-Gro
    T-Gro committed Mar 21, 2024
    Configuration menu
    Copy the full SHA
    8ff2ed1 View commit details
    Browse the repository at this point in the history

Commits on Mar 22, 2024

  1. Merge pull request #16930 from dotnet/merges/main-to-feature/nullness 

    Merge main to feature/nullness
    @KevinRansom
    KevinRansom committed Mar 22, 2024
    Configuration menu
    Copy the full SHA
    5d89ba3 View commit details
    Browse the repository at this point in the history

Commits on Mar 25, 2024

  1. Merge pull request #16939 from dotnet/merges/main-to-feature/nullness 

    Merge main to feature/nullness
    @T-Gro
    T-Gro committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    b84d754 View commit details
    Browse the repository at this point in the history

Commits on Mar 26, 2024

  1. Merge pull request #16949 from dotnet/merges/main-to-feature/nullness 

    Merge main to feature/nullness
    @T-Gro
    T-Gro committed Mar 26, 2024
    Configuration menu
    Copy the full SHA
    7f502b7 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into feature/nullness

    @T-Gro
    T-Gro committed Mar 26, 2024
    Configuration menu
    Copy the full SHA
    65c7b8b View commit details
    Browse the repository at this point in the history

Commits on Mar 28, 2024

  1. Feature nullness - propper guards against | null on unsupported t… 

    …ypes (#16907)

TODOs resolved:
* mkAppTy resolved
* mkFunTyWithNullness
* delayed checks of post-infered values for nullness-carrying capabilities
    @T-Gro
    T-Gro committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    55cd42f View commit details
    Browse the repository at this point in the history

Commits on Apr 2, 2024

  1. Merge pull request #16960 from dotnet/merges/main-to-feature/nullness 

    Merge main to feature/nullness
    @T-Gro
    T-Gro committed Apr 2, 2024
    Configuration menu
    Copy the full SHA
    b34e568 View commit details
    Browse the repository at this point in the history

Commits on Apr 4, 2024

  1. Merge pull request #16980 from dotnet/merges/main-to-feature/nullness 

    Merge main to feature/nullness
    @KevinRansom
    KevinRansom committed Apr 4, 2024
    Configuration menu
    Copy the full SHA
    faba56d View commit details
    Browse the repository at this point in the history

Commits on Apr 5, 2024

  1. Merge pull request #16989 from dotnet/merges/main-to-feature/nullness 

    Merge main to feature/nullness
    @T-Gro
    T-Gro committed Apr 5, 2024
    Configuration menu
    Copy the full SHA
    a6be10c View commit details
    Browse the repository at this point in the history

Commits on Apr 6, 2024

  1. Merge pull request #16996 from dotnet/merges/main-to-feature/nullness 

    Merge main to feature/nullness
    @KevinRansom
    KevinRansom committed Apr 6, 2024
    Configuration menu
    Copy the full SHA
    b8feeac View commit details
    Browse the repository at this point in the history

Commits on Apr 10, 2024

  1. Merge pull request #17007 from dotnet/merges/main-to-feature/nullness 

    Merge main to feature/nullness
    @T-Gro
    T-Gro committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    9067ad6 View commit details
    Browse the repository at this point in the history

Commits on Apr 11, 2024

  1. Merge pull request #17023 from dotnet/merges/main-to-feature/nullness 

    Merge main to feature/nullness
    @T-Gro
    T-Gro committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    647d797 View commit details
    Browse the repository at this point in the history

Commits on Apr 12, 2024

  1. Merge branch 'feature/nullness' into merges/main-to-feature/nullness

    @T-Gro
    T-Gro committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    bc8a27e View commit details
    Browse the repository at this point in the history

Commits on Apr 16, 2024

  1. Merge pull request #17037 from dotnet/merges/main-to-feature/nullness 

    Merge main to feature/nullness
    @T-Gro
    T-Gro committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    58f8cac View commit details
    Browse the repository at this point in the history

Commits on Apr 17, 2024

  1. Merge pull request #17058 from dotnet/merges/main-to-feature/nullness 

    Merge main to feature/nullness
    @KevinRansom
    KevinRansom committed Apr 17, 2024
    Configuration menu
    Copy the full SHA
    b5b3f0d View commit details
    Browse the repository at this point in the history

Commits on Apr 18, 2024

  1. Merge branch 'feature/nullness' into merges/main-to-feature/nullness

    @T-Gro
    T-Gro committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    c1b53bc View commit details
    Browse the repository at this point in the history

  2. Merge pull request #17065 from dotnet/merges/main-to-feature/nullness 

    Merge main to feature/nullness
    @T-Gro
    T-Gro committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    42c6afd View commit details
    Browse the repository at this point in the history

Commits on Apr 19, 2024

  1. Feature nullness :: warn also for 'obj' type (since it can be infered… 

    … for null literal) (#16962)
    @T-Gro
    T-Gro committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    d78f5aa View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into feature/nullness

    @T-Gro
    T-Gro committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    a0a7d82 View commit details
    Browse the repository at this point in the history

Commits on Apr 26, 2024

  1. Nullness feature :: various bugfixes (#17080) 

    * Bugfix - matching aliased nullable should strip nullness

Eliminating nullness after pattern matching null (that is , for subsequent patterns) must visit contents of abbreviations as well. Otherwise it does not work with the Maybe<T> type whcih we use in the compiler.

* Making 'obj' work with new 'not null' constraints in fslib functions

Bugfix: obj cannot be passed to generic typars which require T: not null, such as the NonNull active pattern.

This commit fixes it.

* Bugfix - false 'useless null' warning in nested applications

Error fixed:
Error on useless null checkwith nullness constraint propagation in code like this:let meTry = Option.ofObj (Path.GetDirectoryName "")`. The warning about 'useless Option.ofObj' points to the string literal, ignoring the string literal is first passed to an API which may return null

* Fix import for C# extension methods

Bugfix for:
C# extension methods which put "?" on the this argument are wrongly interpreted by moving the nullability elsewhere. See AsMemory<T> from System.Memory.dll , this treats byteArray.ToMemory() as resulting in a Memory<byte | null> which is clearly wrong.

Also, this now allows to call C# extension methods with ?this to be invoked on a nullable value.

* LinkedList First,Last bugfix

There was a bug of LinkedList .First and .Last properties not returning nullable nodes.
This was fixed by improved byte import in previous commit, adding a regression test for guarding this.


* Bugfix: Solve nullness for typars

This fixes a bug where `not null` generic constraint was incorrectly passed between two typars:`T1 | null` with not null constraint on T1, and T2 without constraints.

This occured when calling Option.ofObj(..) when the inner expression caused solving of generic type arguments, e.g. after (|>) or (id) function.

This uses additional inference variable to unify them.
    @T-Gro
    T-Gro committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    13e8af2 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #17083 from dotnet/merges/main-to-feature/nullness 

    Merge main to feature/nullness
    @T-Gro
    T-Gro committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    3bcf33d View commit details
    Browse the repository at this point in the history

Commits on Apr 29, 2024

  1. Merge branch 'feature/nullness' into merges/main-to-feature/nullness

    @T-Gro
    T-Gro committed Apr 29, 2024
    Configuration menu
    Copy the full SHA
    14d666e View commit details
    Browse the repository at this point in the history

Commits on May 16, 2024

  1. Merge branch 'main' into merges/main-to-feature/nullness

    @T-Gro
    T-Gro committed May 16, 2024
    Configuration menu
    Copy the full SHA
    fed2bdb View commit details
    Browse the repository at this point in the history

  2. updating IL tests

    @T-Gro
    T-Gro committed May 16, 2024
    Configuration menu
    Copy the full SHA
    ebdeebc View commit details
    Browse the repository at this point in the history

  3. One more try

    @T-Gro
    T-Gro committed May 16, 2024
    Configuration menu
    Copy the full SHA
    f161691 View commit details
    Browse the repository at this point in the history

Commits on May 17, 2024

  1. surface area

    @T-Gro
    T-Gro committed May 17, 2024
    Configuration menu
    Copy the full SHA
    6cf326c View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into merges/main-to-feature/nullness

    @T-Gro
    T-Gro committed May 17, 2024
    Configuration menu
    Copy the full SHA
    e154438 View commit details
    Browse the repository at this point in the history

  3. trimmed size

    @T-Gro
    T-Gro committed May 17, 2024
    Configuration menu
    Copy the full SHA
    0b65db9 View commit details
    Browse the repository at this point in the history

  4. Merge pull request #17097 from dotnet/merges/main-to-feature/nullness

    @T-Gro
    T-Gro committed May 17, 2024
    Configuration menu
    Copy the full SHA
    176275f View commit details
    Browse the repository at this point in the history

Commits on May 20, 2024

  1. Merge branch 'merges/main-to-feature/nullness' of https://github.com/… 

    …dotnet/fsharp into merges/main-to-feature/nullness
    @T-Gro
    T-Gro committed May 20, 2024
    Configuration menu
    Copy the full SHA
    a6373c9 View commit details
    Browse the repository at this point in the history

  2. trimmed size

    @T-Gro
    T-Gro committed May 20, 2024
    Configuration menu
    Copy the full SHA
    817ee1e View commit details
    Browse the repository at this point in the history

  3. Merge branch 'feature/nullness' into merges/main-to-feature/nullness

    @T-Gro
    T-Gro committed May 20, 2024
    Configuration menu
    Copy the full SHA
    61f5777 View commit details
    Browse the repository at this point in the history

  4. Merge pull request #17175 from dotnet/merges/main-to-feature/nullness 

    Merge main to feature/nullness
    @T-Gro
    T-Gro committed May 20, 2024
    Configuration menu
    Copy the full SHA
    03e294f View commit details
    Browse the repository at this point in the history

  5. fix issues for plain 'dotnet build Fsharp.Compiler.Service.sln`

    @T-Gro
    T-Gro committed May 20, 2024
    Configuration menu
    Copy the full SHA
    7da45b5 View commit details
    Browse the repository at this point in the history

  6. update FSharpCoreShippedPackageVersionValue

    @T-Gro
    T-Gro committed May 20, 2024
    Configuration menu
    Copy the full SHA
    c28b21a View commit details
    Browse the repository at this point in the history

  7. Wkraround attributetargets issue by using 'obj'. This removes 3x box … 

    …and adds 1x unbox.
    @T-Gro
    T-Gro committed May 20, 2024
    Configuration menu
    Copy the full SHA
    3570b2f View commit details
    Browse the repository at this point in the history

Commits on May 21, 2024

  1. Merge pull request #17185 from dotnet/feature-nullness-fix-plain-builds 

    Fix issues for plain 'dotnet build Fsharp.Compiler.Service.sln`
    @T-Gro
    T-Gro committed May 21, 2024
    Configuration menu
    Copy the full SHA
    13e50b4 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'feature/nullness' into merges/main-to-feature/nullness

    @T-Gro
    T-Gro committed May 21, 2024
    Configuration menu
    Copy the full SHA
    3d375d2 View commit details
    Browse the repository at this point in the history

  3. Feature nullness :: Bugfixes (#17102) 

    * Ignore Nullness applied on structs (C# allows T? when when T is a struct)
* Bigfix: Working with CLI events in Fsharp
* Bugfix: Mutable binding initially assigned to null should not need type annotation
* Solving `let mutable cache = null` via type inference
* Enforcing TyparConstraint.IsReferenceType when WithNull type is used
* Nullness-related constraint consistency
* Bugfix for emitting Nullable attrs for C#
    @T-Gro
    T-Gro committed May 21, 2024
    Configuration menu
    Copy the full SHA
    e2e698d View commit details
    Browse the repository at this point in the history

  4. Merge branch 'feature/nullness' into merges/main-to-feature/nullness

    @T-Gro
    T-Gro committed May 21, 2024
    Configuration menu
    Copy the full SHA
    165f664 View commit details
    Browse the repository at this point in the history

  5. Merge pull request #17192 from dotnet/merges/main-to-feature/nullness 

    Merge main to feature/nullness
    @T-Gro
    T-Gro committed May 21, 2024
    Configuration menu
    Copy the full SHA
    3603443 View commit details
    Browse the repository at this point in the history

Commits on Jun 11, 2024

  1. Merge branch 'feature/nullness' into merges/main-to-feature/nullness

    @T-Gro
    T-Gro committed Jun 11, 2024
    Configuration menu
    Copy the full SHA
    101ae03 View commit details
    Browse the repository at this point in the history

  2. Automated command ran: fantomas 

      Co-authored-by: T-Gro <46543583+T-Gro@users.noreply.github.com>
    @github-actions
    github-actions[bot] committed Jun 11, 2024
    Configuration menu
    Copy the full SHA
    aa62eef View commit details
    Browse the repository at this point in the history

  3. Feature nullness :: Try infer without null even when function/method … 

    …arg is marked as nullable (#17269)
    @T-Gro
    T-Gro committed Jun 11, 2024
    Configuration menu
    Copy the full SHA
    a72457e View commit details
    Browse the repository at this point in the history

  4. Feature nullness :: apply nullness annotations to usages of 'obj' in … 

    …Fsharp.Core (#17284)
    @T-Gro
    T-Gro committed Jun 11, 2024
    Configuration menu
    Copy the full SHA
    d4ad891 View commit details
    Browse the repository at this point in the history

  5. Merge pull request #17213 from dotnet/merges/main-to-feature/nullness 

    Merge main to feature/nullness
    @T-Gro
    T-Gro committed Jun 11, 2024
    Configuration menu
    Copy the full SHA
    382a327 View commit details
    Browse the repository at this point in the history

Commits on Jun 12, 2024

  1. Merge branch 'main' into feature/nullness

    @T-Gro
    T-Gro committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    f9b1ccc View commit details
    Browse the repository at this point in the history

  2. resolve build error from auto-merge

    @T-Gro
    T-Gro committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    d84326b View commit details
    Browse the repository at this point in the history

Commits on Jun 17, 2024

  1. Merge branch 'feature/nullness' into merges/main-to-feature/nullness

    @T-Gro
    T-Gro committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    64033b9 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #17304 from dotnet/merges/main-to-feature/nullness 

    Merge main to feature/nullness
    @T-Gro
    T-Gro committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    d2d7bd3 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into feature/nullness

    @T-Gro
    T-Gro committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    7bde93c View commit details
    Browse the repository at this point in the history

Commits on Jun 18, 2024

  1. Merge pull request #17320 from dotnet/merges/main-to-feature/nullness 

    Merge main to feature/nullness
    @T-Gro
    T-Gro committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    679f605 View commit details
    Browse the repository at this point in the history

Commits on Jun 19, 2024

  1. Feature nullness :: Cleanups, Test reorg, fix incrementalbuild cache … 

    …behavior (#17309)


* Fix TransparentCompiler - it should report PostInference errors if it only encountered a warning (reported as an error due to confiig)
    @T-Gro
    T-Gro committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    5488a35 View commit details
    Browse the repository at this point in the history

Commits on Jun 26, 2024

  1. Merge branch 'feature/nullness' into merges/main-to-feature/nullness

    @T-Gro
    T-Gro committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    107ee5c View commit details
    Browse the repository at this point in the history

  2. Merge pull request #17337 from dotnet/merges/main-to-feature/nullness 

    Merge main to feature/nullness
    @T-Gro
    T-Gro committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    dc92a0c View commit details
    Browse the repository at this point in the history

Commits on Jul 1, 2024

  1. Merge branch 'merges/main-to-feature/nullness' of https://github.com/… 

    …dotnet/fsharp into merges/main-to-feature/nullness
    @T-Gro
    T-Gro committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    469899b View commit details
    Browse the repository at this point in the history

  2. Merge branch 'feature/nullness' into merges/main-to-feature/nullness

    @T-Gro
    T-Gro committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    24f923c View commit details
    Browse the repository at this point in the history

  3. fix build issues

    @T-Gro
    T-Gro committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    c8cfda2 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'merges/main-to-feature/nullness' of https://github.com/… 

    …dotnet/fsharp into merges/main-to-feature/nullness
    @T-Gro
    T-Gro committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    653507c View commit details
    Browse the repository at this point in the history

Commits on Jul 3, 2024

  1. Merge pull request #17354 from dotnet/merges/main-to-feature/nullness 

    Merge main to feature/nullness
    @T-Gro
    T-Gro committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    fedc901 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into feature/nullness

    @T-Gro
    T-Gro committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    7ec905d View commit details
    Browse the repository at this point in the history

  3. resolve semantic merge error

    @T-Gro
    T-Gro committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    1f2e0c4 View commit details
    Browse the repository at this point in the history

Commits on Jul 9, 2024

  1. merge

    @KevinRansom
    KevinRansom committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    ddd666d View commit details
    Browse the repository at this point in the history

  2. Merge pull request #17395 from KevinRansom/nullness 

    Update a few baselines
    @T-Gro
    T-Gro committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    59938f4 View commit details
    Browse the repository at this point in the history

  3. Nullness subsumption when used for contravariant typars

    @T-Gro
    T-Gro committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    49bec1c View commit details
    Browse the repository at this point in the history

  4. Merge branch 'feature/nullness' into feature-nullness-variance

    @T-Gro
    T-Gro committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    6a65374 View commit details
    Browse the repository at this point in the history

Commits on Jul 11, 2024

  1. fix nullness plain build (#17404)

    @T-Gro
    T-Gro committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    30c3432 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'feature/nullness' into feature-nullness-variance

    @T-Gro
    T-Gro committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    5f6b7da View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into feature/nullness

    @vzarytovskii
    vzarytovskii committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    3752733 View commit details
    Browse the repository at this point in the history

  4. Merge pull request #17398 from dotnet/feature-nullness-variance 

    Feature nullness :: Subsume nullness for contravariant type parameters (such as the one in IEqualityComparer<in T>)
    @T-Gro
    T-Gro committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    57026b8 View commit details
    Browse the repository at this point in the history

  5. Update docs/release-notes/.FSharp.Compiler.Service/8.0.300.md

    @T-Gro
    T-Gro committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    972fa34 View commit details
    Browse the repository at this point in the history

Commits on Jul 16, 2024

  1. Merge branch 'main' into feature/nullness

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

  2. Update release notes

    @vzarytovskii
    vzarytovskii committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    990c7ea View commit details
    Browse the repository at this point in the history

  3. Update check.ps1

    @psfinaki
    psfinaki committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    1e74ec8 View commit details
    Browse the repository at this point in the history

  4. Update check.ps1

    @psfinaki
    psfinaki committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    1872156 View commit details
    Browse the repository at this point in the history