Skip to content

fix(rename): expand record puns - #2065

Open
rgrinberg wants to merge 1 commit into
masterfrom
push-zroqnnuoxosk
Open

fix(rename): expand record puns#2065
rgrinberg wants to merge 1 commit into
masterfrom
push-zroqnnuoxosk

Conversation

@rgrinberg

Copy link
Copy Markdown
Member

Use Merlin's recovered parsetree to distinguish punned record expressions and patterns from ordinary identifier occurrences.

When renaming a variable, preserve the field and insert an explicit assignment. When renaming the field itself, preserve the variable on the right-hand side. Cover expression puns, pattern puns, and field renames through full workspace-edit snapshots.

Use Merlin's recovered parsetree to distinguish punned record expressions and patterns from ordinary identifier occurrences.

When renaming a variable, preserve the field and insert an explicit assignment. When renaming the field itself, preserve the variable on the right-hand side. Cover expression puns, pattern puns, and field renames through full workspace-edit snapshots.

Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
@rgrinberg
rgrinberg force-pushed the push-zroqnnuoxosk branch from 891455c to 783925c Compare July 31, 2026 22:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant