From c455e7b67d2e55e6ed03e3449203d4e307f5a7dd Mon Sep 17 00:00:00 2001
From: Bruce Hill <bruce@bruce-hill.com>
Date: Fri, 13 Sep 2024 20:18:08 -0400
Subject: Rename builtins/ -> stdlib/

---
 builtins/types.h | 86 --------------------------------------------------------
 1 file changed, 86 deletions(-)
 delete mode 100644 builtins/types.h

(limited to 'builtins/types.h')

diff --git a/builtins/types.h b/builtins/types.h
deleted file mode 100644
index bcdafad2..00000000
--- a/builtins/types.h
+++ /dev/null
@@ -1,86 +0,0 @@
-#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
-- 
cgit v1.2.3