Add type constructor

Princess-org · Dec 16, 2024 · 385707c · 385707c
1 parent fda437d
commit 385707c
Showing 1 changed file with 11 additions and 1 deletion.
diff --git a/std/reflection.pr b/std/reflection.pr
@@ -178,6 +178,12 @@ export type TupleT = &struct {
     elements: &[weak Type]
 }
 
+export type TypeConstructorT = &struct {
+    BaseType
+    const size: size_t = 0
+    const align: size_t = 0
+}
+
 type TypeKind = enum {
     BOOL
     WORD
@@ -197,6 +203,7 @@ type TypeKind = enum {
     VARIANT
     TUPLE
     TYPE
+    TYPE_CONSTRUCTOR
     OPAQUE // Same as STUB in typechecking
 }
 
@@ -233,7 +240,7 @@ def load_types(input: *uint8, size: size_t, num: size_t, strings: *char) {
         new_types.push(id)
 
         //NOTE: print doesn't work in here
-        printf("%d %s %s %zu\n".value, kind, name.data ++ name.offset, module.data ++ module.offset, id)
+        printf("%d %s %s %zd\n".value, kind, name.data ++ name.offset, module.data ++ module.offset, id)
 
         switch kind {
         case TypeKind::BOOL
@@ -336,6 +343,8 @@ def load_types(input: *uint8, size: size_t, num: size_t, strings: *char) {
             types(id) = [ name = name, module = module, id = id ] !TypeT
         case TypeKind::OPAQUE
             types(id) = [ name = name, module = module, id = id ] !OpaqueT
+        case TypeKind::TYPE_CONSTRUCTOR
+            types(id) = [ name = name, module = module, id = id ] !TypeConstructorT
         }
 
         index += 1
@@ -345,6 +354,7 @@ def load_types(input: *uint8, size: size_t, num: size_t, strings: *char) {
 
     // Resolve type references
     for var id in new_types {
+        printf("%zd\n".value, id)
         let tpe = types(id)
 
         let base = *(tpe !BaseType)