Skip to content

Show overload candidates when passing wrong parameter names or types #10564

@smoothdeveloper

Description

@smoothdeveloper

I propose to change this error message:

open System
DateTime(year="2020");;

error FS0507: No accessible member or object constructor named 'DateTime' takes 0 arguments. Note the call to this member also provides 1 named arguments.

into

error FS0507: No accessible member or object constructor named 'DateTime' takes 0 arguments. Note the call to this member also provides 1 named arguments.
Candidates:

  • DateTime ()
  • DateTime(ticks: int64) : DateTime
  • DateTime(ticks: int64, kind: DateTimeKind) : DateTime
  • DateTime(year: int, month: int, day: int) : DateTime
  • DateTime(year: int, month: int, day: int, calendar: Globalization.Calendar) : DateTime
  • DateTime(year: int, month: int, day: int, hour: int, minute: int, second: int) : DateTime
  • DateTime(year: int, month: int, day: int, hour: int, minute: int, second: int, kind: DateTimeKind) : DateTime
  • DateTime(year: int, month: int, day: int, hour: int, minute: int, second: int, calendar: Globalization.Calendar) : DateTime
  • DateTime(year: int, month: int, day: int, hour: int, minute: int, second: int, millisecond: int) : DateTime
  • DateTime(year: int, month: int, day: int, hour: int, minute: int, second: int, millisecond: int, kind: DateTimeKind) : DateTime
  • DateTime(year: int, month: int, day: int, hour: int, minute: int, second: int, millisecond: int, calendar: Globalization.Calendar) : DateTime
  • DateTime(year: int, month: int, day: int, hour: int, minute: int, second: int, millisecond: int, calendar: Globalization.Calendar, kind: DateTimeKind) : DateTime

Or any better suggestion.

related: #1103 #6578

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    Status

    New

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions