RE : [Caml-list] Ocamldot for functions and types

["Boris Yakobowski" <Boris.Yakobowski@ens-lyon.fr>]

> From : owner-caml-list@pauillac.inria.fr
[mailto:owner-caml-list@pauillac.inria.fr] De la part de Mattias Waldau
>
> Ocamldot can create a picture showing how ocaml files
> depend on each other.
>
> Is there a similar tool that shows how functions and
> types within a bigger program with many modules
> depend on each other?
>
> Or is there another internal representation
> where I can get that information? For example, 
> the infered internal types would also
> be interesting.

I'm having more or less the same kind of needs. I'm currently modifying
a big project, which I did not write in the first place, and in which
many functions are never used.  Unfortunately, all the modules are
linked since some of the functions of each module are used.

What would be perfect is a command-line option which tells me which
function of a module has never been used. I realize this might not be
easy because (for example) of functors. Another solutions would be to
print (during link phase) which functions are effectively called. That
way it would become possible to find out which are never used.

Since Caml is a project a bit too large to be understood in two or three
weeks, could someone give me some clues about which files I should look
into for that kind of modifications (I just want to put some
print_string at key points, I do not intend to make deep changes).


Boris Yakobowski

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners