Skip to content

Expanding Record Wildcards expands the outermost record #4782

@fendor

Description

@fendor
Image

Turns the record into

Image

Which is not what I expected! I wanted to expand the record I was clicking on.
Applying the code action again has the behaviour I want, but now I need to undo the outer expansion!

It would be better if the code action expands exactly the record under the cursor, e.g., in this case this is what I would have wanted: (applied manually, so ignore the formatting)

Image

GHC 9.10.3
HLS 2.12

Metadata

Metadata

Assignees

Labels

component: hls-explicit-record-fields-pluginIssues related to the hls-explicit-record-fields-pluginlevel: easyThe issue is suited for beginnersstatus: needs triagetype: 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