Skip to content

Add a constant id set - #4240

Merged
kddnewton merged 1 commit into
mainfrom
capture-dedup
Sep 29, 2026
Merged

kddnewton merged 1 commit into
mainfrom
capture-dedup

Conversation

@kddnewton

Copy link
Copy Markdown
Collaborator

There are times when we don't need explicit order in a list of constants, namely when looking at names of captures in a pattern match and names of captures in a regular expression. In these cases it's better to be linear with respect to the number of names, so using a hash makes a little more sense.

There are times when we don't need explicit order in a list of
constants, namely when looking at names of captures in a pattern
match and names of captures in a regular expression. In these cases
it's better to be linear with respect to the number of names, so
using a hash makes a little more sense.
@kddnewton
kddnewton merged commit 22bd9c2 into main Sep 29, 2026
111 checks passed
@kddnewton
kddnewton deleted the capture-dedup branch September 29, 2026 19:02
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.

1 participant