fix: use warning mechanism for duplicate deps warning#12986
Merged
rgrinberg merged 2 commits intoocaml:mainfrom Dec 17, 2025
Merged
fix: use warning mechanism for duplicate deps warning#12986rgrinberg merged 2 commits intoocaml:mainfrom
rgrinberg merged 2 commits intoocaml:mainfrom
Conversation
672e146 to
0aa747b
Compare
rgrinberg
approved these changes
Dec 16, 2025
9bea345 to
48617ce
Compare
Signed-off-by: Sachin Beniwal <s474996633@gmail.com>
Signed-off-by: Sachin Beniwal <s474996633@gmail.com>
48617ce to
d9f9f3f
Compare
Member
|
Thanks |
davesnx
added a commit
to davesnx/dune
that referenced
this pull request
Dec 18, 2025
…without-system * 'main' of github.com:/ocaml/dune: (113 commits) fix: use warning mechanism for duplicate deps warning (ocaml#12986) Remove reliance on the log file in some cram test (ocaml#12989) Remove [set_log_file] (ocaml#12987) fix: account for workspace binaries when generating rules for `./.bin` (ocaml#12952) Revert "Fix/duplicate dependencies warning" (ocaml#12984) refactor: make Package_dependency.decode return located value refactor: use Option.iter chore: updated 2678.md fix: hint message and added CR refactor: convert check_dups to list fold fix: use ~hints parameter for hints fix: warn on all duplicate package names in dependencies chore: added entry for CHANGES.md tests: removed unncessary dune-project file tests: refactor fix: added warning for duplicate dependencies in package definitions fix: tests fix: refactor fix: misleading comment in helpers.sh fix: remove disabled test stanza for deleted tests ...
jonludlam
pushed a commit
to jonludlam/dune
that referenced
this pull request
Jan 14, 2026
This PR updates the duplicate dependencies warning to use Dune's warning mechanism allowing users to disable it via the (warnings ...) field in dune-project. --------- Signed-off-by: Sachin Beniwal <s474996633@gmail.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
This PR updates the duplicate dependencies warning to use Dune's warning mechanism allowing users to disable it via the (warnings ...) field in dune-project. @rgrinberg
NOTE: The previous custom hint about combining constraints with (and ...) has been moved to the main warning message body, since Warning_emit replaces hints with the standard "To disable this warning..." text. @Alizter