From 4daf7b149622a16a2271630a19f0833702477a86 Mon Sep 17 00:00:00 2001 From: Joel Kronqvist Date: Sat, 16 Aug 2025 03:25:45 +0300 Subject: feat: vector concatenation --- src/type/check.rs | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'src/type/check.rs') diff --git a/src/type/check.rs b/src/type/check.rs index 170feec..fd5d1d3 100644 --- a/src/type/check.rs +++ b/src/type/check.rs @@ -244,6 +244,13 @@ impl SExp { Ok(arr(List(vec![Integer, Integer]), Boolean)), Atom(Or | And | Xor) => Ok(arr(List(vec![Boolean, Boolean]), Boolean)), Atom(Not) => Ok(arr(Boolean, Boolean)), + Atom(Concat) => Ok(arr( + List(vec![ + List(vec![VecType, vecof(vt("T"))]), + List(vec![VecType, vecof(vt("T"))]) + ]), + List(vec![VecType, vecof(vt("T"))]) + )), Atom(Nil) => Ok(NilType), Atom(Quote) => Ok(arr( vt("T"), -- cgit v1.2.3