diff options
| -rw-r--r-- | tvix/eval/src/value/mod.rs | 6 | ||||
| -rw-r--r-- | tvix/eval/src/vm.rs | 5 |
2 files changed, 1 insertions, 10 deletions
diff --git a/tvix/eval/src/value/mod.rs b/tvix/eval/src/value/mod.rs index 175b33bfa2e8..9231e91bbe8b 100644 --- a/tvix/eval/src/value/mod.rs +++ b/tvix/eval/src/value/mod.rs @@ -44,7 +44,6 @@ pub enum Value { // are never returned to or created directly by users. Thunk(Thunk), AttrNotFound, - DynamicUpvalueMissing(NixString), Blueprint(Rc<Lambda>), DeferredUpvalue(StackIdx), } @@ -240,7 +239,6 @@ impl Value { }), (Value::AttrNotFound, _) - | (Value::DynamicUpvalueMissing(_), _) | (Value::Blueprint(_), _) | (Value::DeferredUpvalue(_), _) => { panic!("tvix bug: .coerce_to_string() called on internal value") @@ -263,7 +261,6 @@ impl Value { // Internal types Value::Thunk(_) | Value::AttrNotFound - | Value::DynamicUpvalueMissing(_) | Value::Blueprint(_) | Value::DeferredUpvalue(_) => "internal", } @@ -365,9 +362,6 @@ impl Display for Value { Value::AttrNotFound => f.write_str("internal[not found]"), Value::Blueprint(_) => f.write_str("internal[blueprint]"), Value::DeferredUpvalue(_) => f.write_str("internal[deferred_upvalue]"), - Value::DynamicUpvalueMissing(name) => { - write!(f, "internal[no_dyn_upvalue({name})]") - } } } } diff --git a/tvix/eval/src/vm.rs b/tvix/eval/src/vm.rs index 52de99f490ed..252635de56d0 100644 --- a/tvix/eval/src/vm.rs +++ b/tvix/eval/src/vm.rs @@ -836,10 +836,7 @@ impl<'o> VM<'o> { // If any of these internal values are encountered here a // critical error has happened (likely a compiler bug). - Value::AttrNotFound - | Value::DynamicUpvalueMissing(_) - | Value::Blueprint(_) - | Value::DeferredUpvalue(_) => { + Value::AttrNotFound | Value::Blueprint(_) | Value::DeferredUpvalue(_) => { panic!("tvix bug: internal value left on stack: {:?}", value) } |