Skip to content

Inlay Hints for Record Wildcards contain generated names #4547

New issue
New issue
Open
Open
Inlay Hints for Record Wildcards contain generated names#4547
Labels
component: hls-explicit-record-fields-pluginIssues related to the hls-explicit-record-fields-plugintype: bugSomething isn't right: doesn't work as intended, documentation is missing/outdated, etc..
@fendor

Description

@fendor
fendor
opened on 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

Metadata

Metadata

Assignees

No one assigned

    Labels

    component: hls-explicit-record-fields-pluginIssues related to the hls-explicit-record-fields-plugintype: bugSomething isn't right: doesn't work as intended, documentation is missing/outdated, etc..

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions