Bug#999601: [false positive] ocaml-dangling-cmi hint needs refinement

[Julien Puydt <julien.puydt@gmail.com>]

Hi,

Le mardi 16 novembre 2021 à 06:35 -0800, Felix Lechner a écrit :
> 
> On Sat, Nov 13, 2021 at 1:15 AM Julien Puydt <julien.puydt@gmail.com>
> wrote:
> > 
> > I hope this is precise enough to improve the hint.
> 
> We would like to test improvements. Would you please point to
> installable packages that triggered the false positives? Thanks!

I suggest only one, libcoq-ocaml-dev:

- it has the larger choice of strange examples of the issue -- at least
that I know of ;

- hopefully there only remains false positives since I checked for real
issues ;

- but you'll have to "lintian -Io" to get over my overriding the hint
for all __ files ;

- and you should (temporarily) remove the code which says "three
strikes and then only a count", because a list of three explicits and
then a hundred silents gets you only so far.

(About the last point: I could understand why I had so many of them
only when I pushed the limit of showns hints to 300: the complete list
made obvious the __ was the problem)

I can easily find more, but since I'm new to the team (and apparently
they weren't using lintian that much...), I haven't had my hands in
many of them, so there will be real positives... and we don't want to
fix that!

Thanks for looking into this,

J.Puydt