diff options
Diffstat (limited to 'src/type/check.rs')
| -rw-r--r-- | src/type/check.rs | 7 |
1 files changed, 7 insertions, 0 deletions
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"), |