From 907bd54d19f6bf14a130a136df6f37cc5d256468 Mon Sep 17 00:00:00 2001 From: Joel Kronqvist Date: Thu, 14 Aug 2025 14:02:27 +0300 Subject: feat: parsing of new types (T, (int ...), (int bool)) etc. also fixed bug in into_type (it didn't handle lists recursively) --- src/type/conversion.rs | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'src/type/conversion.rs') diff --git a/src/type/conversion.rs b/src/type/conversion.rs index 5d29ba0..baeab90 100644 --- a/src/type/conversion.rs +++ b/src/type/conversion.rs @@ -94,6 +94,7 @@ impl Type { /// List(vec![Integer, Boolean]).into_type(&vecof(vt("T"))), /// Ok(vecof(vt("T"))) /// ); + /// assert_eq!(List(vec![Boolean, Integer, Integer]).into_type(&List(vec![Boolean, vt("T"), vt("T")])), Ok(List(vec![Boolean, Integer, Integer]))) /// ``` /// /// Though the conversion from (a) to a is also convenient: @@ -115,6 +116,14 @@ impl Type { (List(x), b) if x.len() == 1 && &x[0] == b => Ok(x[0].clone()), + (List(v1), List(v2)) if v1.len() == v2.len() => { + let mut res = vec![]; + for (t1, t2) in v1.into_iter().zip(v2) { + res.push(t1.clone().into_type(&t2)?); + } + Ok(List(res)) + } + (List(v), VecOf(b)) => match v.get(0) { Some(first) => { let cand = v.into_iter() -- cgit v1.2.3