From 67245a7eebeb135427d50171fda7af58770afc6d Mon Sep 17 00:00:00 2001
From: Xander <xander@biltopia.org>
Date: Thu, 13 Jul 2023 00:52:37 +0200
Subject: Full restructure

---
 kernel/prelude/DATS/print.dats | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 kernel/prelude/DATS/print.dats

(limited to 'kernel/prelude/DATS/print.dats')

diff --git a/kernel/prelude/DATS/print.dats b/kernel/prelude/DATS/print.dats
new file mode 100644
index 0000000..5049a98
--- /dev/null
+++ b/kernel/prelude/DATS/print.dats
@@ -0,0 +1,20 @@
+#include "share/atspre_staload.hats"
+
+#define ATS_DYNLOADFLAG 0
+
+staload "lib/SATS/writer.sats"
+staload "lib/DATS/itoa.dats"
+
+extern fun print_newline() : void
+implement print_newline() = put_string("\n")
+
+extern fun assert_errmsg(b: bool, msg: string) : void
+implement assert_errmsg(b,msg) = if (~b) then put_string(msg)
+
+extern fun print_int {n : nat | n > 0} (n : int n) : void 
+implement print_int(n) = put_string(itoa(n,10))
+ 
+overload print with put_string of 1
+overload print with print_int of 1
+
+macdef assertloc(tf) = assert_errmsg (,(tf), $mylocation)
-- 
cgit v1.2.3