Skip to content

Fix suggested overload from "MergeSource" to "MergeSources"#15306

Merged
vzarytovskii merged 3 commits into
dotnet:mainfrom
njlr:patch-1
Jun 19, 2023
Merged

Fix suggested overload from "MergeSource" to "MergeSources"#15306
vzarytovskii merged 3 commits into
dotnet:mainfrom
njlr:patch-1

Conversation

@njlr

@njlr njlr commented Jun 4, 2023

Copy link
Copy Markdown
Contributor

The current error message for when and! is used, but an appropriate builder overload is not defined, is incorrect. It suggests adding a MergeSource method but it should be called MergeSources.

The current error message for when `and!` is used, but an appropriate builder overload is not defined, is incorrect. It suggests adding a `MergeSource` method but it should be called `MergeSources`.
@njlr njlr requested a review from a team as a code owner June 4, 2023 10:13
@njlr

njlr commented Jun 4, 2023

Copy link
Copy Markdown
Contributor Author

@dotnet-policy-service agree

@dotnet-policy-service agree

@edgarfgp

edgarfgp commented Jun 4, 2023

Copy link
Copy Markdown
Contributor

Looking at the DevGuide https://github.com/dotnet/fsharp/blob/main/DEVGUIDE.md#updating-fscompfs-fscompresx-and-xlf , I think you will need run one of the commands to force the FSComp to be regenerated

@psfinaki

psfinaki commented Jun 5, 2023

Copy link
Copy Markdown
Contributor

@njlr thanks for the nice fix. Running build should be enough to generate all the translations, then we can merge it.

Comment thread DEVGUIDE.md
@njlr

njlr commented Jun 19, 2023

Copy link
Copy Markdown
Contributor Author

Thanks for review. Are any more steps required on my end?

@vzarytovskii vzarytovskii enabled auto-merge (squash) June 19, 2023 19:54

@psfinaki psfinaki left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Now it's all good - thanks, merging!

@vzarytovskii vzarytovskii merged commit ab0e704 into dotnet:main Jun 19, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

4 participants