diff options
| author | Xander <xander@biltopia.org> | 2023-07-13 21:41:37 +0200 |
|---|---|---|
| committer | Xander <xander@biltopia.org> | 2023-07-13 21:41:37 +0200 |
| commit | 947331444708d2dc622ad6d8d3eb069e29a1898f (patch) | |
| tree | 0d6fa96210954333a051ee58a246fcfa65448824 /kernel/prelude/DATS/print.dats | |
| parent | 67245a7eebeb135427d50171fda7af58770afc6d (diff) | |
| download | ats-os-947331444708d2dc622ad6d8d3eb069e29a1898f.tar.xz ats-os-947331444708d2dc622ad6d8d3eb069e29a1898f.zip | |
Allow negative number conversion
Diffstat (limited to 'kernel/prelude/DATS/print.dats')
| -rw-r--r-- | kernel/prelude/DATS/print.dats | 2 |
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 |