From 3e1bf7f9946efe70d452c71494ac77ed39110804 Mon Sep 17 00:00:00 2001
From: Joel Kronqvist <joel.kronqvist@iki.fi>
Date: Wed, 6 Aug 2025 17:05:55 +0300
Subject: Added print, raised level on which UnboundGeneric error is returned

---
 src/type/check.rs | 24 +++++++++++-------------
 1 file changed, 11 insertions(+), 13 deletions(-)

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

diff --git a/src/type/check.rs b/src/type/check.rs
index e536ce7..91ca422 100644
--- a/src/type/check.rs
+++ b/src/type/check.rs
@@ -163,7 +163,11 @@ impl SExp {
     /// };
     /// ```
     pub fn type_check(&self) -> Result<Type, TypeError> {
-        self.infer_type(HashMap::new())
+        let ty = self.infer_type(HashMap::new())?;
+        match ty.is_concrete() {
+            Ok(()) => Ok(ty),
+            Err(s) => Err(UnboundGeneric(ty, s)),
+        }
     }
 
 
@@ -194,6 +198,7 @@ impl SExp {
                                 List(vec![VecType, vecof(vt("T"))])
                             )),
             Atom(Let)    => Ok(LetType),
+            Atom(Print)  => Ok(arr(vt("_"), arr(vt("T"), vt("T")))),
 
 
             SCons(op, l) => {
@@ -298,10 +303,11 @@ impl Type {
                     restype = restype.subst(&name, &ty);
                 }
 
-                match restype.is_concrete() {
-                    Ok(()) => Ok(arr(argtype.clone(), restype)),
-                    Err(unbound) => Err(UnboundGeneric(unbound)),
-                }
+                //match restype.is_concrete() {
+                //    Ok(()) => Ok(arr(argtype.clone(), restype)),
+                //    Err(unbound) => Err(UnboundGeneric(unbound)),
+                //}
+                Ok(arr(argtype.clone(), restype))
             },
             _ => Err(OtherError)
         }
@@ -378,14 +384,6 @@ impl Type {
 mod tests {
     use super::{*, TypeError};
 
-    #[test]
-    fn test_failing_infer_generics() {
-        assert_eq!(
-            arr(Integer, VarType("X".to_string())).infer_generics(&Integer),
-            Err(TypeError::UnboundGeneric(String::from("X")))
-        );
-    }
-
     #[test]
     fn test_infer_generics() {
 
-- 
cgit v1.2.3