aboutsummaryrefslogtreecommitdiff
path: root/src/type/check.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/type/check.rs')
-rw-r--r--src/type/check.rs1
1 files changed, 1 insertions, 0 deletions
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) => {