diff options
| author | Vincent Ambo <mail@tazj.in> | 2022-08-29T15·27+0300 |
|---|---|---|
| committer | tazjin <tazjin@tvl.su> | 2022-09-06T16·54+0000 |
| commit | a8c13a5ce1ee59c82b9138cc2073ab1b26187d00 (patch) | |
| tree | 915a1d6a0d6f7293f106088f55198d01fc3ec6b0 /users/wpcarro/emacs/.emacs.d/wpc/wpc-ui.el | |
| parent | 6c895d4b280e6376e833cec80a387c0729b898a3 (diff) | |
fix(tvix/eval): allocate Thunk::upvalues with known capacity r/4682
The capacity (i.e. number of builtins) is known from the lambda, so we can size it correctly right away. Change-Id: Iab0b5a3f47d450fa9866c091ebbbed935b934907 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6351 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
Diffstat (limited to 'users/wpcarro/emacs/.emacs.d/wpc/wpc-ui.el')
0 files changed, 0 insertions, 0 deletions