Skip to content

Use errorR instead of try with and use range helpers#15797

Merged
vzarytovskii merged 1 commit into
dotnet:mainfrom
edgarfgp:anon-record-range-helper
Aug 14, 2023
Merged

Use errorR instead of try with and use range helpers#15797
vzarytovskii merged 1 commit into
dotnet:mainfrom
edgarfgp:anon-record-range-helper

Conversation

@edgarfgp

@edgarfgp edgarfgp commented Aug 14, 2023 •
edited
Loading

Copy link
Copy Markdown
Contributor
  • Uses errorR instead of try ... with to report compiler errors and continue
  • Uses the recently range helpers

@edgarfgp edgarfgp requested a review from a team as a code owner August 14, 2023 15:59
@edgarfgp edgarfgp changed the title Use errorR intead of try with and use range helpers Use errorR instead of try with and use range helpers Aug 14, 2023
@vzarytovskii vzarytovskii merged commit 632f970 into dotnet:main Aug 14, 2023
@allisonchou allisonchou mentioned this pull request Aug 16, 2023
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

2 more reviewers
@KevinRansom KevinRansom KevinRansom approved these changes
@psfinaki psfinaki psfinaki approved these changes
Reviewers whose approvals may not affect merge requirements

Assignees

No one assigned

Labels

release/17.8

Projects

F# Compiler and Tooling
Archived in project

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@edgarfgp @KevinRansom @psfinaki @vzarytovskii