diff options
author | Vincent Ambo <mail@tazj.in> | 2022-09-23T14·11+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-09-28T00·00+0000 |
commit | 846215ae2b924dc1de5cf8f3873402b3334917c3 (patch) | |
tree | 48c66eabf1956d1e3bdd66c079f474836c48183b /tvix/eval/src/compiler/bindings.rs | |
parent | 71a8db108d94f68f6e411d36a36d4f3045987ac7 (diff) |
refactor(tvix/eval): generalise error variant for dynamic keys r/4973
Change-Id: I08f40b4b53652a519e76d6e8344c7c3fe10a0689 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6767 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
Diffstat (limited to '')
-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 55621aa0d873..3dd8514c0281 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(); |