From 51b96c9ea75d112a805a332ac56ed43c8423ca06 Mon Sep 17 00:00:00 2001 From: Yehowshua Immanuel Date: Tue, 22 Apr 2025 11:59:53 -0400 Subject: [PATCH] simplify C BSV Bindings wrappers --- bsv/CBindings.bsv | 43 +++++++------------------------------------ 1 file changed, 7 insertions(+), 36 deletions(-) diff --git a/bsv/CBindings.bsv b/bsv/CBindings.bsv index e54d0ea..e5fc0c7 100644 --- a/bsv/CBindings.bsv +++ b/bsv/CBindings.bsv @@ -1,13 +1,13 @@ package CBindings; // Original function imports -import "BDPI" function Action init_terminal(); -import "BDPI" function Action restore_terminal(); -import "BDPI" function Bit#(8) get_char_from_terminal(); -import "BDPI" function Int#(32) is_char_available(); -import "BDPI" function Action write_char_to_terminal(Bit#(8) chr); -import "BDPI" function Action setup_sigint_handler(); -import "BDPI" function Bool was_ctrl_c_received(); +import "BDPI" init_terminal = function Action initTerminal(); +import "BDPI" restore_terminal = function Action restoreTerminal(); +import "BDPI" get_char_from_terminal = function Bit#(8) getCharFromTerminal(); +import "BDPI" is_char_available = function Int#(32) isCharAvailable(); +import "BDPI" write_char_to_terminal = function Action writeCharToTerminal(Bit#(8) chr); +import "BDPI" setup_sigint_handler = function Action setupSigintHandler(); +import "BDPI" was_ctrl_c_received = function Bool wasCtrlCReceived(); // Aliased exports export initTerminal; @@ -18,33 +18,4 @@ export writeCharToTerminal; export setupSigintHandler; export wasCtrlCReceived; -// Aliased function definitions -function Action initTerminal(); - return init_terminal(); -endfunction - -function Action restoreTerminal(); - return restore_terminal(); -endfunction - -function Bit#(8) getCharFromTerminal(); - return get_char_from_terminal(); -endfunction - -function Int#(32) isCharAvailable(); - return is_char_available(); -endfunction - -function Action writeCharToTerminal(Bit#(8) chr); - return write_char_to_terminal(chr); -endfunction - -function Action setupSigintHandler(); - return setup_sigint_handler(); -endfunction - -function Bool wasCtrlCReceived(); - return was_ctrl_c_received(); -endfunction - endpackage