From d4d6e972650370d529363f7db3946e58bdbd7bca Mon Sep 17 00:00:00 2001
From: Joel Kronqvist <joel.kronqvist@iki.fi>
Date: Mon, 18 Aug 2025 23:39:47 +0300
Subject: doc: added exercise 1

---
 src/type/check.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

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"))),
-- 
cgit v1.2.3