Rename builtins/ -> stdlib/

1 files changed, 86 insertions, 0 deletions

diff --git a/stdlib/types.h b/stdlib/types.h
new file mode 100644
index 00000000..bcdafad2
--- /dev/null
+++ b/stdlib/types.h
@@ -0,0 +1,86 @@
+#pragma once
+
+// Type information and methods for TypeInfos (i.e. runtime representations of types)
+
+#include <stdbool.h>
+#include <stdint.h>
+
+#include "datatypes.h"
+
+struct TypeInfo;
+
+typedef uint64_t (*hash_fn_t)(const void*, const struct TypeInfo*);
+typedef int32_t (*compare_fn_t)(const void*, const void*, const struct TypeInfo*);
+typedef bool (*equal_fn_t)(const void*, const void*, const struct TypeInfo*);
+typedef Text_t (*text_fn_t)(const void*, bool, const struct TypeInfo*);
+
+typedef struct TypeInfo {
+    int64_t size, align;
+    struct { // Anonymous tagged union for convenience 
+        enum { CustomInfo, StructInfo, EnumInfo, PointerInfo, TextInfo, ArrayInfo, ChannelInfo, TableInfo, FunctionInfo,
+            OptionalInfo, TypeInfoInfo, OpaqueInfo, EmptyStructInfo, CStringInfo } tag;
+        union {
+            struct {
+                equal_fn_t equal;
+                compare_fn_t compare;
+                hash_fn_t hash;
+                text_fn_t as_text;
+            } CustomInfo;
+            struct {
+                const char *sigil;
+                const struct TypeInfo *pointed;
+            } PointerInfo;
+            struct {
+                const char *lang;
+            } TextInfo;
+            struct {
+                const struct TypeInfo *item;
+            } ArrayInfo, ChannelInfo;
+            struct {
+                const struct TypeInfo *key, *value;
+            } TableInfo;
+            struct {
+                const char *type_str;
+            } FunctionInfo;
+            struct {
+                const char *type_str;
+            } TypeInfoInfo;
+            struct {
+                const struct TypeInfo *type;
+            } OptionalInfo;
+#pragma GCC diagnostic ignored "-Wpedantic"
+            struct {} OpaqueInfo;
+            struct {
+                const char *name;
+            } EmptyStructInfo;
+        };
+    };
+} TypeInfo;
+
+#define Pointer$info(sigil_expr, pointed_info) &((TypeInfo){.size=sizeof(void*), .align=__alignof__(void*), \
+                                                      .tag=PointerInfo, .PointerInfo={.sigil=sigil_expr, .pointed=pointed_info}})
+#define Array$info(item_info) &((TypeInfo){.size=sizeof(Array_t), .align=__alignof__(Array_t), \
+                                .tag=ArrayInfo, .ArrayInfo.item=item_info})
+#define Set$info(item_info) &((TypeInfo){.size=sizeof(Table_t), .align=__alignof__(Table_t), \
+                              .tag=TableInfo, .TableInfo.key=item_info, .TableInfo.value=&Void$info})
+#define Channel$info(item_info) &((TypeInfo){.size=sizeof(Channel_t), .align=__alignof__(Channel_t), \
+                                .tag=ChannelInfo, .ChannelInfo.item=item_info})
+#define Table$info(key_expr, value_expr) &((TypeInfo){.size=sizeof(Table_t), .align=__alignof__(Table_t), \
+                                           .tag=TableInfo, .TableInfo.key=key_expr, .TableInfo.value=value_expr})
+#define Function$info(typestr) &((TypeInfo){.size=sizeof(void*), .align=__alignof__(void*), \
+                                 .tag=FunctionInfo, .FunctionInfo.type_str=typestr})
+#define Closure$info(typestr) &((TypeInfo){.size=sizeof(void*[2]), .align=__alignof__(void*), \
+                                 .tag=FunctionInfo, .FunctionInfo.type_str=typestr})
+#define TypeInfo$info(typestr) &((TypeInfo){.size=sizeof(TypeInfo), .align=__alignof__(TypeInfo), \
+                                 .tag=TypeInfoInfo, .TypeInfoInfo.type_str=typestr})
+#define Optional$info(t) &((TypeInfo){.size=(t)->size, .align=(t)->align, \
+                           .tag=OptionalInfo, .OptionalInfo.type=t})
+
+extern const TypeInfo TypeInfo$info;
+extern const TypeInfo Void$info;
+extern const TypeInfo Abort$info;
+#define Void_t void
+
+Text_t Type$as_text(const void *typeinfo, bool colorize, const TypeInfo *type);
+
+// vim: ts=4 sw=0 et cino=L2,l1,(0,W4,m1,\:0