⬆ Bump FSharp.Core, FsCheck.Xunit and xunit.abstractions

[dependabot]

Bumps FSharp.Core, FsCheck.Xunit and xunit.abstractions. These dependencies needed to be updated together.
Updates FSharp.Core from 9.0.100 to 5.0.2

Changelog

Sourced from FSharp.Core's changelog.

FSharp.Core 5.0.2

• [Fix #11143 - FSharp.Core 5.0.1 should not have FSharp.Core.xml in contentFiles #11160](dotnet/fsharp#11160)

FSharp.Core 5.0.1

• Performance improvement to core collections Map by Victor Baybekov

FSharp tools 12.0.0

• Update F# Tooling, Language and F# Core version numbers

FSharp tools 11.0.1

• Significant improvements to the performance of code making heavy use of closures at runtime
• Warnings for mismatched parameter names between signature and implementation files
• Warnings for incorrect XML documentation files are turned on by default
• Big performance gains in tools for codebases with F# signature files
• Improved responsiveness for most IDE features
• Signature Help for F# function calls
• .NET 5 scripting for Visual Studio
• Add ConvertToAnonymousRecord quick fix #10493
• Add UseMutationWhenValueIsMutable code fix #10488
• Add MakeDeclarationMutable code fix #10480
• Add ChangeToUpcast code fix #10463
• Add AddMissingEqualsToTypeDefinition code fixer #10470
• Tag items in tooltips consistently with respect to document classification. #9563
• Add ConvertToSingleEqualsEqualityExpression code fix #10462
• Turn XML doc and SigImpl mismatch warnings on by default #10457
• Add ChangeRefCellDerefToNotExpression code fixer #10469
• Add WrapExpressionInParentheses code fix #10460
• Add ChangePrefixNegationToInfixSubtraction code fixeroo #10471
• Fix generic overloads with nullable #10582
• Resolve issue with implicit yields requiring Zero #10556, by Ryan Coy
• Fix issue10550 FSI accessing System.Configuration. #10572
• Add field names to ILNativeType.Custom. #10567, by Scott Hutchinson
• Add field names to the ILExceptionClause.FilterCatch constructor. #10559, by Scott Hutchinson
• Fix completion with backticks, underscores, numbers #10500, by zanaptak
• Emitting IsReadOnly/In attributes on abstract properties #10542
• Disable partial type checking when getting full results for a file #10448
• Fix unused open type declaration detection #10510, by André Slupik

FSharp Compiler Service 41.0.0

• Update F# Tooling, Language and F# Core version numbers

FSharp Compiler Service 40.0.0

This is a second big update to FCS. There are significant trimmings and renamings of the API and gets it close to a more permanent form:

... (truncated)

Commits

• See full diff in compare view

Updates FsCheck.Xunit from 2.16.6 to 3.1.0

Release notes

Sourced from FsCheck.Xunit's releases.

3.1.0

Support Asyncwhere'T` is not itself a testable type. (by Brian Rourke Boll)

3.0.1

• FsCheck.Xunit: target net462 explicitly, so xunit picks the right runner on .NET Framework.

3.0.0

• Fix stamp missing for final test. (by Calum Sieppert)

• FsCheck.NUnit: updated to NUnit 4. (with David Naylor)

• FsCheck.NUnit: implement PropertiesAttribute. (by Oleksandr Bogomaz)

• FsCheck.NUnit: handle NUnit's signalling exceptions. (by Oleksandr Bogomaz)

• FsCheck.Xunit: fixed MissingMethodException caused by integration issue with xunit 2.9.x.

3.0.0-rc3

• Breaking change: confusingly named StringNoNnulls is renamed to StringNoNullChar.
• Breaking change: The operators |@, @| and %> are removed. Please use Prop.label instead.
• Added more ForAll overloads for various Task types.
• The collections types NonEmptySet, NonEmptyArray and FixedLengthArray now implement IEnnumerable to avoid a call to Get in common scenarios.
• Enabled source linking and deterministic builds. (by Patrick Stevens)

3.0.0-rc2

• Negative decimals are now also generated. (by Stephen Smith)

• Relax FsCheck.Xunit's restriction on xUnit versions. (by Tom Rijnbeek)

• Made Gen.choose64 public.

• Remove dependency on FAKE and paket in favor of standard .NET tools. (by Patrick Stevens)cription of the release

3.0.0-rc1

• Enable properties that return Task<T>. (by Mark Seemann)

• Includes all changes up to 2.16.6.

3.0.0-beta2

Fixed bug that caused exceptions not to be propagated to output correctly. Added a few missing methods in Fluent.Arbitrary. Add a few missing Prop.ForAll overloads. Includes changes in 2.16.4.

3.0.0-beta1

Backwards incompatible*: Refactor and split of the Gen and Arbitrary APIs into FsCheck.FSharp and FsCheck.Fluent. This is a first step in splitting the entire API into a functional (for F# consumers) and fluent (for C# and VB.NET consumers) interface. This should be clearer for both kinds of consumers. By and large, if you are an F# user, now open FsCheck.FSharp in addition to open FsCheck. If you are a C# or VB.NET user, add using FsCheck.Fluent. Backwards incompatible*: redesigned API for per-type Arbitrary instance discovery and lookup. There is no longer a single global, mutable map of type to Arbitrary instances, instead there are any number of immutable IArbMaps that can be configured at your leisure, and set via Config.WithArbitrary on the test. Detailed changes to FsCheck.FSharp.Gen: Added RequireQualifiedAccess. Added apply and bind. Renamed collect and sequence to collect/sequenceToList/Array/Seq for clarity. Removed unzip and unzip3 - their implementation is problematic, and it's hard to see a use case for them. Removed subListOfToIlist, subListOfArr - these returned IList<'T> types. Untupled rows,cols arguments in array2DOfDim.

... (truncated)

Changelog

Sourced from FsCheck.Xunit's changelog.

3.1.0 - 30 January 2025

• Support Asyncwhere'T` is not itself a testable type. (by Brian Rourke Boll)

3.0.1 - 22 January 2025

• FsCheck.Xunit: target net462 explicitly, so xunit picks the right runner on .NET Framework.

3.0.0 - 7 January 2025

• Fix stamp missing for final test. (by Calum Sieppert)

• FsCheck.NUnit: updated to NUnit 4. (with David Naylor)

• FsCheck.NUnit: implement PropertiesAttribute. (by Oleksandr Bogomaz)

• FsCheck.NUnit: handle NUnit's signalling exceptions. (by Oleksandr Bogomaz)

• FsCheck.Xunit: fixed MissingMethodException caused by integration issue with xunit 2.9.x.

3.0.0-rc3 - 3 March 2024

• Breaking change: confusingly named StringNoNnulls is renamed to StringNoNullChar.

• Breaking change: The operators |@, @| and %> are removed. Please use Prop.label instead.

• Added more ForAll overloads for various Task types.

• The collections types NonEmptySet, NonEmptyArray and FixedLengthArray now implement IEnnumerable to avoid a call to Get in common scenarios.

• Enabled source linking and deterministic builds. (by Patrick Stevens)

3.0.0-rc2 - 25 February 2024

• Negative decimals are now also generated. (by Stephen Smith)

• Relaxed FsCheck.Xunit's restriction on xUnit versions. (by Tom Rijnbeek)

• Made Gen.choose64 public.

• Removed dependency on FAKE and paket in favor of standard .NET tools. (by Patrick Stevens)

3.0.0-rc1 - 23 July 2023

• Enable properties that return Task<T>. (by Mark Seemann)

• Includes all changes up to 2.16.6.

3.0.0-beta2 - 8 January 2022

... (truncated)

Commits

• 7499215 Bump version to 3.1.0
• 6fbc1f9 Ship it
• 0d62898 Update release notes.
• b463b78 Add Release target.
• b88b0b9 Support Async\<'Testable> & Task\<'Testable> (#694)
• dcc9ec2 Improving doc comment
• b4a0047 Bump version to 3.0.1
• 73dfaf0 Update release notes.
• 476328b Add net462 target to FsCheck.Xunit.
• 80549a5 Bump version to 3.0.0
• Additional commits viewable in compare view

Updates xunit.abstractions from 2.0.3 to 2.0.3

Commits

• See full diff in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot merge will merge this PR after your CI passes on it
• @dependabot squash and merge will squash and merge this PR after your CI passes on it
• @dependabot cancel merge will cancel a previously requested merge and block automerging
• @dependabot reopen will reopen this PR if it is closed
• @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)