diff options
Diffstat (limited to 'src/type')
| -rw-r--r-- | src/type/check.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/type/check.rs b/src/type/check.rs index 6d54570..c0f4b1f 100644 --- a/src/type/check.rs +++ b/src/type/check.rs @@ -261,7 +261,7 @@ impl SExp { List(vec![VecType, vecof(vt("T"))]) )), Atom(Let) => Ok(LetType), - Atom(Print) => Ok(arr(vt("_"), List(vec![]))), + Atom(Print) => Ok(arr(vt("_"), NilType)), Atom(Ty(_)) => Ok(TypeLit), Atom(Fun) => Err(FunAsAtom), Atom(Fix) => Ok(arr(arr(vt("T"), vt("T")), vt("T"))), |