Skip to content

Set warnings set according to dune's language #2299

@rgrinberg

Description

@rgrinberg

Currently, the list of warnings is hard coded in dune for all versions of the language. This means that if the user upgrades dune, their project might fail because a new warning was introduced.

We should make dune project resilient to these kinds of issues by tying the the set of warnings to the language set by the dune project.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions