File tree 1 file changed +17
-11
lines changed
1 file changed +17
-11
lines changed Original file line number Diff line number Diff line change @@ -21,19 +21,25 @@ let emit_page_pp indent page =
21
21
Format. fprintf fmt " %a@." (Html. pp ~indent () ) page;
22
22
close_out file_handle
23
23
24
+ let run_n ~n f x =
25
+ let r = ref 0. in
26
+ for _ = 1 to n do
27
+ let t = Unix. gettimeofday () in
28
+ f x ;
29
+ let tpp = Unix. gettimeofday () -. t in
30
+ r := ! r +. tpp ;
31
+ done ;
32
+ ! r /. float n
33
+
24
34
let () =
25
35
let p = Html. (
26
36
html (head (title (pcdata " fibo" )) [] ) (body [unfold 22 ])
27
37
) in
28
- let indent = Array. length Sys. argv > 1 && Sys. argv.(1 ) = " indent" in
29
- let time_pp = ref 0. in
30
38
let n = 10 in
31
- for _ = 1 to n do
32
- let t = Unix. gettimeofday () in
33
- emit_page_pp indent p ;
34
- let tpp = Unix. gettimeofday () -. t in
35
- time_pp := ! time_pp +. tpp ;
36
- done ;
37
- Printf. printf
38
- " Time: %f\n %!"
39
- (! time_pp /. float n)
39
+ let time_pp = run_n ~n (emit_page_pp false ) p in
40
+ let time_indent_pp = run_n ~n (emit_page_pp true ) p in
41
+
42
+ Format. printf
43
+ " Noindent: %[email protected] : %f"
44
+ time_pp
45
+ time_indent_pp
You can’t perform that action at this time.
0 commit comments