Skip to content

Incorrect warning for active pattern signature with generic parameters #14736

Open

Description

@nojaf

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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    Area-Diagnosticsmistakes and possible improvements to diagnosticsBugImpact-Low(Internal MS Team use only) Describes an issue with limited impact on existing code.

    Type

    Projects

    No projects

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions