Commit ab582110 authored by POTTIER Francois's avatar POTTIER Francois

Removed [Misc.array_forall].

parent f9148519
......@@ -254,22 +254,3 @@ let postincrement r =
r := x + 1;
x
(* [array_forall p a] computes the conjunction of the predicate [p] over all
elements of the array [a]. *)
exception ArrayForall
let _ArrayForall =
ArrayForall
let array_forall (p : 'a -> bool) (a : 'a array) : bool =
try
for i = 0 to Array.length a - 1 do
let x = Array.get a i in
if not (p x) then
raise _ArrayForall
done;
true
with ArrayForall ->
false
......@@ -155,8 +155,3 @@ val normalize: string -> string
val postincrement: int ref -> int
(* [array_forall p a] computes the conjunction of the predicate [p] over all
elements of the array [a]. *)
val array_forall: ('a -> bool) -> 'a array -> bool
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment