about summary refs log tree commit diff
path: root/tvix/eval/src
diff options
context:
space:
mode:
authorVincent Ambo <mail@tazj.in>2022-09-28T12·08+0300
committertazjin <tazjin@tvl.su>2022-09-29T17·46+0000
commit0cee44838ccae33e2a70e88b805268b2531c552c (patch)
tree923f2bf21495e82e934ab27251d6fce26367f433 /tvix/eval/src
parent3f34af205f36f0a18c37befb7d20872f4ae8f418 (diff)
feat(tvix/eval): add error kind for unmergeable nested attributes r/4996
Change-Id: Ic5e6d1bf2625c33938360affb0d1a7c922af11bf
Reviewed-on: https://cl.tvl.fyi/c/depot/+/6799
Tested-by: BuildkiteCI
Reviewed-by: sterni <sternenseemann@systemli.org>
Diffstat (limited to 'tvix/eval/src')
-rw-r--r--tvix/eval/src/compiler/bindings.rs5
-rw-r--r--tvix/eval/src/errors.rs10
2 files changed, 14 insertions, 1 deletions
diff --git a/tvix/eval/src/compiler/bindings.rs b/tvix/eval/src/compiler/bindings.rs
index 5fa08210fd46..53344d067771 100644
--- a/tvix/eval/src/compiler/bindings.rs
+++ b/tvix/eval/src/compiler/bindings.rs
@@ -48,7 +48,10 @@ impl Binding {
                 Some(ErrorKind::UnmergeableInherit { name: name.clone() })
             }
 
-            Binding::Plain { .. } => todo!(),
+            Binding::Plain { expr } => match expr {
+                ast::Expr::AttrSet(_) => todo!(),
+                _ => Some(ErrorKind::UnmergeableValue),
+            },
         }
     }
 }
diff --git a/tvix/eval/src/errors.rs b/tvix/eval/src/errors.rs
index 92ca59f105a4..1776cef88b00 100644
--- a/tvix/eval/src/errors.rs
+++ b/tvix/eval/src/errors.rs
@@ -95,6 +95,10 @@ pub enum ErrorKind {
         name: SmolStr,
     },
 
+    /// Nested attributes can not be merged with values that are not
+    /// literal attribute sets.
+    UnmergeableValue,
+
     /// Tvix internal warning for features triggered by users that are
     /// not actually implemented yet, and without which eval can not
     /// proceed.
@@ -256,6 +260,11 @@ to a missing value in the attribute set(s) included via `with`."#,
                 )
             }
 
+            ErrorKind::UnmergeableValue => {
+                "nested attribute sets or keys can only be merged with literal attribute sets"
+                    .into()
+            }
+
             ErrorKind::NotImplemented(feature) => {
                 format!("feature not yet implemented in Tvix: {}", feature)
             }
@@ -290,6 +299,7 @@ to a missing value in the attribute set(s) included via `with`."#,
             ErrorKind::NegativeLength { .. } => "E022",
             ErrorKind::TailEmptyList { .. } => "E023",
             ErrorKind::UnmergeableInherit { .. } => "E024",
+            ErrorKind::UnmergeableValue => "E025",
             ErrorKind::NotImplemented(_) => "E999",
         }
     }