I have a project that builds under dune. Is there a way to have it dump a list of:
(full module_name , file_name, line_number)
The XY problem is:
I’m in neovim. I want to hit “goto module”, have it provide me a list of the full module_name in telescope, so I can interactively select the one I want, then have it jump to the right (file_name, line_number)
Hmm. I’m wondering (perhaps naively) if there is a way to get dune build -w to dump out this information. I’m okay if the information is “outdated” in that it is only refreshed on every successful build.