include.ml

type alloc_count = { mutable total: float }
let allocs = { total = 0. }

let[@inline never] count txt =
  let now = int_of_float (Gc.minor_words () -. allocs.total) in
  Printf.printf "%20s: %d\n" txt now;
  allocs.total <- Gc.minor_words ()

let v = Sys.opaque_identity (ref 42)

let () = allocs.total <- Gc.minor_words ()

include struct
  let x = !v
  let y = !v
end

let () = count "no signature"

include (struct
  let a = !v
  let b = !v
end : sig val a : int val b : int end)

let () = count "trivial coercion"

include (struct
  let c = !v
  let d = !v
end : sig val c : int end)

let () = count "prefix coercion"

include (struct
  let c = !v
  let d = !v
end : sig val d : int end)

let () = count "reordering coercion"