init is consistent

dotnet · Jul 29, 2015 · d3cf7b5 · d3cf7b5
1 parent ed8382f
commit d3cf7b5
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
@@ -384,6 +384,18 @@ let ``indexed is consistent`` () =
     Check.QuickThrowOnFailure indexed<string>
     Check.QuickThrowOnFailure indexed<NormalFloat>
 
+let init<'a when 'a : equality> count f =
+    let s = run (fun () -> Seq.init count f |> Seq.toArray)
+    let l = run (fun () -> List.init count f |> Seq.toArray)
+    let a = run (fun () -> Array.init count f)
+    s = a && l = a
+
+[<Test>]
+let ``init is consistent`` () =
+    Check.QuickThrowOnFailure init<int>
+    Check.QuickThrowOnFailure init<string>
+    Check.QuickThrowOnFailure init<NormalFloat>
+
 let item<'a when 'a : equality> (xs : 'a []) index =
     let s = runAndCheckIfAnyError (fun () -> xs |> Seq.item index)
     let l = runAndCheckIfAnyError (fun () -> xs |> List.ofArray |> List.item index)