Skip to content

Keep final do! expressions on the Bind path - #20449

Open
majocha wants to merge 3 commits into
dotnet:mainfrom
majocha:majocha-desugar-final-do
Open

Keep final do! expressions on the Bind path#20449
majocha wants to merge 3 commits into
dotnet:mainfrom
majocha:majocha-desugar-final-do

Conversation

@majocha

@majocha majocha commented Sep 4, 2026

Copy link
Copy Markdown
Contributor

Fixes #20448

Final-position do! expressions now use Bind instead of being rewritten as return! or yield!, while explicit return! and yield! retain their final-method behavior.

@github-actions

github-actions Bot commented Sep 4, 2026

Copy link
Copy Markdown
Contributor

❗ Release notes required

You can open this PR in browser to add release notes: open in github.dev


✅ Found changes and release notes in following paths:

Change path Release notes path Description
`src/Compiler` docs/release-notes/.FSharp.Compiler.Service/11.0.100.md

@github-actions github-actions Bot added the AI-Tooling-Check-Scanned-Clean Tooling check: diff analyzed, no interesting infrastructure files label Sep 4, 2026
@github-actions

github-actions Bot commented Sep 4, 2026

Copy link
Copy Markdown
Contributor

🔍 Tooling Safety Check — Affects-Compiler-Output
Affects-Compiler-Output: changes CE desugaring of final do! expressions

Generated by PR Tooling Safety Check · opus46 4.6M ·

@github-actions github-actions Bot added the ⚠️ Affects-Compiler-Output Tooling check: PR touches IL emission or codegen label Sep 4, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

⚠️ Affects-Compiler-Output Tooling check: PR touches IL emission or codegen AI-Tooling-Check-Scanned-Clean Tooling check: diff analyzed, no interesting infrastructure files

Projects

Status: New

Development

Successfully merging this pull request may close these issues.

Computation expressions desugar do! in final positions to *Final methods

1 participant