From 5ef9221f4dfe78d69247989ef7edc8d3101a5014 Mon Sep 17 00:00:00 2001 From: Xander Date: Wed, 5 Jul 2023 19:30:25 +0200 Subject: Cleanup --- kernel/kernel_prelude.hats | 2 ++ kernel/output/writer.sats | 2 -- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/kernel/kernel_prelude.hats b/kernel/kernel_prelude.hats index 048cba1..683b2d5 100644 --- a/kernel/kernel_prelude.hats +++ b/kernel/kernel_prelude.hats @@ -8,5 +8,7 @@ val () = clear_screen() staload "kernel/output/print.dats" +castfn i2u8 {n: nat} (i: int n): uint8 n + #endif diff --git a/kernel/output/writer.sats b/kernel/output/writer.sats index fd33424..8f25313 100644 --- a/kernel/output/writer.sats +++ b/kernel/output/writer.sats @@ -26,8 +26,6 @@ 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