diff options
| author | Vincent Ambo <mail@tazj.in> | 2022-08-29T15·33+0300 |
|---|---|---|
| committer | tazjin <tazjin@tvl.su> | 2022-09-07T15·25+0000 |
| commit | 9a783e50a490a873f157ec298165b3f38973e4b5 (patch) | |
| tree | c3e5362a04d51ce422c00255354916beb32f1faf /tvix/eval/src/opcode.rs | |
| parent | db9cb70d5d7807adff255e21a04d78c5700d1260 (diff) | |
feat(tvix/eval): implement OpForce in VM r/4688
This operation forces the evaluation of a thunk. There is some potential here for making an implementation that avoids some copies, but the thunk machinery is tricky to get right so the first priority is to make sure it is correct by keeping the implementation simple. Change-Id: Ib381455b02f42ded717faff63f55afed4c8fb7e3 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6352 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
Diffstat (limited to 'tvix/eval/src/opcode.rs')
| -rw-r--r-- | tvix/eval/src/opcode.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tvix/eval/src/opcode.rs b/tvix/eval/src/opcode.rs index a8802e8c0a..18f0fce3cb 100644 --- a/tvix/eval/src/opcode.rs +++ b/tvix/eval/src/opcode.rs @@ -109,6 +109,7 @@ pub enum OpCode { // Thunks OpThunk(ConstantIdx), + OpForce, /// Finalise initialisation of the upvalues of the value in the /// given stack index after the scope is fully bound. |