-
Notifications
You must be signed in to change notification settings - Fork 89
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Warning duplication #1127
Comments
Thanks for this! Yes, we can fix this. I had a go with your library and it does indeed show many warnings. I wondered if you had tried |
I should say, we can fix this within files, but not between. That is, if you have an unresolved reference in one toplevel module, and then it's included in another toplevel module, you'll see the warning twice. In most instances this won't be a huge problem though as references are only resolved at link time, and if your library is wrapped there will only be one toplevel module and hence only one call to link is required. |
I didn't know about |
Odoc duplicates warnings when a module type appears multiple times.
This clogs output. For reference on how bad it gets, I have a library with 9
@raises Not_found
in the mli. This creates 188 warnings (376 lines).The text was updated successfully, but these errors were encountered: