From 67245a7eebeb135427d50171fda7af58770afc6d Mon Sep 17 00:00:00 2001 From: Xander Date: Thu, 13 Jul 2023 00:52:37 +0200 Subject: Full restructure --- kernel/output/print.dats | 21 --------------------- 1 file changed, 21 deletions(-) delete mode 100644 kernel/output/print.dats (limited to 'kernel/output/print.dats') diff --git a/kernel/output/print.dats b/kernel/output/print.dats deleted file mode 100644 index 9b5def0..0000000 --- a/kernel/output/print.dats +++ /dev/null @@ -1,21 +0,0 @@ -#include "share/atspre_staload.hats" - -#define ATS_DYNLOADFLAG 0 - - -staload "kernel/output/writer.sats" -staload "kernel/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