diff options
Diffstat (limited to 'tvix/eval/src/value')
| -rw-r--r-- | tvix/eval/src/value/function.rs | 10 | ||||
| -rw-r--r-- | tvix/eval/src/value/mod.rs | 5 |
2 files changed, 15 insertions, 0 deletions
diff --git a/tvix/eval/src/value/function.rs b/tvix/eval/src/value/function.rs index 6287cf76b81d..0923e1b1cba9 100644 --- a/tvix/eval/src/value/function.rs +++ b/tvix/eval/src/value/function.rs @@ -9,10 +9,20 @@ use crate::{ upvalues::{UpvalueCarrier, Upvalues}, }; +/// The opcodes for a thunk or closure, plus the number of +/// non-executable opcodes which are allowed after an OpClosure or +/// OpThunk referencing it. At runtime `Lambda` is usually wrapped +/// in `Rc` to avoid copying the `Chunk` it holds (which can be +/// quite large). #[derive(Debug, PartialEq)] pub struct Lambda { // name: Option<NixString>, pub(crate) chunk: Chunk, + + /// Number of upvalues which the code in this Lambda closes + /// over, and which need to be initialised at + /// runtime. Information about the variables is emitted using + /// data-carrying opcodes (see [`OpCode::DataLocalIdx`]). pub(crate) upvalue_count: usize, } diff --git a/tvix/eval/src/value/mod.rs b/tvix/eval/src/value/mod.rs index 93e194e37940..a1216452fbb5 100644 --- a/tvix/eval/src/value/mod.rs +++ b/tvix/eval/src/value/mod.rs @@ -43,8 +43,13 @@ pub enum Value { // Internal values that, while they technically exist at runtime, // are never returned to or created directly by users. Thunk(Thunk), + + // See [`compiler::compile_select_or()`] for explanation AttrNotFound, + + // this can only occur in Chunk::Constants and nowhere else Blueprint(Rc<Lambda>), + DeferredUpvalue(StackIdx), UnresolvedPath(PathBuf), } |