diff options
author | Griffin Smith <grfn@gws.fyi> | 2022-10-13T02·47-0400 |
---|---|---|
committer | grfn <grfn@gws.fyi> | 2022-10-22T18·11+0000 |
commit | d4fa3152e92ef72d9ee050000b1fd4952203e383 (patch) | |
tree | 288cd7bd6f47169aec08e402edd0cf5fb90560fa /tvix/eval/proptest-regressions/value | |
parent | 8724d2fff871827dc66503f9b3dfa1d29149ddc7 (diff) |
feat(tvix/eval): Implement builtins.deepSeq r/5175
This is done via a new `deepForce` function on Value. Since values can be cyclical (for example, see the test-case), we need to do some extra work to avoid RefCell borrow errors if we ever hit a graph cycle: While deep-forcing values, we keep a set of thunks that we have already seen and avoid doing any work on the same thunk twice. The set is encapsulated in a separate type to stop potentially invalid pointers from leaking out. Finally, since deep_force is conceptually similar to `VM::force_for_output` (but more suited to usage in eval since it doesn't clone the values) this removes the latter, replacing it with the former. Co-Authored-By: Vincent Ambo <tazjin@tvl.su> Change-Id: Iefddefcf09fae3b6a4d161a5873febcff54b9157 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7000 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi> Reviewed-by: tazjin <tazjin@tvl.su>
Diffstat (limited to 'tvix/eval/proptest-regressions/value')
0 files changed, 0 insertions, 0 deletions