@salang/sa 0.1.2 → 0.1.4

package/sa_std/hashset.sal

@@ -0,0 +1,18 @@
+#def HashSet_SIZE = 32
+#def HashSet_slots = +0
+#def HashSet_cap = +8
+#def HashSet_len = +16
+#def HashSet_tombs = +24
+
+#def HashSetSlot_SIZE = 32
+#def HashSetSlot_hash = +0
+#def HashSetSlot_key = +8
+#def HashSetSlot_value = +16
+#def HashSetSlot_state = +24
+
+#def HashSet_INITIAL_CAP = 8
+#def HashSet_STATE_EMPTY = 0
+#def HashSet_STATE_FILLED = 1
+#def HashSet_STATE_TOMB = 2
+
+#def HashSet_VALUE_SENTINEL = 1

package/sa_std/http2.sa

@@ -0,0 +1,78 @@
+@import "http2.sal"
+@import "http2.sai"
+
+[MACRO] HTTP2_SUPPORTED %out_status, %out_supported
+    __h2_supported_%out_status = stack_alloc 4
+    %out_status = call @sa_std_http2_supported(&__h2_supported_%out_status)
+    %out_supported = load __h2_supported_%out_status+0 as u32
+[END_MACRO]
+
+[MACRO] HTTP2_CLIENT_REQUEST %out_status, %out_buffer, %url, %url_len, %method, %method_len, %body, %body_len
+    __h2_client_handle_%out_status = stack_alloc 8
+    %out_status = call @sa_std_http2_client_request(&%url, %url_len, &%method, %method_len, &%body, %body_len, &__h2_client_handle_%out_status)
+    %out_buffer = load __h2_client_handle_%out_status+0 as u64
+[END_MACRO]
+
+[MACRO] HTTP2_VERSION_JSON %out_status, %out_buffer
+    __h2_version_handle_%out_status = stack_alloc 8
+    %out_status = call @sa_std_http2_nghttp2_version_json(&__h2_version_handle_%out_status)
+    %out_buffer = load __h2_version_handle_%out_status+0 as u64
+[END_MACRO]
+
+[MACRO] HTTP2_STATUS_JSON %out_status, %out_buffer
+    __h2_status_handle_%out_status = stack_alloc 8
+    %out_status = call @sa_std_http2_status_json(&__h2_status_handle_%out_status)
+    %out_buffer = load __h2_status_handle_%out_status+0 as u64
+[END_MACRO]
+
+[MACRO] HTTP2_CONSTANTS_JSON %out_status, %out_buffer
+    __h2_consts_handle_%out_status = stack_alloc 8
+    %out_status = call @sa_std_http2_constants_json(&__h2_consts_handle_%out_status)
+    %out_buffer = load __h2_consts_handle_%out_status+0 as u64
+[END_MACRO]
+
+[MACRO] HTTP2_SENSITIVE_HEADERS_JSON %out_status, %out_buffer
+    __h2_sens_handle_%out_status = stack_alloc 8
+    %out_status = call @sa_std_http2_sensitive_headers(&__h2_sens_handle_%out_status)
+    %out_buffer = load __h2_sens_handle_%out_status+0 as u64
+[END_MACRO]
+
+[MACRO] HTTP2_DEFAULT_SETTINGS_JSON %out_status, %out_buffer
+    __h2_default_handle_%out_status = stack_alloc 8
+    %out_status = call @sa_std_http2_get_default_settings_json(&__h2_default_handle_%out_status)
+    %out_buffer = load __h2_default_handle_%out_status+0 as u64
+[END_MACRO]
+
+[MACRO] HTTP2_GET_PACKED_SETTINGS %out_status, %out_buffer, %settings_json, %settings_json_len
+    __h2_packed_handle_%out_status = stack_alloc 8
+    %out_status = call @sa_std_http2_get_packed_settings(&%settings_json, %settings_json_len, &__h2_packed_handle_%out_status)
+    %out_buffer = load __h2_packed_handle_%out_status+0 as u64
+[END_MACRO]
+
+[MACRO] HTTP2_GET_UNPACKED_SETTINGS_JSON %out_status, %out_buffer, %buf, %buf_len
+    __h2_unpacked_handle_%out_status = stack_alloc 8
+    %out_status = call @sa_std_http2_get_unpacked_settings_json(&%buf, %buf_len, &__h2_unpacked_handle_%out_status)
+    %out_buffer = load __h2_unpacked_handle_%out_status+0 as u64
+[END_MACRO]
+
+[MACRO] HTTP2_PERFORM_SERVER_HANDSHAKE %out_status, %out_bytes, %out_json, %input, %input_len, %settings_json, %settings_json_len
+    __h2_hs_bytes_%out_status = stack_alloc 8
+    __h2_hs_json_%out_status = stack_alloc 8
+    %out_status = call @sa_std_http2_perform_server_handshake(&%input, %input_len, &%settings_json, %settings_json_len, &__h2_hs_bytes_%out_status, &__h2_hs_json_%out_status)
+    %out_bytes = load __h2_hs_bytes_%out_status+0 as u64
+    %out_json = load __h2_hs_json_%out_status+0 as u64
+[END_MACRO]
+
+// buffer handle accessors (sci convention)
+
+[MACRO] HTTP2_BUFFER_DATA %out_ptr, %buffer
+    %out_ptr = call @sa_std_http2_buffer_data(%buffer)
+[END_MACRO]
+
+[MACRO] HTTP2_BUFFER_LEN %out_len, %buffer
+    %out_len = call @sa_std_http2_buffer_len(%buffer)
+[END_MACRO]
+
+[MACRO] HTTP2_BUFFER_FREE %out_status, %buffer
+    %out_status = call @sa_std_http2_buffer_free(^%buffer)
+[END_MACRO]

package/sa_std/http2.sai

@@ -0,0 +1,26 @@
+// sa_std HTTP/2 surface — real libnghttp2 backend living in the sci runtime.
+//
+// String/JSON/binary outputs are returned as registered u64 buffer handles,
+// following the same convention as sa_std.fs.read_*: read bytes/length with
+// sa_std_http2_buffer_data / sa_std_http2_buffer_len and release with
+// sa_std_http2_buffer_free.
+
+@extern sa_std_http2_supported(&out_supported: ptr) -> i32
+
+@extern sa_std_http2_client_request(&url: ptr, url_len: u64, &method: ptr, method_len: u64, &body: ptr, body_len: u64, &out_handle: ptr) -> i32
+
+@extern sa_std_http2_nghttp2_version_json(&out_handle: ptr) -> i32
+@extern sa_std_http2_status_json(&out_handle: ptr) -> i32
+@extern sa_std_http2_constants_json(&out_handle: ptr) -> i32
+@extern sa_std_http2_sensitive_headers(&out_handle: ptr) -> i32
+@extern sa_std_http2_get_default_settings_json(&out_handle: ptr) -> i32
+
+@extern sa_std_http2_get_packed_settings(&settings_json: ptr, settings_json_len: u64, &out_handle: ptr) -> i32
+@extern sa_std_http2_get_unpacked_settings_json(&buf: ptr, buf_len: u64, &out_handle: ptr) -> i32
+
+@extern sa_std_http2_perform_server_handshake(&input: ptr, input_len: u64, &settings_json: ptr, settings_json_len: u64, &out_bytes: ptr, &out_json: ptr) -> i32
+
+// buffer handle accessors (sci convention)
+@extern sa_std_http2_buffer_data(buffer: u64) -> &ptr
+@extern sa_std_http2_buffer_len(buffer: u64) -> u64
+@extern sa_std_http2_buffer_free(^buffer: u64) -> i32

package/sa_std/http2.sal

@@ -0,0 +1,36 @@
+#def SA_H2_OK = 0
+#def SA_H2_ERR_UNSUPPORTED = -1
+#def SA_H2_ERR_NO_MEMORY = -12
+#def SA_H2_ERR_INVALID_ARGUMENT = -22
+#def SA_H2_ERR_CONNECT = 100
+#def SA_H2_ERR_PROTOCOL = 101
+
+#def NGHTTP2_NV_FLAG_NONE = 0
+#def NGHTTP2_NV_FLAG_NO_INDEX = 1
+#def NGHTTP2_NV_FLAG_NO_EMIT_NAME = 2
+#def NGHTTP2_NV_FLAG_NO_EMIT_VALUE = 4
+#def NGHTTP2_NV_FLAG_NO_NEVER_INDEX = 8
+
+#def HTTP2_FRAME_DATA = 0
+#def HTTP2_FRAME_HEADERS = 1
+#def HTTP2_FRAME_PRIORITY = 2
+#def HTTP2_FRAME_RST_STREAM = 3
+#def HTTP2_FRAME_SETTINGS = 4
+#def HTTP2_FRAME_PING = 6
+#def HTTP2_FRAME_GOAWAY = 7
+#def HTTP2_FRAME_WINDOW_UPDATE = 8
+
+#def HTTP2_FLAG_NONE = 0
+#def HTTP2_FLAG_END_STREAM = 1
+#def HTTP2_FLAG_ACK = 1
+#def HTTP2_FLAG_END_HEADERS = 4
+
+#def HTTP2_SETTINGS_HEADER_TABLE_SIZE = 1
+#def HTTP2_SETTINGS_ENABLE_PUSH = 2
+#def HTTP2_SETTINGS_MAX_CONCURRENT_STREAMS = 3
+#def HTTP2_SETTINGS_INITIAL_WINDOW_SIZE = 4
+#def HTTP2_SETTINGS_MAX_FRAME_SIZE = 5
+#def HTTP2_SETTINGS_MAX_HEADER_LIST_SIZE = 6
+#def HTTP2_SETTINGS_ENABLE_CONNECT_PROTOCOL = 8
+
+#def HTTP2_DATA_FLAG_EOF = 1

package/sa_std/instant.sa

@@ -0,0 +1,3 @@
+// Public Instant/SystemTime facade. Runtime and arithmetic macros live in time.sa.
+@import "time.sal"
+@import "time.sa"

package/sa_std/instant.sal

@@ -0,0 +1,2 @@
+// Standard layout aliases for Instant and SystemTime.
+@import "time.sal"

package/sa_std/io/buf_reader.sa

@@ -0,0 +1,43 @@
+@import "../io.sai"
+
+[MACRO] BUF_READER_READ_LINE %out_buf, %handle, %max_bytes
+    __buf_reader_read_line = call @sa_io_read_line(%handle, %max_bytes)
+    %out_buf = ? __buf_reader_read_line
+    !__buf_reader_read_line
+[END_MACRO]
+
+[MACRO] BUF_READER_READ %out_count, %handle, %buf, %cap
+    __buf_reader_read_slot = stack_alloc 8
+    __buf_reader_read_status = call @sa_io_read(%handle, &%buf, %cap, &__buf_reader_read_slot)
+    %out_count = load __buf_reader_read_slot+0 as u64
+    !__buf_reader_read_status
+[END_MACRO]
+
+[MACRO] BUF_READER_READ_BYTES %out_count, %handle, %buf, %cap
+    EXPAND BUF_READER_READ %out_count, %handle, %buf, %cap
+[END_MACRO]
+
+[MACRO] BUF_READER_READ_EXACT %out_count, %handle, %buf, %len
+    __buf_reader_read_exact_status = call @sa_io_read_exact(%handle, &%buf, %len)
+    %out_count = %len
+    !__buf_reader_read_exact_status
+[END_MACRO]
+
+[MACRO] BUF_READER_READ_EXACT_BYTES %out_count, %handle, %buf, %len
+    EXPAND BUF_READER_READ_EXACT %out_count, %handle, %buf, %len
+[END_MACRO]
+
+[MACRO] BUF_READER_FREE %out_ok, %buf
+    __buf_reader_free = call @sa_io_buffer_free(^%buf)
+    %out_ok = ? __buf_reader_free
+    !__buf_reader_free
+[END_MACRO]
+
+[MACRO] BUF_READER_CLOSE %out_ok, %handle
+    __buf_reader_close = call @sa_io_close(%handle)
+    %out_ok = __buf_reader_close
+[END_MACRO]
+
+[MACRO] BUF_READER_LINES %out_buf, %handle, %max_bytes
+    EXPAND BUF_READER_READ_LINE %out_buf, %handle, %max_bytes
+[END_MACRO]

package/sa_std/io/buf_writer.sa

@@ -0,0 +1,35 @@
+@import "../io.sai"
+
+[MACRO] BUF_WRITER_WRITE %out_count, %handle, %buf, %len
+    __buf_writer_write_slot = stack_alloc 8
+    __buf_writer_write_status = call @sa_io_write(%handle, &%buf, %len, &__buf_writer_write_slot)
+    %out_count = load __buf_writer_write_slot+0 as u64
+    !__buf_writer_write_status
+[END_MACRO]
+
+[MACRO] BUF_WRITER_WRITE_BYTES %out_count, %handle, %buf, %len
+    EXPAND BUF_WRITER_WRITE %out_count, %handle, %buf, %len
+[END_MACRO]
+
+[MACRO] BUF_WRITER_WRITE_ALL %out_ok, %handle, %buf, %len
+    __buf_writer_write_all = call @sa_io_write_all(%handle, &%buf, %len)
+    %out_ok = __buf_writer_write_all
+[END_MACRO]
+
+[MACRO] BUF_WRITER_WRITE_ALL_BYTES %out_ok, %handle, %buf, %len
+    EXPAND BUF_WRITER_WRITE_ALL %out_ok, %handle, %buf, %len
+[END_MACRO]
+
+[MACRO] BUF_WRITER_FLUSH %out_ok, %handle
+    __buf_writer_flush = call @sa_io_flush(%handle)
+    %out_ok = __buf_writer_flush
+[END_MACRO]
+
+[MACRO] BUF_WRITER_CLOSE %out_ok, %handle
+    __buf_writer_close = call @sa_io_close(%handle)
+    %out_ok = __buf_writer_close
+[END_MACRO]
+
+[MACRO] BUF_WRITER_WRITE_FMT %out_ok, %handle, %buf, %len
+    EXPAND BUF_WRITER_WRITE_ALL %out_ok, %handle, %buf, %len
+[END_MACRO]

package/sa_std/io/bufio.sa

@@ -0,0 +1,4 @@
+// Stable aggregate entry for buffered I/O facades.
+@import "buf_reader.sa"
+@import "buf_writer.sa"
+@import "print.sa"

package/sa_std/io/bufio.sal

@@ -0,0 +1,4 @@
+@import "../io.sal"
+@import "buf_reader.sa"
+@import "buf_writer.sa"
+@import "print.sai"

package/sa_std/io/prelude.sa

@@ -0,0 +1 @@
+@import "bufio.sa"

package/sa_std/io/prelude.sal

@@ -0,0 +1 @@
+@import "bufio.sal"

package/sa_std/io/print.sa

@@ -0,0 +1,2 @@
+@import "../io.sal"
+@import "print.sai"

package/sa_std/io/print.sai

@@ -0,0 +1,3 @@
+// Legacy print contract for demos and simple applications.
+// Implemented by the Zig-backed sa_std.io library as stdout().write_all(bytes).
+@extern sa_print_bytes(&msg: ptr, len: u64) -> void