Skip to content

Signature file should reuse type parameter name from implementation file. #15286

@nojaf

Description

@nojaf

Another rather cosmetic problem:

Repro steps

module Extensions

type List<'E> with

    member this.X = this.Head

leads to

module Extensions
type List<'T> with
  
  member X: 'T

val t: seq<System.TimeSpan>

Expected behaviour

'E was used.

Actual behaviour

'T was used. I assume due to the definition in

type List<'T> =
| ([]): 'T list
| (::): Head: 'T * Tail: 'T list -> 'T list

Related information

FCS: FSharpCheckFileResults.GenerateSignature

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    Status

    Done

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions