Bug#999601: [false positive] ocaml-dangling-cmi hint needs refinement
Package: lintian
Version: 2.111.0
X-Debbugs-CC: debian-ocaml-maint@lists.debian.org
A new build system is seeing increasing use in the OCaml world, and is
putting the above hint implementation out of its depth: dune.
The current implementation of the hint is that for each foo.cmi, there
should be a corresponding foo.ml or foo.mli. That is still essentially
correct. But with dune, you can also have double-underscored filenames,
and for those the situation is a little different:
- in the simpler and most current case, for foo__Bar.cmi, the
associated file to look for is bar.ml or bar.mli. Notice that you only
keep the part after the (last?) double-underscore, and you have to
lowercase it.
- there can be a foo__.cmi and a corresponding foo__.ml or foo__.mli
- I have seen an foo__BAR.cmi with a corrresponding BAR.ml or BAR.mli
(no lowercase...)
- and I have seen a .private/foo_Bar.cmi with a corresponding bar.ml or
bar.mli (not in .private).
I hope this is precise enough to improve the hint.
Cheers,
J.Puydt
Reply to: