Skip to content

Consider emitting LocalConstants in Portable debug info #12003

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
3 tasks
dsyme opened this issue Aug 20, 2021 · 0 comments
Open
3 tasks

Consider emitting LocalConstants in Portable debug info #12003

dsyme opened this issue Aug 20, 2021 · 0 comments
Labels
Area-Debug stepping, debug points, stacks and more Feature Improvement
Milestone

Comments

@dsyme
Copy link
Contributor

dsyme commented Aug 20, 2021

Our Portable PDB writer doesn't emit "Local Constants" (aka "compile time values")

This information is evidently emitted by C# in some circumstances, it's not clear to me where (it's not for .NET literals, which have their own metadata). See https://github.com/dotnet/roslyn/blob/3d8acbd585a75e9cdb3509623bf6c39ceb46b2c2/src/Compilers/Core/Portable/PEWriter/MetadataWriter.PortablePdb.cs#L125

Portable PDB spec is here: https://github.com/dotnet/runtime/blob/main/docs/design/specs/PortablePdb-Metadata.md

It may be useful for F# to emit this information in some situation once we clarify what debugging experience it supports.

  • clarify user-facing debug experience this supports
  • decide if it's useful for F#
  • add code to emit this if it's useful
@dsyme dsyme added the Area-Debug stepping, debug points, stacks and more label Aug 20, 2021
@dsyme dsyme changed the title Consider emitting "Local Constants" in Portable debug info Consider emitting LocalConstants"in Portable debug info Aug 23, 2021
@dsyme dsyme changed the title Consider emitting LocalConstants"in Portable debug info Consider emitting LocalConstants in Portable debug info Aug 23, 2021
@vzarytovskii vzarytovskii moved this to Not Planned in F# Compiler and Tooling Jun 17, 2022
@vzarytovskii vzarytovskii added this to the Backlog milestone Oct 19, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Area-Debug stepping, debug points, stacks and more Feature Improvement
Projects
Status: New
Development

No branches or pull requests

2 participants