Skip to content
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

Visual Studio Project Properties shows C# warning levels in dropdown that don't apply to F# at all #17136

Closed
abelbraaksma opened this issue May 11, 2024 · 4 comments
Labels
Milestone

Comments

@abelbraaksma
Copy link
Contributor

abelbraaksma commented May 11, 2024

The available options dropdown in VS 2022 and VS 2022 Preview lists them in relation to C#, and shows too many of them:
image

Repro steps

  1. Open any F# project
  2. Select menu ProjectProperties
  3. Scroll to Warnings section and select the dropdown shown above

Expected behavior

a. Only options 0 - 5, as these are the levels supported by F#.
b. Descriptions matching the F# spec, not the C# spec (we don't throw C# 11 warnings, do we?)

Actual behavior

Showing 9 options, and showing descriptions not matching F#.

Known workarounds

None.

Related information

  • Visual Studio 2022 (with or w/o Preview)

PS: I've no problem issuing a PR for this, but I've no clue wherefrom this list is populated. This may very well be "external", as in: a bug of VS itself, which is closed source.

@vzarytovskii
Copy link
Member

Duplicate of #13714

@vzarytovskii vzarytovskii marked this as a duplicate of #13714 May 13, 2024
@abonie
Copy link
Member

abonie commented May 13, 2024

Closing as a duplicate

@abelbraaksma
Copy link
Contributor Author

@abonie, I prefer not to use the closed as completed when that's not the case (though, in fairness, closed as not planned isn't entirely true either, but the dropdown on GitHub suggests that for duplicates).

@abelbraaksma abelbraaksma closed this as not planned Won't fix, can't repro, duplicate, stale May 14, 2024
@abonie
Copy link
Member

abonie commented May 14, 2024

Good point, I simply forgot there is a qualifier to closing an item on github

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
Archived in project
Development

No branches or pull requests

3 participants