aboutsummaryrefslogtreecommitdiff
path: root/kernel/prelude
diff options
context:
space:
mode:
authorXander <xander@biltopia.org>2023-07-13 21:41:37 +0200
committerXander <xander@biltopia.org>2023-07-13 21:41:37 +0200
commit947331444708d2dc622ad6d8d3eb069e29a1898f (patch)
tree0d6fa96210954333a051ee58a246fcfa65448824 /kernel/prelude
parent67245a7eebeb135427d50171fda7af58770afc6d (diff)
downloadats-os-947331444708d2dc622ad6d8d3eb069e29a1898f.tar.xz
ats-os-947331444708d2dc622ad6d8d3eb069e29a1898f.zip
Allow negative number conversion
Diffstat (limited to 'kernel/prelude')
-rw-r--r--kernel/prelude/DATS/print.dats2
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/prelude/DATS/print.dats b/kernel/prelude/DATS/print.dats
index 5049a98..6d378fa 100644
--- a/kernel/prelude/DATS/print.dats
+++ b/kernel/prelude/DATS/print.dats
@@ -11,7 +11,7 @@ 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
+extern fun print_int (n : int) : void
implement print_int(n) = put_string(itoa(n,10))
overload print with put_string of 1