diff options
author | Vincent Ambo <mail@tazj.in> | 2022-09-02T02·40+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-09-08T08·45+0000 |
commit | 6b3c3c982669e805c9fc06ee74182606497b7bc3 (patch) | |
tree | dfe31812095d205a521c1606ffdd107ccdfc2b6b /tools | |
parent | 0d7ad5e6d1992d4f80f0ea08fee636b7e34eec59 (diff) |
refactor(tvix/eval): add macros for generating Value casters r/4745
The casting methods of `Value` are pretty verbose, and actually incorrect before this commit as they did not account for inner thunk values. To address this, we first attempt to make them correct by introducing a standard macro to generate them and traverse the inner thunk(s) if necessary. This is likely to be a performance hit as it will now involve more cloning of values. We can do multiple things to alleviate this, but should do some measurements first. Change-Id: If315d6e2afe7b69db727df535bc6cbfb89a691aa Reviewed-on: https://cl.tvl.fyi/c/depot/+/6412 Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions