1 files changed, 25 insertions, 0 deletions

diff --git a/src/semantic.c b/src/semantic.c
index 1b40723..d782cac 100644
--- a/src/semantic.c
+++ b/src/semantic.c
@@ -146,6 +146,23 @@ find_struct(Scope *scope, Str type) {
     return (FindStructResult){0};
 }
 
+typedef struct FindSymbolResult {
+    SymbolMap *map;
+    Scope *scope;
+} FindSymbolResult;
+
+FindSymbolResult
+find_symbol(Scope *scope, Str type) {
+    while (scope != NULL) {
+        SymbolMap *val = symmap_lookup(&scope->symbols, type);
+        if (val != NULL) {
+            return (FindSymbolResult){.map = val, .scope = scope};
+        }
+        scope = scope->parent;
+    }
+    return (FindSymbolResult){0};
+}
+
 void
 graph_typescope(Scope *scope, Arena a) {
     if (!scope->symbols) {
@@ -868,6 +885,13 @@ type_inference(Analyzer *a, Node *node, Scope *scope) {
                 a->err = true;
                 return cstr("");
             }
+
+            FindSymbolResult sym = find_symbol(scope, symbol);
+            node->unique_name = str_concat(cstr("."), symbol, a->storage);
+            node->unique_name =
+                str_concat(node->unique_name,
+                           str_from_int(sym.scope->id, a->storage), a->storage);
+
             Str type_name = type->val.name;
             if (node->kind == NODE_SYMBOL_IDX) {
                 Str idx_type = type_inference(a, node->arr_size, scope);
@@ -904,6 +928,7 @@ type_inference(Analyzer *a, Node *node, Scope *scope) {
                     a->err = true;
                     return cstr("");
                 }
+
                 node->next->type = type_name;
                 node->type = type_name;
                 return node->next->type;