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