You may be interested in the Oug [1] tool

 [1] http://home.gna.org/oug/

Oug is a code analysis tool building reference graphs from OCaml code, that is graphs representing which elements (value, module, class, ...) reference which elements. We will also call these graphs dependency graphs, each edge of the graph being annotated by a dependency kind.

It comes with the Ouglib library to be able to embed the analyzer in other OCaml applications.

From the graph, various outputs can be obtained: list of elements not referenced anywhere (useless elements and potential dead code), various Graphiz graphs, ...



On Tue, Feb 8, 2011 at 11:52 AM, Radu Grigore <radugrigore@gmail.com> wrote:
Is there a tool that finds unused functions?

It seems there was none in 2004:
 https://groups.google.com/d/topic/fa.caml/D8aWkamzr-U/discussion

--
Caml-list mailing list.  Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs