Skip to content

Debug: rework conditional erasure, fix stepping over literals#19897

Open
auduchinok wants to merge 6 commits into
dotnet:mainfrom
auduchinok:debug-sequencePoint-erased
Open

Debug: rework conditional erasure, fix stepping over literals#19897
auduchinok wants to merge 6 commits into
dotnet:mainfrom
auduchinok:debug-sequencePoint-erased

Conversation

@auduchinok

Copy link
Copy Markdown
Member

Continues #19894.

Removes an old workaround for conditional call erasure that could prevent generating sequence points for unit expressions. Adds a new helper for marking hidden sequence points. Restores stepping over simple literal bindings that got broken with realsig+.

@github-actions

github-actions Bot commented Jun 5, 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

@auduchinok

Copy link
Copy Markdown
Member Author

@T-Gro The release notes comment is now missing the link to open the online editor. Could we have it back, please? 🙂

@auduchinok auduchinok force-pushed the debug-sequencePoint-erased branch from 5214f29 to e1a3f86 Compare June 5, 2026 11:05
@github-actions github-actions Bot added ⚠️ Affects-Compiler-Output Tooling check: PR touches IL emission or codegen ⚠️ Affects-Bootstrap Tooling check: PR touches compiler bootstrap chain labels Jun 5, 2026
@github-actions

github-actions Bot commented Jun 5, 2026

Copy link
Copy Markdown
Contributor

🔍 Tooling Safety Check — Affects-Bootstrap, Affects-Compiler-Output
Affects-Bootstrap: modifies pars.fsy (parser generator input)
Affects-Compiler-Output: modifies IlxGen.fs (IL emission)

Generated by PR Tooling Safety Check · opus46 4.3M ·

@auduchinok auduchinok changed the title Sequence points: rework conditional erasure, fix stepping over literals Debug: rework conditional erasure, fix stepping over literals Jun 5, 2026
@auduchinok

Copy link
Copy Markdown
Member Author

@T-Gro The release notes comment is now missing the link to open the online editor. Could we have it back, please? 🙂

Ah, my bad. The branch already had the release notes from the other PR, that's why there was no link.

@auduchinok

Copy link
Copy Markdown
Member Author

Please merge #19894 first.

auduchinok and others added 5 commits June 8, 2026 13:15
Add `isHidden` to `DebugPointAtLeafExpr.Yes` to express it explicitly in the typed tree

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
@auduchinok auduchinok force-pushed the debug-sequencePoint-erased branch from aa147a5 to 773d15c Compare June 8, 2026 11:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

⚠️ Affects-Bootstrap Tooling check: PR touches compiler bootstrap chain ⚠️ Affects-Compiler-Output Tooling check: PR touches IL emission or codegen

Projects

Status: New

Development

Successfully merging this pull request may close these issues.

1 participant