From d7df4f130521f6005feda56a15f82eb3bf8597dd Mon Sep 17 00:00:00 2001
From: Xander <xander@icth.xyz>
Date: Sun, 2 Jul 2023 15:08:43 +0200
Subject: Using reference

---
 kernel/main.dats | 7 -------
 1 file changed, 7 deletions(-)

(limited to 'kernel/main.dats')

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')
-- 
cgit v1.2.3