From 4b09f015711230bcb51135e63e58dcfeb0da0510 Mon Sep 17 00:00:00 2001 From: Adam Joseph Date: Thu, 24 Nov 2022 02:46:45 -0800 Subject: fix(tvix/eval): OpAdd must weakly stringify if either arg is string Tests included. Change-Id: I7a4905d6103813373e383e2e8629c5fd243d6bca Reviewed-on: https://cl.tvl.fyi/c/depot/+/7377 Tested-by: BuildkiteCI Reviewed-by: tazjin Autosubmit: Adam Joseph --- tvix/eval/src/tests/tvix_tests/eval-okay-coerce-opadd.exp | 1 + tvix/eval/src/tests/tvix_tests/eval-okay-coerce-opadd.nix | 7 +++++++ tvix/eval/src/vm.rs | 13 ++++++++++++- 3 files changed, 20 insertions(+), 1 deletion(-) create mode 100644 tvix/eval/src/tests/tvix_tests/eval-okay-coerce-opadd.exp create mode 100644 tvix/eval/src/tests/tvix_tests/eval-okay-coerce-opadd.nix (limited to 'tvix/eval/src') 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, +)), }; -- cgit 1.4.1