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