Hello I have a library Foo which depends on another library Bar. How do I get the list of Bar functions that Foo really uses?

(I’m ok to count all functions that are present in the source code of Foo, even if parts of that source code are never called.) Of course I can just grep Bar.* but the problem is to detect open Bar

if you’re willing to build the library, nm foo.a | grep Bar might be useful?

If you compile your file with the flag -dtypedtree, you will get a (large) dump where all identifiers are resolved with their full path. With the right grep/sed invocations you should be able to turn it into some readable output which should contain all occurrences of functions from a given module, …

with more opens than I’d like: open Printf open Event open Thread let () = let chan = new_channel () in let rec printer () = printf "going\n%!"; let msg = sync (receive chan) in printf "gone?\n%!"; printf "printed: %s\n%!" msg; delay 2.0; printer () in ignore (creat…

that’s a good idea thanks; however I don’t really understand the output, some functions are listed which don’t exist in Bar. I suspect it’s because they are from submodules like Bar.X.f but are listed as Bar.f

@vlaviron and @jrfondren both your techniques seem to work well, thanks ! with -annot I need to check that the preceeding line contains ident( in order to filter out types and only keep values. with -dtypedtree I just need to check that the line starts with Texp_ident (which is slightly easier sin…

another good idea, thanks. I couldn’t make it work though: I tried ‘merlin-project-occurrences’ in emacs by selecting an occurence of Bar but I get the error progn: Wrong type argument: integer-or-marker-p, nil

Here’s an example of that: ciao-lwt/lib/migrate_utils/ocaml_index_utils.mli at main · tarides/ciao-lwt · GitHub The index files are built using dune build @ocaml-index.

I’ve personally used LexiFi’s dead_code_analyzer to do exactly this last year. You just need to have one binary that fully uses Foo and you’ll get the list of functions that Foo really uses from Bar. Make sure you’re using a sufficiently recent version (see #33 ) and be aware that some categories o…

List of used functions from a given library

Learning

dbuenzli January 23, 2026, 3:52pm 8

Perhaps the machinery behind merlin project wide occurrences can help too ?

Topic		Replies	Views
[Question] Grabbing all sources that are being use from concrete piece of OCaml code or library Community	0	690	May 24, 2018
[ANN] ocamlgrep 0.1.1 Community announce	24	966	July 20, 2026
Searching all libraries , all modules all functions for relevant keywords Learning	5	890	December 15, 2021
[ANN] perf demangling of OCaml symbols (& a short introduction to perf) Ecosystem	11	4679	January 30, 2022
How to extract just what you need from a dune project Learning	4	572	October 30, 2022

List of used functions from a given library

Related topics