Skip to content

Better error message when using wrong anon record#15732

Merged
T-Gro merged 6 commits into
dotnet:mainfrom
edgarfgp:better-error-message-for-wrong-anon-records
Aug 3, 2023
Merged

Better error message when using wrong anon record#15732
T-Gro merged 6 commits into
dotnet:mainfrom
edgarfgp:better-error-message-for-wrong-anon-records

Conversation

@edgarfgp

@edgarfgp edgarfgp commented Aug 1, 2023

Copy link
Copy Markdown
Contributor

Continuation of #15719

@edgarfgp edgarfgp requested a review from a team as a code owner August 1, 2023 17:11
Comment thread src/Compiler/FSComp.txt Outdated
@psfinaki

psfinaki commented Aug 2, 2023

Copy link
Copy Markdown
Contributor

/azp run

@azure-pipelines

Copy link
Copy Markdown
Azure Pipelines successfully started running 2 pipeline(s).

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