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/vm.rs | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) (limited to 'tvix/eval/src/vm.rs') diff --git a/tvix/eval/src/vm.rs b/tvix/eval/src/vm.rs index 1ae97908e5..aa03ffd1ea 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