dotnet / dotnet/fsharp

Show overload candidates when passing wrong parameter names or types

Open
#10,564 0 comments 1 reaction 0 assignees View on GitHub
Area-Diagnostics Feature Request
Dominant language
F#
Stars
4.3k
Forks
876
Avg merge
4d 11h
Merged PRs (30d)
131

Description

I propose to change this error message:

```fsharp
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

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.