diff options
| author | Xander <xander@icth.xyz> | 2023-07-02 15:08:43 +0200 |
|---|---|---|
| committer | Xander <xander@icth.xyz> | 2023-07-02 15:08:43 +0200 |
| commit | d7df4f130521f6005feda56a15f82eb3bf8597dd (patch) | |
| tree | 5781e727a31df75fda53f0f56a104df6cfc01ff6 /kernel/main.dats | |
| parent | e9b14562b46f230e7208ea3dad8d836f73e8f100 (diff) | |
| download | ats-os-d7df4f130521f6005feda56a15f82eb3bf8597dd.tar.xz ats-os-d7df4f130521f6005feda56a15f82eb3bf8597dd.zip | |
Using reference
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') |