forall is consistent

dotnet · Jul 29, 2015 · ab9f2a7 · ab9f2a7
1 parent c0e8525
commit ab9f2a7
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
@@ -322,6 +322,18 @@ let ``foldBack2 is consistent`` () =
     Check.QuickThrowOnFailure foldBack2<float,float,int>
     Check.QuickThrowOnFailure foldBack2<float,float,string>
 
+let forall<'a when 'a : equality> (xs : 'a []) f =
+    let s = xs |> Seq.forall f
+    let l = xs |> List.ofArray |> List.forall f
+    let a = xs |> Array.forall f
+    s = a && l = a
+
+[<Test>]
+let ``forall is consistent`` () =
+    Check.QuickThrowOnFailure forall<int>
+    Check.QuickThrowOnFailure forall<string>
+    Check.QuickThrowOnFailure forall<NormalFloat>
+
 let indexed<'a when 'a : equality> (xs : 'a []) =
     let s = xs |> Seq.indexed
     let l = xs |> List.ofArray |> List.indexed