From 01ada1f11dae11864fdfa1b0ca3c573cab71f5e8 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Wed, 28 Mar 2018 15:39:21 -0500
Subject: [PATCH] fix(test): compatibility fix for 4.02

---
 src/Sequence.ml | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/src/Sequence.ml b/src/Sequence.ml
index 28ca408..72bda54 100644
--- a/src/Sequence.ml
+++ b/src/Sequence.ml
@@ -1321,11 +1321,20 @@ let sample k seq =
     if !i < k then Array.sub a 0 (!i + 1)
     else a
 
+(*$inject
+  let array_for_all f a =
+    try
+    for i=0 to Array.length a-1 do
+      if not (f a.(i)) then raise Exit
+     done; true
+  with Exit -> false
+*)
+
 (*$QR
   Q.(pair (list int) (1 -- 20)) (fun (l, n) ->
     let seq = of_list l in
     let a = sample n seq in
-    (Array.for_all (fun x -> exists ((=) x) seq) a)
+    (array_for_all (fun x -> exists ((=) x) seq) a)
     && (Array.length a = Pervasives.min (length seq) n) )
 *)