diff options
Diffstat (limited to 'kernel/output/writer.sats')
| -rw-r--r-- | kernel/output/writer.sats | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/kernel/output/writer.sats b/kernel/output/writer.sats index 8f25313..65a2ea9 100644 --- a/kernel/output/writer.sats +++ b/kernel/output/writer.sats @@ -26,6 +26,7 @@ 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 - |