diff options
Diffstat (limited to 'kernel/main.dats')
-rw-r--r-- | kernel/main.dats | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/kernel/main.dats b/kernel/main.dats index bbec179..9bff703 100644 --- a/kernel/main.dats +++ b/kernel/main.dats @@ -3,11 +3,4 @@ staload "kernel/writer.sats" dynload "kernel/writer.dats" -fn string_length {n:nat} (str: string (n)) : size_t (n) = let - fun loop {i:nat | i <= n} .<n-i>. (str: string n, i: size_t i): size_t (n) = - if string_isnot_atend (str, i) then loop (str, succ(i)) else i -in - loop (str, i2sz(0)) -end - implement main0 () = print_char('X') |