Skip to content

Fix rename#460

Merged
NicoLaval merged 9 commits intodevelopfrom
fix/430-rename
Feb 7, 2026
Merged

Fix rename#460
NicoLaval merged 9 commits intodevelopfrom
fix/430-rename

Conversation

@hadrienk
Copy link
Collaborator

Extracted from #443

fromTo.put(fromNameString, toNameString);
}

// Validate collisions with untouched dataset columns ("Untouched" = columns that are not
Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

{a b c}[a -> z, b -> z] // Z already exist

{a b c}[b -> z, b -> y] // b already renamed (variable not found?)

{a b c}[a -> b] // ?

{a b c}[a -> z, b -> a] // Allowed?

@hadrienk hadrienk requested a review from NicoLaval February 6, 2026 13:46
@NicoLaval NicoLaval merged commit d7b762e into develop Feb 7, 2026
10 of 12 checks passed
@NicoLaval NicoLaval deleted the fix/430-rename branch February 7, 2026 09:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants