blob: 29f00616077107b9e690b5dbe45a9b06577ef5f4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
|
let () =
let a = [|0;1;2;3;4;5;6;7;8;9|] in
assert (Array.exists (fun a -> a < 10) a);
assert (Array.exists (fun a -> a > 0) a);
assert (Array.exists (fun a -> a = 0) a);
assert (Array.exists (fun a -> a = 1) a);
assert (Array.exists (fun a -> a = 2) a);
assert (Array.exists (fun a -> a = 3) a);
assert (Array.exists (fun a -> a = 4) a);
assert (Array.exists (fun a -> a = 5) a);
assert (Array.exists (fun a -> a = 6) a);
assert (Array.exists (fun a -> a = 7) a);
assert (Array.exists (fun a -> a = 8) a);
assert (Array.exists (fun a -> a = 9) a);
assert (not (Array.exists (fun a -> a < 0) a));
assert (not (Array.exists (fun a -> a > 9) a));
assert (Array.exists (fun _ -> true) a);
;;
let () =
let a = [|1;2;3|] in
assert (Array.exists (fun a -> a < 3) a);
assert (Array.exists (fun a -> a < 2) a);
assert (not (Array.exists (fun a -> a < 1) a));
assert (Array.exists (fun a -> a mod 2 = 0) [|1;4;5|]);
assert (not (Array.exists (fun a -> a mod 2 = 0) [|1;3;5|]));
assert (not (Array.exists (fun _ -> true) [||]));
assert (Array.exists (fun a -> a.(9) = 1) (Array.make_matrix 10 10 1));
let f = Array.create_float 10 in
Array.fill f 0 10 1.0;
assert (Array.exists (fun a -> a = 1.0) f);
;;
let () =
let a: int array = [||] in
assert (not (Array.exists (fun a -> a = 0) a));
assert (not (Array.exists (fun a -> a = 1) a));
assert (not (Array.exists (fun a -> a = 2) a));
assert (not (Array.exists (fun a -> a = 3) a));
assert (not (Array.exists (fun a -> a = 4) a));
assert (not (Array.exists (fun a -> a = 5) a));
assert (not (Array.exists (fun a -> a = 6) a));
assert (not (Array.exists (fun a -> a = 7) a));
assert (not (Array.exists (fun a -> a = 8) a));
assert (not (Array.exists (fun a -> a = 9) a));
assert (not (Array.exists (fun a -> a <> 0) a));
assert (not (Array.exists (fun a -> a <> 1) a));
assert (not (Array.exists (fun a -> a <> 2) a));
assert (not (Array.exists (fun a -> a <> 3) a));
assert (not (Array.exists (fun a -> a <> 4) a));
assert (not (Array.exists (fun a -> a <> 5) a));
assert (not (Array.exists (fun a -> a <> 6) a));
assert (not (Array.exists (fun a -> a <> 7) a));
assert (not (Array.exists (fun a -> a <> 8) a));
assert (not (Array.exists (fun a -> a <> 9) a));
assert (not (Array.exists (fun a -> a < 0) a));
assert (not (Array.exists (fun a -> a < 1) a));
assert (not (Array.exists (fun a -> a < 2) a));
assert (not (Array.exists (fun a -> a < 3) a));
assert (not (Array.exists (fun a -> a < 4) a));
assert (not (Array.exists (fun a -> a < 5) a));
assert (not (Array.exists (fun a -> a < 6) a));
assert (not (Array.exists (fun a -> a < 7) a));
assert (not (Array.exists (fun a -> a < 8) a));
assert (not (Array.exists (fun a -> a < 9) a));
assert (not (Array.exists (fun a -> a > 0) a));
assert (not (Array.exists (fun a -> a > 1) a));
assert (not (Array.exists (fun a -> a > 2) a));
assert (not (Array.exists (fun a -> a > 3) a));
assert (not (Array.exists (fun a -> a > 4) a));
assert (not (Array.exists (fun a -> a > 5) a));
assert (not (Array.exists (fun a -> a > 6) a));
assert (not (Array.exists (fun a -> a > 7) a));
assert (not (Array.exists (fun a -> a > 8) a));
assert (not (Array.exists (fun a -> a > 9) a));
;;
let () =
let a = [|0;1;2;3;4;5;6;7;8;9|] in
assert (Array.for_all (fun a -> a < 10) a);
assert (Array.for_all (fun a -> a >= 0) a);
assert (not (Array.for_all (fun a -> a = 0) a));
assert (not (Array.for_all (fun a -> a = 1) a));
assert (not (Array.for_all (fun a -> a = 2) a));
assert (not (Array.for_all (fun a -> a = 3) a));
assert (not (Array.for_all (fun a -> a = 4) a));
assert (not (Array.for_all (fun a -> a = 5) a));
assert (not (Array.for_all (fun a -> a = 6) a));
assert (not (Array.for_all (fun a -> a = 7) a));
assert (not (Array.for_all (fun a -> a = 8) a));
assert (not (Array.for_all (fun a -> a = 9) a));
assert (Array.for_all (fun a -> a <> 10) a);
assert (Array.for_all (fun a -> a <> (-1)) a);
assert (Array.for_all (fun _ -> true) a);
;;
let () =
assert (Array.for_all (fun x -> x mod 2 = 0) [|2;4;6|]);
assert (not (Array.for_all (fun x -> x mod 2 = 0) [|2;3;6|]));
assert (Array.for_all (fun _ -> false) [||]);
assert (Array.for_all (fun a -> a.(9) = 1) (Array.make_matrix 10 10 1));
let f = Array.create_float 10 in
Array.fill f 0 10 1.0;
assert (Array.for_all (fun a -> a = 1.0) f);
;;
;;
let () =
let a = [||] in
assert (Array.for_all (fun a -> a < 10) a);
assert (Array.for_all (fun a -> a >= 0) a);
assert (Array.for_all (fun a -> a = 0) a);
assert (Array.for_all (fun a -> a = 1) a);
assert (Array.for_all (fun a -> a = 2) a);
assert (Array.for_all (fun a -> a = 3) a);
assert (Array.for_all (fun a -> a = 4) a);
assert (Array.for_all (fun a -> a = 5) a);
assert (Array.for_all (fun a -> a = 6) a);
assert (Array.for_all (fun a -> a = 7) a);
assert (Array.for_all (fun a -> a = 8) a);
assert (Array.for_all (fun a -> a = 9) a);
assert (Array.for_all (fun a -> a <> 10) a);
assert (Array.for_all (fun a -> a <> (-1)) a);
assert (Array.for_all (fun _ -> true) a);
;;
let () =
let a = [|1;2;3;4;5;6;7;8;9|] in
assert (Array.mem 1 a);
assert (Array.mem 2 a);
assert (Array.mem 3 a);
assert (Array.mem 4 a);
assert (Array.mem 5 a);
assert (Array.mem 6 a);
assert (Array.mem 7 a);
assert (Array.mem 8 a);
assert (Array.mem 9 a);
assert (not (Array.mem 0 a));
assert (not (Array.mem 10 a));
;;
let () =
assert (Array.mem 2 [|1;2;3|]);
assert (not (Array.mem 2 [||]));
assert (Array.mem (ref 3) [|ref 1; ref 2; ref 3|]);
assert (Array.mem [|1;2;3|] [|[|1;2;3|];[|2;3;4|];[|0|]|]);
assert (Array.mem 1 (Array.make 100 1));
assert (Array.mem (ref 1) (Array.make 100 (ref 1)));
let f = Array.create_float 10 in
Array.fill f 0 10 1.0;
assert (Array.mem 1.0 f);
;;
let () =
let a = [|1;2;3;4;5;6;7;8;9|] in
assert (Array.memq 1 a);
assert (Array.memq 2 a);
assert (Array.memq 3 a);
assert (Array.memq 4 a);
assert (Array.memq 5 a);
assert (Array.memq 6 a);
assert (Array.memq 7 a);
assert (Array.memq 8 a);
assert (Array.memq 9 a);
assert (not (Array.memq 0 a));
assert (not (Array.memq 10 a));
;;
let () =
assert (Array.memq 2 [|1;2;3|]);
assert (not (Array.memq 2 [||]));
assert (not (Array.memq (ref 3) [|ref 1; ref 2; ref 3|]));
assert (not (Array.memq [|1;2;3|] [|[|1;2;3|];[|2;3;4|];[|0|]|]));
assert (Array.memq 1 (Array.make 100 1));
assert (not (Array.memq (ref 1) (Array.make 100 (ref 1))));
let f = Array.create_float 10 in
Array.fill f 0 10 1.0;
if Config.flat_float_array then assert (not (Array.memq 1.0 f));
;;
let () = print_endline "OK"
|
