about summary refs log tree commit diff
diff options
context:
space:
mode:
-rw-r--r--tvix/eval/src/tests/tvix_tests/eval-okay-coerce-opadd.exp1
-rw-r--r--tvix/eval/src/tests/tvix_tests/eval-okay-coerce-opadd.nix7
-rw-r--r--tvix/eval/src/vm.rs13
3 files changed, 20 insertions, 1 deletions
diff --git a/tvix/eval/src/tests/tvix_tests/eval-okay-coerce-opadd.exp b/tvix/eval/src/tests/tvix_tests/eval-okay-coerce-opadd.exp
new file mode 100644
index 000000000000..d874518a37ed
--- /dev/null
+++ b/tvix/eval/src/tests/tvix_tests/eval-okay-coerce-opadd.exp
@@ -0,0 +1 @@
+[ "lordnikon" "zerocool" /tmp/31337h4x0r "fooblah" "blahfoo" ]
diff --git a/tvix/eval/src/tests/tvix_tests/eval-okay-coerce-opadd.nix b/tvix/eval/src/tests/tvix_tests/eval-okay-coerce-opadd.nix
new file mode 100644
index 000000000000..6ddd30e7a189
--- /dev/null
+++ b/tvix/eval/src/tests/tvix_tests/eval-okay-coerce-opadd.nix
@@ -0,0 +1,7 @@
+[
+  ({ __toString = _: "lord"; } + "nikon")
+  ("zero" + { __toString = _: "cool"; })
+  (/tmp/31337 + "h4x0r")
+  ("foo" + { outPath="blah"; })
+  ({ outPath="blah"; } + "foo")
+]
diff --git a/tvix/eval/src/vm.rs b/tvix/eval/src/vm.rs
index 1ae97908e559..aa03ffd1eaae 100644
--- a/tvix/eval/src/vm.rs
+++ b/tvix/eval/src/vm.rs
@@ -399,7 +399,6 @@ impl<'o> VM<'o> {
                 let a = self.pop();
 
                 let result = match (&a, &b) {
-                    (Value::String(s1), Value::String(s2)) => Value::String(s1.concat(s2)),
                     (Value::Path(p), v) => {
                         let mut path = p.to_string_lossy().into_owned();
                         path.push_str(
@@ -408,6 +407,18 @@ impl<'o> VM<'o> {
                         );
                         crate::value::canon_path(PathBuf::from(path)).into()
                     }
+                    (Value::String(s1), Value::String(s2)) => Value::String(s1.concat(s2)),
+                    (Value::String(s1), v) => Value::String(
+                        s1.concat(
+                            &v.coerce_to_string(CoercionKind::Weak, self)
+                                .map_err(|ek| self.error(ek))?,
+                        ),
+                    ),
+                    (v, Value::String(s2)) => Value::String(
+                        v.coerce_to_string(CoercionKind::Weak, self)
+                            .map_err(|ek| self.error(ek))?
+                            .concat(s2),
+                    ),
                     _ => fallible!(self, arithmetic_op!(&a, &b, +)),
                 };