Opaque structs and aliases + some improvements

1 files changed, 17 insertions, 0 deletions

diff --git a/src/ast/ast.c b/src/ast/ast.c
index 0799845..f4922a6 100644
--- a/src/ast/ast.c
+++ b/src/ast/ast.c
@@ -168,6 +168,18 @@ int type_eq(Type *a, Type *b)
     {
         return 0 == strcmp(a->name, b->name);
     }
+    if (a->kind == TYPE_ALIAS)
+    {
+        if (a->alias.is_opaque_alias)
+        {
+            if (b->kind != TYPE_ALIAS || !b->alias.is_opaque_alias)
+            {
+                return 0;
+            }
+            return 0 == strcmp(a->name, b->name);
+        }
+        return type_eq(a->inner, b);
+    }
     if (a->kind == TYPE_POINTER || a->kind == TYPE_ARRAY)
     {
         return type_eq(a->inner, b->inner);
@@ -340,6 +352,8 @@ static char *type_to_string_impl(Type *t)
         }
         return xstrdup(t->name);
     }
+    case TYPE_ALIAS:
+        return xstrdup(t->name);
 
     default:
         return xstrdup("unknown");
@@ -524,6 +538,9 @@ static char *type_to_c_string_impl(Type *t)
     case TYPE_GENERIC:
         return xstrdup(t->name);
 
+    case TYPE_ALIAS:
+        return type_to_c_string(t->inner);
+
     case TYPE_ENUM:
         return xstrdup(t->name);