diff options
Diffstat (limited to 'kernel/output/writer.sats')
-rw-r--r-- | kernel/output/writer.sats | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/kernel/output/writer.sats b/kernel/output/writer.sats deleted file mode 100644 index 65a2ea9..0000000 --- a/kernel/output/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 |