From cc4c2593f768990e49cc17a6f656737984f039ee Mon Sep 17 00:00:00 2001
From: lyken <lyken@m-labs.hk>
Date: Mon, 19 Aug 2024 16:44:54 +0800
Subject: [PATCH] core/fix: stringify type in expected concrete type error

---
 nac3core/src/typecheck/function_check.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/nac3core/src/typecheck/function_check.rs b/nac3core/src/typecheck/function_check.rs
index be2d1dce..f52da4e2 100644
--- a/nac3core/src/typecheck/function_check.rs
+++ b/nac3core/src/typecheck/function_check.rs
@@ -80,7 +80,7 @@ impl<'a> Inferencer<'a> {
                 return Err(HashSet::from([format!(
                     "expected concrete type at {} but got {}",
                     expr.location,
-                    self.unifier.get_ty(*ty).get_type_name()
+                    self.unifier.stringify(*ty)
                 )]));
             }
         }