diff --git a/src/fsharp/FSharp.Core.PropertyTests/CollectionModulesConsistency.fs b/src/fsharp/FSharp.Core.PropertyTests/CollectionModulesConsistency.fs index 93c0cd7dd68..e8e36562be1 100644 --- a/src/fsharp/FSharp.Core.PropertyTests/CollectionModulesConsistency.fs +++ b/src/fsharp/FSharp.Core.PropertyTests/CollectionModulesConsistency.fs @@ -686,6 +686,18 @@ let ``min is consistent`` () = Check.QuickThrowOnFailure min Check.QuickThrowOnFailure min +let minBy<'a when 'a : comparison> (xs : 'a []) f = + let s = runAndCheckIfAnyError (fun () -> xs |> Seq.minBy f) + let l = runAndCheckIfAnyError (fun () -> xs |> List.ofArray |> List.minBy f) + let a = runAndCheckIfAnyError (fun () -> xs |> Array.minBy f) + s = a && l = a + +[] +let ``minBy is consistent`` () = + Check.QuickThrowOnFailure minBy + Check.QuickThrowOnFailure minBy + Check.QuickThrowOnFailure minBy + let sort<'a when 'a : comparison> (xs : 'a []) = let s = xs |> Seq.sort let l = xs |> List.ofArray |> List.sort