⬆ 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.0.0

Release notes

Sourced from FsCheck.Xunit's releases.

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. Detailed changes to FsCheck.Fluent.Gen: Split into non-extension methods on Gen and extension methods on Gen<T> type in GenExtensions. Removed Gen.Apply - not useful without partial application. Two, Three, Four and Zip now output ValueTuples, which is idiomatic in modern C#, and are only visible as extension methods on Gen<T>. Removed the overloads of Zip with arity 3. Changed the return type of methods that returned IList<T> previously to List<T>. Split the Sample method with optional arguments in three overloads, this is better for backwards compatibilty going forward. Detailed changes to FsCheck.FSharp.Arb: Removed fromGenShrinkFunc. Removed register, registerByType, from, generate and shrink - these are replaced by functions on ArbMap, resp. mergeWith, mergeWithType, arbitrary and generate. Made Arb.Default internal. Default types should now be looked up using ArbMap, e.g. ArbMap.defaults |> ArbMap.arbitrary<list<int>>. Detailed changes to FsCheck.Fluent.Arb: Removed extension method ToArbitrary that took an F# function as argument for the shrinker. Renamad Arb.From methods to Arbitrary.From - C# does not tolerate ambiguity between using two types of the same name in the same namespace. Removed Register, RegisterByType, From, Generate and Shrink - these are replaced by methods on ArbMap, resp. Merge<'T>, Merge, ArbFor and GeneratorFor. Made Arb.Default internal. Default Arbitrary types should now be looked up using ArbMap, e.g. ArbMap.Default.ArbFor<int[]>(). First pass at improving XML docs for Gen API. Fixed bug in try..with computation expression builder. Added support for let!...and!... syntax in computation expression builder.

... (truncated)

Changelog

Sourced from FsCheck.Xunit's changelog.

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

• 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.

... (truncated)

Commits

• 80549a5 Bump version to 3.0.0
• f2fbe94 Update release notes for 3.0!
• 4df0c97 Zip shrinks both values independently.
• 2eb1cf5 Update xunit and fix #682.
• 00ab875 Update NUnit to 4.0.
• 27689b8 FsCheck.NUnit: indicate compatibility with NUnit v4
• 53e7224 FsCheck: add Directory.Build.targets, sort
• 231a6a5 implement PropertiesAttribute for NUnit (#689)
• 720c0a3 Fix stamps missing from final test (#688)
• 9431d4f Handle NUnit ResultStateException. Fixes #627 (#687)
• 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)

[dependabot]

Looks like these dependencies are up-to-date now, so this is no longer needed.