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

Incorrect warning for active pattern signature with generic parameters #14736

Open
nojaf opened this issue Feb 12, 2023 · 0 comments
Open

Incorrect warning for active pattern signature with generic parameters #14736

nojaf opened this issue Feb 12, 2023 · 0 comments
Labels
Area-Diagnostics mistakes and possible improvements to diagnostics Bug Impact-Low (Internal MS Team use only) Describes an issue with limited impact on existing code.
Milestone

Comments

@nojaf
Copy link
Contributor

nojaf commented Feb 12, 2023

The following signature leads to unnecessary warning (I think).

Repro steps

val (|Fst|)<'a ,'b> : a: 'a * 'b -> 'a

Expected behavior

The code should parse without warnings. (Again, I think)

Actual behavior

Warning: [FS1189] Remove spaces between the type name and type parameter, e.g. "type C<'T>", not type "C <'T>". Type parameters must be placed directly adjacent to the type name.

@github-actions github-actions bot added this to the Backlog milestone Feb 12, 2023
@0101 0101 added Impact-Low (Internal MS Team use only) Describes an issue with limited impact on existing code. Area-Diagnostics mistakes and possible improvements to diagnostics and removed Needs-Triage labels Feb 13, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Area-Diagnostics mistakes and possible improvements to diagnostics Bug Impact-Low (Internal MS Team use only) Describes an issue with limited impact on existing code.
Projects
None yet
Development

No branches or pull requests

2 participants