Skip to content

Attribute of parameter is lost in signature #15267

@nojaf

Description

@nojaf

When generating a signature file the result is somewhat unexpected.

Repro steps

module Foo

type BAttribute() =
    inherit System.Attribute()

let a ([<B>] c: int) : int = 0

leads to

module Foo

type BAttribute =
  inherit System.Attribute
  
  new: unit -> BAttribute

val a: c: int -> int

Expected behaviour

val a: [<B>] c: int -> int

Actual behaviour

[<B>] is lost.

Related information

FCS: FSharpCheckFileResults.GenerateSignature

Metadata

Metadata

Assignees

No one assigned

    Labels

    Area-Compiler-SigFileGengeneration of signature files - both compiler and IDEBugImpact-Low(Internal MS Team use only) Describes an issue with limited impact on existing code.

    Type

    No type

    Projects

    Status

    Done

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions