Hi,

Is there a way to generate the call-graph of a Caml project? Tools
like gprof aren't accurate enough as higher order functions get
"flattened" in the binary. I understand that Control/Data Flow
Analysis for functional languages is _difficult_; but even a
less encompassing call-graph generator would help us comprehend
the code lot better and faster. Does anyone know of a tool
that could generate call-graphs for a useful subset of Caml?

Thanks

--ganesh

=------------------------------+---------------------------------=
Ganesh Narayan, Research Assistant, Dept. of CSA, IISc.
=------------------------------+---------------------------------=