diff options
Diffstat (limited to 'tvix/eval/src/compiler/bindings.rs')
| -rw-r--r-- | tvix/eval/src/compiler/bindings.rs | 38 |
1 files changed, 12 insertions, 26 deletions
diff --git a/tvix/eval/src/compiler/bindings.rs b/tvix/eval/src/compiler/bindings.rs index 55621aa0d8..3dd8514c02 100644 --- a/tvix/eval/src/compiler/bindings.rs +++ b/tvix/eval/src/compiler/bindings.rs @@ -56,9 +56,7 @@ impl Compiler<'_> { let name = match self.expr_static_attr_str(&attr) { Some(name) => name, None => { - // TODO(tazjin): error variant for dynamic - // key in *inherit* (or generalise it) - self.emit_error(&attr, ErrorKind::DynamicKeyInLet); + self.emit_error(&attr, ErrorKind::DynamicKeyInScope("inherit")); continue; } }; @@ -95,9 +93,7 @@ impl Compiler<'_> { let name = match self.expr_static_attr_str(&attr) { Some(name) => name, None => { - // TODO(tazjin): error variant for dynamic - // key in *inherit* (or generalise it) - self.emit_error(&attr, ErrorKind::DynamicKeyInLet); + self.emit_error(&attr, ErrorKind::DynamicKeyInScope("inherit")); continue; } }; @@ -303,9 +299,7 @@ impl Compiler<'_> { let name = match self.expr_static_attr_str(&attr) { Some(name) => name, None => { - // TODO(tazjin): error variant for dynamic - // key in *inherit* (or generalise it) - self.emit_error(&attr, ErrorKind::DynamicKeyInLet); + self.emit_error(&attr, ErrorKind::DynamicKeyInScope("inherit")); continue; } }; @@ -342,9 +336,7 @@ impl Compiler<'_> { let name = match self.expr_static_attr_str(&attr) { Some(name) => name, None => { - // TODO(tazjin): error variant for dynamic - // key in *inherit* (or generalise it) - self.emit_error(&attr, ErrorKind::DynamicKeyInLet); + self.emit_error(&attr, ErrorKind::DynamicKeyInScope("inherit")); continue; } }; @@ -627,8 +619,14 @@ impl Compiler<'_> { /// a string if possible, or raise an error about the node being /// dynamic. fn binding_name(&self, node: ast::Attr) -> EvalResult<String> { - self.expr_static_attr_str(&node) - .ok_or_else(|| self.dynamic_key_error(&node)) + match self.expr_static_attr_str(&node) { + Some(s) => Ok(s), + None => Err(Error { + // this code path will go away soon, hence the TODO below + kind: ErrorKind::DynamicKeyInScope("TODO"), + span: self.span_for(&node), + }), + } } /// Normalises identifier fragments into a single string vector @@ -641,18 +639,6 @@ impl Compiler<'_> { path.map(|node| self.binding_name(node)).collect() } - /// Construct the error returned when a dynamic attribute is found - /// in a `let`-expression. - fn dynamic_key_error<N>(&self, node: &N) -> Error - where - N: ToSpan, - { - Error { - kind: ErrorKind::DynamicKeyInLet, - span: self.span_for(node), - } - } - /// Convert a non-dynamic string expression to a string if possible. fn expr_static_str(&self, node: &ast::Str) -> Option<String> { let mut parts = node.normalized_parts(); |