diff options
| author | Vincent Ambo <mail@tazj.in> | 2022-08-13T17·17+0300 |
|---|---|---|
| committer | tazjin <tazjin@tvl.su> | 2022-08-28T17·50+0000 |
| commit | 342b233a0a626aaad4ea32b1e5bf4f873afe7206 (patch) | |
| tree | c316b9a25c683156b9107bca4fc7a2454998562c /tvix/eval/src/opcode.rs | |
| parent | 2d401a32e5cef36b44fd35b12c58489cd2595f72 (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.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tvix/eval/src/opcode.rs b/tvix/eval/src/opcode.rs index ebd91dd439..ce17dab631 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 } |