Skip to content

Conversation

@edgarfgp
Copy link
Contributor

@edgarfgp edgarfgp commented Jun 6, 2025

Description

Add extra test to showcase how the error recovery was improved in #18645

Thanks to @auduchinok for requesting this and to Claude for helping with the test names. :)

Checklist

  • Test cases added
  • Release notes entry updated

@edgarfgp edgarfgp added the NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes label Jun 6, 2025
@edgarfgp edgarfgp requested a review from auduchinok June 6, 2025 14:57
@github-actions
Copy link
Contributor

github-actions bot commented Jun 6, 2025

⚠️ Release notes required, but author opted out

Warning

Author opted out of release notes, check is disabled for this pull request.
cc @dotnet/fsharp-team-msft

@edgarfgp edgarfgp marked this pull request as ready for review June 6, 2025 14:58
@edgarfgp edgarfgp requested a review from a team as a code owner June 6, 2025 14:58
Copy link
Member

@auduchinok auduchinok left a comment

Choose a reason for hiding this comment

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

@edgarfgp Thanks a lot! I've added a few ideas about trying to make it a bit simpler

Copy link
Member

@T-Gro T-Gro left a comment

Choose a reason for hiding this comment

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

Thanks for the addition.
I agree with @auduchinok on the naming - we can exclude name of the surrounding module/namespace, and make test names shorted.

(and I know that this isn't always met in existing tests, including the ones I have authored)

@github-project-automation github-project-automation bot moved this from New to In Progress in F# Compiler and Tooling Jun 9, 2025
@edgarfgp edgarfgp requested a review from T-Gro June 10, 2025 09:31
@edgarfgp
Copy link
Contributor Author

This is ready. I wanted to raise couple PR's regarding error recovery for CheckExpressions.fs

@edgarfgp
Copy link
Contributor Author

@T-Gro Can we merge this ?

@T-Gro T-Gro merged commit 6d57e3b into dotnet:main Jun 17, 2025
39 checks passed
@github-project-automation github-project-automation bot moved this from In Progress to Done in F# Compiler and Tooling Jun 17, 2025
T-Gro added a commit that referenced this pull request Jun 24, 2025
* More test for error recovery  (#18669)

* [main] Update dependencies from dnceng/internal/dotnet-optimization (#18683)

* Update dependencies from https://dev.azure.com/dnceng/internal/_git/dotnet-optimization build 20250610.1

optimization.linux-arm64.MIBC.Runtime , optimization.linux-x64.MIBC.Runtime , optimization.windows_nt-arm64.MIBC.Runtime , optimization.windows_nt-x64.MIBC.Runtime , optimization.windows_nt-x86.MIBC.Runtime
 From Version 1.0.0-prerelease.25309.1 -> To Version 1.0.0-prerelease.25310.1

* Update dependencies from https://dev.azure.com/dnceng/internal/_git/dotnet-optimization build 20250611.1

optimization.linux-arm64.MIBC.Runtime , optimization.linux-x64.MIBC.Runtime , optimization.windows_nt-arm64.MIBC.Runtime , optimization.windows_nt-x64.MIBC.Runtime , optimization.windows_nt-x86.MIBC.Runtime
 From Version 1.0.0-prerelease.25309.1 -> To Version 1.0.0-prerelease.25311.1

* Update dependencies from https://dev.azure.com/dnceng/internal/_git/dotnet-optimization build 20250616.1

optimization.linux-arm64.MIBC.Runtime , optimization.linux-x64.MIBC.Runtime , optimization.windows_nt-arm64.MIBC.Runtime , optimization.windows_nt-x64.MIBC.Runtime , optimization.windows_nt-x86.MIBC.Runtime
 From Version 1.0.0-prerelease.25309.1 -> To Version 1.0.0-prerelease.25316.1

* Update dependencies from https://dev.azure.com/dnceng/internal/_git/dotnet-optimization build 20250617.1

optimization.linux-arm64.MIBC.Runtime , optimization.linux-x64.MIBC.Runtime , optimization.windows_nt-arm64.MIBC.Runtime , optimization.windows_nt-x64.MIBC.Runtime , optimization.windows_nt-x86.MIBC.Runtime
 From Version 1.0.0-prerelease.25309.1 -> To Version 1.0.0-prerelease.25317.1

---------

Co-authored-by: dotnet-maestro[bot] <dotnet-maestro[bot]@users.noreply.github.com>
Co-authored-by: Tomas Grosup <[email protected]>

* [main] Update dependencies from dotnet/arcade (#18643)

* Expand docstring on SynModuleDecl.Types (#18698)

* Update dependencies from https://github.com/dotnet/arcade build 20250620.5 (#18703)

Microsoft.DotNet.Arcade.Sdk
 From Version 10.0.0-beta.25316.2 -> To Version 10.0.0-beta.25320.5

Co-authored-by: dotnet-maestro[bot] <dotnet-maestro[bot]@users.noreply.github.com>

* Remove feature/lsp merge from branch-merge.yml (#18705)

Cleaning up, sicne we've merged feature/lsp to main some time ago

* Update dependencies from https://dev.azure.com/dnceng/internal/_git/dotnet-optimization build 20250623.1 (#18710)

optimization.linux-arm64.MIBC.Runtime , optimization.linux-x64.MIBC.Runtime , optimization.windows_nt-arm64.MIBC.Runtime , optimization.windows_nt-x64.MIBC.Runtime , optimization.windows_nt-x86.MIBC.Runtime
 From Version 1.0.0-prerelease.25317.1 -> To Version 1.0.0-prerelease.25323.1

Co-authored-by: dotnet-maestro[bot] <dotnet-maestro[bot]@users.noreply.github.com>

* Update dependencies from https://github.com/dotnet/arcade build 20250623.3 (#18709)

Microsoft.DotNet.Arcade.Sdk
 From Version 10.0.0-beta.25320.5 -> To Version 10.0.0-beta.25323.3

Co-authored-by: dotnet-maestro[bot] <dotnet-maestro[bot]@users.noreply.github.com>

* Remove ActivityDisposable conditional directives and replace with System.IDisposable | null (#18707)

---------

Co-authored-by: Edgar Gonzalez <[email protected]>
Co-authored-by: dotnet-maestro[bot] <42748379+dotnet-maestro[bot]@users.noreply.github.com>
Co-authored-by: dotnet-maestro[bot] <dotnet-maestro[bot]@users.noreply.github.com>
Co-authored-by: Tomas Grosup <[email protected]>
Co-authored-by: Patrick Stevens <[email protected]>
Co-authored-by: Adam Boniecki <[email protected]>
Co-authored-by: Copilot <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

3 participants