Re: [Caml-list] memory leak in toplevel? or, how to implement sizeof

[Jim Pryor <lists+caml@jimpryor.net>]

Thanks David. So does this look like a reasonable implementation of
sizeof:

    # let sizeof maker arg =
        let first = Gc.((stat()).minor_words) in
        let res = maker arg in
        let second = Gc.((stat()).minor_words) in
        int_of_float (second -. first) - 23 ( *overhead *), res;;

    # sizeof (fun x -> [x]) 1;;
    - : int * int list = (3, [1])

    # sizeof (fun x -> Some x) 1;;
    - : int * int option = (2, Some 1)

It does give the right answers. ([1] is a block containing two non-blocks; Some 1 is a block containing one non-block.)


-- 
Jim Pryor
profjim@jimpryor.net