>> Is there already something like that? Has anyone already built such
>> a tool?
>
> Also had this wish the other day, I found objsize [1] but didn't use
> it -- did a rough approximation by traversing the datastructure. A

I have been using Size by Jean-Christophe Filliatre. It worked fine
for me.

http://www.lri.fr/~filliatr/ftp/ocaml/ds/

Jan

-- 
-------------------------------------------------------------------------
Jan Kybic <kybic@fel.cvut.cz>                       tel. +420 2 2435 5721
http://cmp.felk.cvut.cz/~kybic                      ICQ 200569450