Jon Ludlam
Jon Ludlam
Just as an aside, @panglesd found that lists not only have this issue but also have a solution: ``` - This is a list - and the list is ended...
As I mentioned in the discuss post, there's not necessarily a one-to-one mapping between identifiers in the interfaces and implementations. It's quite possible to have an implementation that's exposed in...
A simple example would be an ml file like: ```ocaml module A = struct let x = 10 end include A ``` so you'd get 2 instances of `val x...
Do you have many modules without interfaces? It seems possible that the cause is that we're doing extra processing of implementations for source-rendering purposes, which would only show up when...
Ah based on https://github.com/ocaml/odoc/issues/1141#issuecomment-2154552538 I think this is fixed in odoc 3, so I'll close this.
Just to say I _can_ reproduce this - no further details yet though.
Thanks for your investigation here. I'm a bit swamped at the moment but will take a look as soon as I can!
Thanks for bringing this up - I totally agree that it's really important to focus on issues like this, otherwise we're putting people off making good docs. I'm very skeptical...
> Could you please, [@jonludlam](https://github.com/jonludlam), just mention which PR and/or doc bits which implement/indicate the way drivers have to be tweaked ? Currently this works by passing the flag `--suppress-warnings`...
> I am also curious about that because basic usage of `odoc_driver` still generates hundreds of messages on Frama-C (+ having to specify all packages on which the driver must...