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/interrupts/idt.dats | 6 +++--- kernel/prelude/DATS/print.dats | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) (limited to 'kernel') diff --git a/kernel/interrupts/idt.dats b/kernel/interrupts/idt.dats index ea25ced..0b91253 100644 --- a/kernel/interrupts/idt.dats +++ b/kernel/interrupts/idt.dats @@ -43,7 +43,7 @@ end extern fun default_exception_handler_e2(frame: &int_frame, error_code : uint64) : void = "mac#" implement default_exception_handler_e2(frame,error_code) = let in - println!("DEFAULT EXCEPTION HANDLER - WIDTH ERROR CODE"); + println!("DEFAULT EXCEPTION HANDLER - WIDTH ERROR CODE:", $UN.cast{int}(error_code)); end extern fun default_interrupt_handler2(frame: &int_frame) : void = "mac#" @@ -52,10 +52,10 @@ in println!("DEFAULT INTERRUPT HANDLER - NO ERROR CODE"); end -extern fun default_interrupt_handler_e2(frame: &int_frame, error_code : uint64) : void = "mac#" +extern fun default_interrupt_handler_e2 (frame: &int_frame, error_code : uint64) : void = "mac#" implement default_interrupt_handler_e2(frame,error_code) = let in - println!("DEFAULT INTERRUPT HANDLER - WIDTH ERROR CODE"); + println!("DEFAULT INTERRUPT HANDLER - WIDTH ERROR CODE:", $UN.cast{int}(error_code)); end //------------------------------------------------------- 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