diff options
author | Aspen Smith <root@gws.fyi> | 2024-02-10T17·35-0500 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2024-02-13T16·49+0000 |
commit | dd261773192d0928571f806892d8065fbba1cf2d (patch) | |
tree | 583b8571587a3e3adfb0cc368116b873d2380396 /tvix/.gitignore | |
parent | e3c92ac3b4b07a7397b565738ec4237b9bf621f6 (diff) |
revert(tvix/eval): Don't double-box Path values r/7507
This reverts commit d3d41552cf1f6485f8ebc597a2128a0d15b030a5. This was well-intentioned, but now the boxed Path values are actually the *largest* Value enum variants, at 16 bytes (because they're fat-pointers, with a len) instead of 8 bytes like all the other values. Having the double reference is a reasonable price to pay (it seems; more benchmarks may end up disagreeing) for a smaller Value repr. Change-Id: I0d3e84f646c8f5ffd0b7259c4e456637eea360f7 Reviewed-on: https://cl.tvl.fyi/c/depot/+/10797 Tested-by: BuildkiteCI Autosubmit: aspen <root@gws.fyi> Reviewed-by: sterni <sternenseemann@systemli.org>
Diffstat (limited to 'tvix/.gitignore')
0 files changed, 0 insertions, 0 deletions