findIndex is consistent

dotnet · Jul 29, 2015 · bed8875 · bed8875
1 parent ff49e7a
commit bed8875
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/src/fsharp/FSharp.Core.PropertyTests/CollectionModulesConsistency.fs b/src/fsharp/FSharp.Core.PropertyTests/CollectionModulesConsistency.fs
@@ -238,6 +238,18 @@ let ``findBack is consistent`` () =
     Check.QuickThrowOnFailure findBack<string>
     Check.QuickThrowOnFailure findBack<NormalFloat>
 
+let findIndex<'a when 'a : equality> (xs : 'a []) index =
+    let s = run (fun () -> xs |> Seq.findIndex index)
+    let l = run (fun () -> xs |> List.ofArray |> List.findIndex index)
+    let a = run (fun () -> xs |> Array.findIndex index)
+    s = a && l = a
+
+[<Test>]
+let ``findIndex is consistent`` () =
+    Check.QuickThrowOnFailure findIndex<int>
+    Check.QuickThrowOnFailure findIndex<string>
+    Check.QuickThrowOnFailure findIndex<NormalFloat>
+
 let sort<'a when 'a : comparison> (xs : 'a []) =
     let s = xs |> Seq.sort 
     let l = xs |> List.ofArray |> List.sort