From 415f75c275c991949ef7c9d2c62d07e8eba761b5 Mon Sep 17 00:00:00 2001
From: Xander <xander@icth.xyz>
Date: Tue, 4 Jul 2023 13:26:09 +0200
Subject: Overloading print + cleanup

---
 kernel/writer.sats | 32 --------------------------------
 1 file changed, 32 deletions(-)
 delete mode 100644 kernel/writer.sats

(limited to 'kernel/writer.sats')

diff --git a/kernel/writer.sats b/kernel/writer.sats
deleted file mode 100644
index 65a2ea9..0000000
--- a/kernel/writer.sats
+++ /dev/null
@@ -1,32 +0,0 @@
-#define BUFFER_HEIGHT 23
-#define BUFFER_WIDTH 80
-#define N BUFFER_HEIGHT * BUFFER_WIDTH
-
-datatype color =
-  | Black 
-  | Blue 
-  | Green 
-  | Cyan 
-  | Red 
-  | Magenta 
-  | Brown 
-  | LightGray 
-  | DarkGray 
-  | LightBlue 
-  | LightGreen 
-  | LightCyan 
-  | LightRed 
-  | Pink 
-  | Yellow 
-  | White 
-
-
-typedef screenChar = @{ ascii_character = char, color_code = uint8}
-
-vtypedef buffer = [l : agz] (@[screenChar][N] @ l | ptr l)
-typedef writer  = @{position = [a:int | a >= 0 && a < N] int (a), color_code = uint8}
-
-castfn i2u8 {n: nat} (i: int n): uint8 n
-
-fun put_string (str : string) : void
-fun clear_screen() : void
-- 
cgit v1.2.3