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
|
(* TEST
native;
*)
type alloc_count = { mutable total: float }
let allocs = Sys.opaque_identity { total = 0. }
let[@inline never] set_allocs () =
allocs.total <- Gc.minor_words ()
let[@inline never] count txt =
let now = int_of_float (Gc.minor_words () -. allocs.total) in
Printf.printf "%20s: %d\n" txt now;
set_allocs ()
let v = Sys.opaque_identity (ref 0)
let next () =
let r = !v in incr v; r
let () = set_allocs ()
include struct
let x = next ()
let y = next ()
end
let () = count "no signature"
include (struct
let a = next ()
let b = next ()
end : sig val a : int val b : int end)
let () = count "trivial coercion"
include (struct
let c = next ()
let d = next ()
end : sig val c : int end)
let () = count "prefix coercion"
include (struct
let c = next ()
let d = next ()
end : sig val d : int end)
let () = count "reordering coercion"
module Outer = struct
include (struct
module Inner = struct
include (struct
let e = next ()
end)
end
end)
end
let () =
(* The above might actually allocate the module blocks Outer and Inner,
but should not allocate more than 4 words (2 each) *)
assert (Gc.minor_words () -. allocs.total <= 4.)
let () =
Printf.printf "%20s: %d%d%d%d%d%d%d\n" "outputs" x y a b c d Outer.Inner.e
|
