1 files changed, 0 insertions, 19 deletions
diff --git a/builtins/pointers.h b/builtins/pointers.h
deleted file mode 100644
index faa95316..00000000
--- a/builtins/pointers.h
+++ /dev/null
@@ -1,19 +0,0 @@
-#pragma once
-
-// Type infos and methods for Pointer types
-
-#include <stdbool.h>
-#include <stdint.h>
-
-#include "types.h"
-#include "util.h"
-
-Text_t Pointer$as_text(const void *x, bool colorize, const TypeInfo *type);
-PUREFUNC int32_t Pointer$compare(const void *x, const void *y, const TypeInfo *type);
-PUREFUNC bool Pointer$equal(const void *x, const void *y, const TypeInfo *type);
-
-#define Null(t) (t*)NULL
-#define POINTER_TYPE(_sigil, _pointed) (&(TypeInfo){\
-    .size=sizeof(void*), .align=alignof(void*), .tag=PointerInfo, .PointerInfo.sigil=_sigil, .PointerInfo.pointed=_pointed})
-
-// vim: ts=4 sw=0 et cino=L2,l1,(0,W4,m1,\:0