From f057211407df29c772ac18303f13d5564684979d Mon Sep 17 00:00:00 2001
From: Joel Kronqvist <joel.kronqvist@iki.fi>
Date: Thu, 14 Aug 2025 18:48:43 +0300
Subject: feat: statics for fixed point recursion

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

(limited to 'src/type/check.rs')

diff --git a/src/type/check.rs b/src/type/check.rs
index effdc0a..d118871 100644
--- a/src/type/check.rs
+++ b/src/type/check.rs
@@ -257,6 +257,7 @@ impl SExp {
 	    Atom(Print)  => Ok(arr(vt("_"), List(vec![]))),
 	    Atom(Ty(_))  => Ok(TypeLit),
 	    Atom(Fun)    => Err(FunAsAtom),
+	    Atom(Fix)    => Ok(arr(arr(vt("T"), vt("T")), vt("T"))),
 	    Atom(Case)   => Err(CaseAsAtom),
 	    Atom(RestPat(_)) => Err(RestAsAtom),
 
-- 
cgit v1.2.3