Skip to content

Scratch arena - #4306

Merged
kddnewton merged 1 commit into
mainfrom
scratch-arena
Oct 24, 2026
Merged

kddnewton merged 1 commit into
mainfrom
scratch-arena

Conversation

@kddnewton

Copy link
Copy Markdown
Collaborator

There are some constructs that only last for the duration of a parse, and should no longer be held once the parse is through. For those we should use a scratch arena, freed at the end of parsing.

There are some constructs that only last for the duration of a
parse, and should no longer be held once the parse is through. For
those we should use a scratch arena, freed at the end of parsing.
@kddnewton
kddnewton merged commit 30a2555 into main Oct 24, 2026
186 of 188 checks passed
@kddnewton
kddnewton deleted the scratch-arena branch October 24, 2026 20:16
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