diff options
Diffstat (limited to 'src/type')
| -rw-r--r-- | src/type/check.rs | 1 |
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) => { |