diff options
| author | Xander <xander@biltopia.org> | 2023-07-27 22:55:58 +0200 |
|---|---|---|
| committer | Xander <xander@biltopia.org> | 2023-07-27 22:55:58 +0200 |
| commit | 50854768a4ef05d0a4983a0d949059c4b421ef9c (patch) | |
| tree | 69fa88b6862ee819a8aaad438d9ca9debd167546 /lib/SATS | |
| parent | 54435375f29152ddbce1cd362a137280450eba94 (diff) | |
| download | ats-os-50854768a4ef05d0a4983a0d949059c4b421ef9c.tar.xz ats-os-50854768a4ef05d0a4983a0d949059c4b421ef9c.zip | |
opt implementation for writer
Diffstat (limited to 'lib/SATS')
| -rw-r--r-- | lib/SATS/writer.sats | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/lib/SATS/writer.sats b/lib/SATS/writer.sats index 65a2ea9..14773ea 100644 --- a/lib/SATS/writer.sats +++ b/lib/SATS/writer.sats @@ -20,13 +20,7 @@ datatype color = | 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 |