From 0cde53ac6e1ddea3ae6919c86f59b890f2198732 Mon Sep 17 00:00:00 2001
From: LordBaryhobal <lordbaryhobal@gmail.com>
Date: Mon, 8 Jun 2026 18:21:40 +0200
Subject: [PATCH] feat(types): add name to generic type

---
 midas/checker/midas.py | 8 +++++---
 midas/checker/types.py | 1 +
 2 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/midas/checker/midas.py b/midas/checker/midas.py
index a7ce36f..c55123f 100644
--- a/midas/checker/midas.py
+++ b/midas/checker/midas.py
@@ -73,11 +73,13 @@ class MidasTyper(m.Stmt.Visitor[None], m.Expr.Visitor[None], m.Type.Visitor[Type
             var = TypeVar(name=name, bound=bound)
             self._local_variables[name] = var
             params.append(var)
+        name: str = stmt.name.lexeme
         type: Type = stmt.type.accept(self)
         if len(params) != 0:
-            type = GenericType(params=params, body=type)
-        name: str = stmt.name.lexeme
-        self.types.define_type(name, AliasType(name=name, type=type))
+            type = GenericType(name=name, params=params, body=type)
+        else:
+            type = AliasType(name=name, type=type)
+        self.types.define_type(name, type)
         self._local_variables.clear()
 
     def visit_property_stmt(self, stmt: m.PropertyStmt) -> None: ...
diff --git a/midas/checker/types.py b/midas/checker/types.py
index ee41e14..8c95134 100644
--- a/midas/checker/types.py
+++ b/midas/checker/types.py
@@ -66,6 +66,7 @@ class TypeVar:
 
 @dataclass(frozen=True, kw_only=True)
 class GenericType:
+    name: str
     params: list[TypeVar]
     body: Type