1 (* Very basic tests of Ancient module.
2 * $Id: test_ancient.ml,v 1.1 2006-09-27 12:07:07 rich Exp $
11 phone : string option;
12 marital_status : marital_status;
15 and marital_status = Single | Married | Divorced
18 eprintf "compacting ... %!";
20 let stat = Gc.stat () in
21 let live_words = stat.Gc.live_words in
22 eprintf "live words = %d (%d MB)\n%!"
23 live_words (live_words * 8 / 1024 / 1024)
25 let random_string () =
26 let n = 1 + Random.int 20 in
27 let str = String.create n in
29 let c = 97 + Random.int 26 in
35 let random_string_option () =
36 if Random.int 3 = 1 then None else Some (random_string ())
38 let random_marital_status () =
39 match Random.int 3 with
44 let rec output_data chan data =
45 let n = Array.length data in
47 output_item chan data.(i)
50 and output_item chan item =
51 fprintf chan "id = %d\n%!" item.id;
52 fprintf chan "\tname = %s\n%!" item.name;
53 fprintf chan "\tdob = %s\n%!" item.dob;
54 fprintf chan "\taddress = %s\n%!" item.address;
55 fprintf chan "\tphone = %s\n%!"
56 (match item.phone with
58 | Some str -> "Some " ^ str);
59 fprintf chan "\tmarital_status = %s\n%!"
60 (string_of_marital_status item.marital_status)
62 and string_of_marital_status status =
65 | Married -> "Married"
66 | Divorced -> "Divorced"
69 eprintf "Before allocating data on OCaml heap ...\n";
75 name = random_string ();
76 dob = random_string ();
77 address = random_string ();
78 phone = random_string_option ();
79 marital_status = random_marital_status () }
81 eprintf "After allocating data on OCaml heap ...\n";
84 let chan = open_out "test_ancient.out1" in
85 output_data chan data;
88 let data = Ancient.mark data in
89 eprintf "After marking data as ancient ...\n";
92 let data = Ancient.follow data in
93 eprintf "Number of elements in array = %d\n" (Array.length data);
95 let chan = open_out "test_ancient.out2" in
96 output_data chan data;
99 eprintf "After writing out ancient data ...\n";