about summary refs log tree commit diff
path: root/tvix/eval/src/opcode.rs
diff options
context:
space:
mode:
authorVincent Ambo <mail@tazj.in>2022-08-13T17·17+0300
committertazjin <tazjin@tvl.su>2022-08-28T17·50+0000
commit342b233a0a626aaad4ea32b1e5bf4f873afe7206 (patch)
treec316b9a25c683156b9107bca4fc7a2454998562c /tvix/eval/src/opcode.rs
parent2d401a32e5cef36b44fd35b12c58489cd2595f72 (diff)
feat(tvix/eval): add local identifier access r/4524
This makes basic `let ... in ...` statements work correctly. It does
not yet account for the call frames pushed into the VM during function
application.

Change-Id: I67155171daf1a43011b96716dd9d1ab04b27db33
Reviewed-on: https://cl.tvl.fyi/c/depot/+/6190
Tested-by: BuildkiteCI
Reviewed-by: grfn <grfn@gws.fyi>
Diffstat (limited to 'tvix/eval/src/opcode.rs')
-rw-r--r--tvix/eval/src/opcode.rs3
1 files changed, 3 insertions, 0 deletions
diff --git a/tvix/eval/src/opcode.rs b/tvix/eval/src/opcode.rs
index ebd91dd43924..ce17dab63124 100644
--- a/tvix/eval/src/opcode.rs
+++ b/tvix/eval/src/opcode.rs
@@ -62,6 +62,9 @@ pub enum OpCode {
     // Type assertion operators
     OpAssertBool,
 
+    // Access local identifiers with statically known positions.
+    OpGetLocal(usize),
+
     // Close scopes while leaving their expression value around.
     OpCloseScope(usize), // number of locals to pop
 }