Skip to content

Allow disabling the warning when dune detects a common typo #11629

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

Open
kemsguy7 opened this issue Apr 15, 2025 · 1 comment
Open

Allow disabling the warning when dune detects a common typo #11629

kemsguy7 opened this issue Apr 15, 2025 · 1 comment
Assignees
Labels
config Everything related to dune configuration (workspace, project, dune, env) good first issue Good for contributing for the first time to the Dune codebase

Comments

@kemsguy7
Copy link
Contributor

This is a subtask for issue #11561 where users can make behaviour optional, defaulting to enabled

@maiste maiste added the config Everything related to dune configuration (workspace, project, dune, env) label Apr 15, 2025
@gridbugs
Copy link
Collaborator

gridbugs commented Apr 15, 2025

Fleshing out this description a little, this would be a follow-up to #11600. In the unlikely event that a user does intend to refer to the version number which is literally the string "version", they should be able to disable the warning that prints when common typos are found in dune-project. This could be implemented in the form of a new field in dune-workspace or dune-project or the user-wide dune-config file.

@gridbugs gridbugs added the good first issue Good for contributing for the first time to the Dune codebase label Apr 15, 2025
@gridbugs gridbugs changed the title Allow user to override default behaviour. Allow disabling the warning when dune detects a common typo Apr 15, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
config Everything related to dune configuration (workspace, project, dune, env) good first issue Good for contributing for the first time to the Dune codebase
Projects
None yet
Development

No branches or pull requests

3 participants