aboutsummaryrefslogtreecommitdiff
path: root/kernel/main.dats
diff options
context:
space:
mode:
Diffstat (limited to 'kernel/main.dats')
-rw-r--r--kernel/main.dats7
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')