From a2ca4c08dcbb5c08e210bc741141290a136a8de4 Mon Sep 17 00:00:00 2001 From: Joel Kronqvist Date: Sat, 9 Aug 2025 21:39:45 +0300 Subject: Implemented print as ? -> () --- src/type/check.rs | 1 + 1 file changed, 1 insertion(+) (limited to 'src/type') diff --git a/src/type/check.rs b/src/type/check.rs index e536ce7..77420e3 100644 --- a/src/type/check.rs +++ b/src/type/check.rs @@ -194,6 +194,7 @@ impl SExp { List(vec![VecType, vecof(vt("T"))]) )), Atom(Let) => Ok(LetType), + Atom(Print) => Ok(arr(vt("_"), List(vec![]))), SCons(op, l) => { -- cgit v1.2.3