blob: e123edff611724b783c0e798b095eae6db02aa9f (
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
|
(***********************************************************************)
(* *)
(* OCaml *)
(* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *)
(* en Automatique. All rights reserved. This file is distributed *)
(* under the terms of the Q Public License version 1.0. *)
(* *)
(***********************************************************************)
let bigarray n = [|
n+0; n+1; n+2; n+3; n+4; n+5; n+6; n+7; n+8; n+9; n+10; n+11; n+12;
n+13; n+14; n+15; n+16; n+17; n+18; n+19; n+20; n+21; n+22; n+23;
n+24; n+25; n+26; n+27; n+28; n+29; n+30; n+31; n+32; n+33; n+34;
n+35; n+36; n+37; n+38; n+39; n+40; n+41; n+42; n+43; n+44; n+45;
n+46; n+47; n+48; n+49; n+50; n+51; n+52; n+53; n+54; n+55; n+56;
n+57; n+58; n+59; n+60; n+61; n+62; n+63; n+64; n+65; n+66; n+67;
n+68; n+69; n+70; n+71; n+72; n+73; n+74; n+75; n+76; n+77; n+78;
n+79; n+80; n+81; n+82; n+83; n+84; n+85; n+86; n+87; n+88; n+89;
n+90; n+91; n+92; n+93; n+94; n+95; n+96; n+97; n+98; n+99; n+100;
n+101; n+102; n+103; n+104; n+105; n+106; n+107; n+108; n+109; n+110;
n+111; n+112; n+113; n+114; n+115; n+116; n+117; n+118; n+119; n+120;
n+121; n+122; n+123; n+124; n+125; n+126; n+127; n+128; n+129; n+130;
n+131; n+132; n+133; n+134; n+135; n+136; n+137; n+138; n+139; n+140;
n+141; n+142; n+143; n+144; n+145; n+146; n+147; n+148; n+149; n+150;
n+151; n+152; n+153; n+154; n+155; n+156; n+157; n+158; n+159; n+160;
n+161; n+162; n+163; n+164; n+165; n+166; n+167; n+168; n+169; n+170;
n+171; n+172; n+173; n+174; n+175; n+176; n+177; n+178; n+179; n+180;
n+181; n+182; n+183; n+184; n+185; n+186; n+187; n+188; n+189; n+190;
n+191; n+192; n+193; n+194; n+195; n+196; n+197; n+198; n+199; n+200;
n+201; n+202; n+203; n+204; n+205; n+206; n+207; n+208; n+209; n+210;
n+211; n+212; n+213; n+214; n+215; n+216; n+217; n+218; n+219; n+220;
n+221; n+222; n+223; n+224; n+225; n+226; n+227; n+228; n+229; n+230;
n+231; n+232; n+233; n+234; n+235; n+236; n+237; n+238; n+239; n+240;
n+241; n+242; n+243; n+244; n+245; n+246; n+247; n+248; n+249; n+250;
n+251; n+252; n+253; n+254; n+255; n+256; n+257; n+258; n+259; n+260;
n+261; n+262; n+263; n+264; n+265; n+266; n+267; n+268; n+269; n+270;
n+271; n+272; n+273; n+274; n+275; n+276; n+277; n+278; n+279; n+280;
n+281; n+282; n+283; n+284; n+285; n+286; n+287; n+288; n+289; n+290;
n+291; n+292; n+293; n+294; n+295; n+296; n+297; n+298; n+299
|]
let test1 () =
let a = bigarray 12345 in
Gc.full_major();
for i = 0 to Array.length a - 1 do
if a.(i) <> 12345 + i then print_string "Test1: error\n"
done
let testcopy a =
Array.copy a = a
let test2 () =
if not (testcopy [|1;2;3;4;5|]) then
print_string "Test2: failed on int array\n";
if not (testcopy [|1.2;2.3;3.4;4.5|]) then
print_string "Test2: failed on float array\n";
if not (testcopy [|"un"; "deux"; "trois"|]) then
print_string "Test2: failed on string array\n";
if not (testcopy (bigarray 42)) then
print_string "Test2: failed on big array\n"
module AbstractFloat =
(struct
type t = float
let to_float x = x
let from_float x = x
end :
sig
type t
val to_float: t -> float
val from_float: float -> t
end)
let test3 () =
let t1 = AbstractFloat.from_float 1.0
and t2 = AbstractFloat.from_float 2.0
and t3 = AbstractFloat.from_float 3.0 in
let v = [|t1;t2;t3|] in
let w = Array.create 2 t1 in
let u = Array.copy v in
if not (AbstractFloat.to_float v.(0) = 1.0 &&
AbstractFloat.to_float v.(1) = 2.0 &&
AbstractFloat.to_float v.(2) = 3.0) then
print_string "Test3: failed on v\n";
if not (AbstractFloat.to_float w.(0) = 1.0 &&
AbstractFloat.to_float w.(1) = 1.0) then
print_string "Test3: failed on w\n";
if not (AbstractFloat.to_float u.(0) = 1.0 &&
AbstractFloat.to_float u.(1) = 2.0 &&
AbstractFloat.to_float u.(2) = 3.0) then
print_string "Test3: failed on u\n"
let test4 () =
let a = bigarray 0 in
let b = Array.sub a 50 10 in
if b <> [| 50;51;52;53;54;55;56;57;58;59 |] then
print_string "Test4: failed\n"
let test5 () =
if Array.append [| 1;2;3 |] [| 4;5 |] <> [| 1;2;3;4;5 |] then
print_string "Test5: failed on int arrays\n";
if Array.append [| 1.0;2.0;3.0 |] [| 4.0;5.0 |] <> [| 1.0;2.0;3.0;4.0;5.0 |]
then
print_string "Test5: failed on float arrays\n"
let test6 () =
let a = [| 0;1;2;3;4;5;6;7;8;9 |] in
let b = Array.concat [a;a;a;a;a;a;a;a;a;a] in
if not (Array.length b = 100 && b.(6) = 6 && b.(42) = 2 && b.(99) = 9) then
print_string "Test6: failed\n"
let test7 () =
let a = Array.make 10 "a" in
let b = [| "b1"; "b2"; "b3" |] in
Array.blit b 0 a 5 3;
if a <> [|"a"; "a"; "a"; "a"; "a"; "b1"; "b2"; "b3"; "a"; "a"|]
|| b <> [|"b1"; "b2"; "b3"|]
then print_string "Test7: failed(1)\n";
Array.blit a 5 a 6 4;
if a <> [|"a"; "a"; "a"; "a"; "a"; "b1"; "b1"; "b2"; "b3"; "a"|]
then print_string "Test7: failed(2)\n"
let test8 () =
(try
ignore (Array.sub [||] 0 1); print_string "Test 8.1: failed\n"
with Invalid_argument _ -> ());
(try
ignore (Array.sub [|3;4|] 1 (-1)); print_string "Test 8.2: failed\n"
with Invalid_argument _ -> ());
(try
ignore (Array.sub [|3;4|] max_int 1); print_string "Test 8.3: failed\n"
with Invalid_argument _ -> ())
let _ =
test1();
test2();
test3();
test4();
test5();
test6();
test7();
test8();
exit 0
|
