From 947331444708d2dc622ad6d8d3eb069e29a1898f Mon Sep 17 00:00:00 2001 From: Xander Date: Thu, 13 Jul 2023 21:41:37 +0200 Subject: Allow negative number conversion --- kernel/prelude/DATS/print.dats | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'kernel/prelude') 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 -- cgit v1.2.3