diff options
author | Aspen Smith <root@gws.fyi> | 2024-02-10T17·22-0500 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2024-02-10T20·35+0000 |
commit | 5d72d3980f21ac720520e4d2450f0709b6b581ea (patch) | |
tree | 6cc1106b84c2b10db10e2fdde9c36f636832e777 /users/Profpatsch/dhall | |
parent | 5d2ae840f13641a6f699ab77d43e41d98f459053 (diff) |
refactor(tvix/eval): Box the strings in CatchableErrorKind r/7497
These strings are allocated once and never changed, so they don't need the additional overhead of a capacity given by String - instead, we can use Box<str> and save on 16 bytes for each of these, *and* for each Value since this is currently the largest Value variant. Change-Id: I3e5cb070fe6c5bf82114c92d04f6bae775663a7e Reviewed-on: https://cl.tvl.fyi/c/depot/+/10796 Autosubmit: aspen <root@gws.fyi> Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
Diffstat (limited to 'users/Profpatsch/dhall')
0 files changed, 0 insertions, 0 deletions