diff options
| author | Xander <xander@icth.xyz> | 2023-07-04 13:26:09 +0200 |
|---|---|---|
| committer | Xander <xander@icth.xyz> | 2023-07-04 13:26:09 +0200 |
| commit | 415f75c275c991949ef7c9d2c62d07e8eba761b5 (patch) | |
| tree | f52ea1c30e179b717ca10c6d170b723e3c5132c6 /kernel/writer.sats | |
| parent | 5adc7cf997d481a6afb3ed95573d6eff44cbdd5b (diff) | |
| download | ats-os-415f75c275c991949ef7c9d2c62d07e8eba761b5.tar.xz ats-os-415f75c275c991949ef7c9d2c62d07e8eba761b5.zip | |
Overloading print + cleanup
Diffstat (limited to 'kernel/writer.sats')
| -rw-r--r-- | kernel/writer.sats | 32 |
1 files changed, 0 insertions, 32 deletions
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 |