From 907bd54d19f6bf14a130a136df6f37cc5d256468 Mon Sep 17 00:00:00 2001
From: Joel Kronqvist <joel.kronqvist@iki.fi>
Date: Thu, 14 Aug 2025 14:02:27 +0300
Subject: feat: parsing of new types (T, (int ...), (int bool)) etc. also fixed
 bug in into_type (it didn't handle lists recursively)

---
 src/type/check.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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

diff --git a/src/type/check.rs b/src/type/check.rs
index 02b629c..69e9141 100644
--- a/src/type/check.rs
+++ b/src/type/check.rs
@@ -218,10 +218,10 @@ impl SExp {
     pub fn type_check(&self) -> Result<Type, TypeError> {
 	let res = self.infer_type(HashMap::new());
 	match res {
-	    Ok(res) => {println!("maybe unbound: {}", res); match res.is_concrete() {
+	    Ok(res) => match res.is_concrete() {
 		Ok(()) => Ok(res),
 		Err(name) => Err(UnboundGeneric(name)),
-	    }},
+	    },
 	    e => e,
 	}
     }
-- 
cgit v1.2.3