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

@njlrnjlr 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 ownerJune 4, 2023 10:13
@njlr

njlr commented Jun 4, 2023

Copy link
Copy Markdown
ContributorAuthor

@dotnet-policy-service agree

@dotnet-policy-service agree

@edgarfgp

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

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 threadDEVGUIDE.md
@njlr

njlr commented Jun 19, 2023

Copy link
Copy Markdown
ContributorAuthor

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

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

@psfinakipsfinaki 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:mainJun 19, 2023
Sign up for freeto 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

@njlr@edgarfgp@psfinaki@vzarytovskii