Skip to content

Inlay Hints for Record Wildcards contain generated names #4547

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.

Sign up for GitHub

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

Jump to bottom
Open
fendor opened this issue Apr 6, 2025 · 1 comment
Open

Inlay Hints for Record Wildcards contain generated names #4547

fendor opened this issue Apr 6, 2025 · 1 comment
Labels
component: hls-explicit-record-fields-plugin Issues related to the hls-explicit-record-fields-plugin type: bug Something isn't right: doesn't work as intended, documentation is missing/outdated, etc..

Comments

@fendor
Copy link
Collaborator

fendor commented Apr 6, 2025

Image

See this $sel:shakeDb

Happens on GHC 9.6.7

Works fine in Record Wild cards construction, e.g. this looks fine to me:

Image
@fendor fendor added status: needs triage type: bug Something isn't right: doesn't work as intended, documentation is missing/outdated, etc.. component: hls-explicit-record-fields-plugin Issues related to the hls-explicit-record-fields-plugin and removed status: needs triage labels Apr 6, 2025
@michaelpj
Copy link
Collaborator

I guess this is DisambiguateRecordFields, which mangles all the record selector names. I don't know how we get the non-mangled names?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
component: hls-explicit-record-fields-plugin Issues related to the hls-explicit-record-fields-plugin type: bug Something isn't right: doesn't work as intended, documentation is missing/outdated, etc..
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@michaelpj @fendor