@salang/sa 0.1.2 → 0.1.4

package/sa_std/io.sai

@@ -0,0 +1,25 @@
+// SA-facing contracts for the Zig-backed sa_std.io module.
+// Handles returned by stdio accessors are borrowed process handles; do not close them.
+@extern sa_io_stdin() -> u64
+@extern sa_io_stdout() -> u64
+@extern sa_io_stderr() -> u64
+
+// Convenience printing uses the same Zig-backed stdout writer as the runtime facade.
+@extern sa_std_println(&msg: ptr, len: u64) -> i32!
+
+// Owned handles returned by Zig-backed modules are closed explicitly.
+@extern sa_io_read_line(handle: ptr, max_bytes: u64) -> ^ptr!
+@extern sa_io_read(handle: u64, &buf: ptr, cap: u64, &out_read: ptr) -> i32
+@extern sa_io_read_exact(handle: u64, &buf: ptr, len: u64) -> i32
+@extern sa_io_write(handle: u64, &buf: ptr, len: u64, &out_written: ptr) -> i32
+@extern sa_io_write_all(handle: u64, &buf: ptr, len: u64) -> i32
+@extern sa_io_flush(handle: u64) -> i32
+@extern sa_io_close(handle: u64) -> i32
+
+// Owned byte buffers use SaIoBuffer layout and must be freed explicitly.
+@extern sa_io_buffer_data(&buffer: ptr) -> &ptr
+@extern sa_io_buffer_len(&buffer: ptr) -> u64
+@extern sa_io_buffer_free(^buffer: ptr) -> i32!
+
+// Legacy demo compatibility: equivalent to stdout().write_all(bytes).
+@extern sa_print_bytes(&msg: ptr, len: u64) -> void

package/sa_std/io.sal

@@ -0,0 +1,84 @@
+#def SA_IO_OK = 0
+#def SA_IO_ERR_UNKNOWN = 1
+#def SA_IO_ERR_EOF = 2
+#def SA_IO_ERR_WOULD_BLOCK = 3
+#def SA_IO_ERR_INTERRUPTED = 4
+#def SA_IO_ERR_INVALID_HANDLE = 5
+#def SA_IO_ERR_INVALID_DATA = 6
+
+#def SA_IO_STDIN = 0
+#def SA_IO_STDOUT = 1
+#def SA_IO_STDERR = 2
+
+#def SA_IO_SEEK_START = 0
+#def SA_IO_SEEK_CURRENT = 1
+#def SA_IO_SEEK_END = 2
+
+#def IO_ERROR_KIND_OTHER = 0
+#def IO_ERROR_KIND_UNEXPECTED_EOF = 1
+#def IO_ERROR_KIND_WOULD_BLOCK = 2
+#def IO_ERROR_KIND_INTERRUPTED = 3
+#def IO_ERROR_KIND_INVALID_INPUT = 4
+#def IO_ERROR_KIND_WRITE_ZERO = 5
+#def IO_ERROR_KIND_INVALID_DATA = 6
+#def IO_ERROR_KIND_NOT_FOUND = 7
+#def IO_ERROR_KIND_PERMISSION_DENIED = 8
+#def IO_ERROR_KIND_CONNECTION_REFUSED = 9
+#def IO_ERROR_KIND_CONNECTION_RESET = 10
+#def IO_ERROR_KIND_CONNECTION_ABORTED = 11
+#def IO_ERROR_KIND_NOT_CONNECTED = 12
+#def IO_ERROR_KIND_ADDR_IN_USE = 13
+#def IO_ERROR_KIND_ADDR_NOT_AVAILABLE = 14
+#def IO_ERROR_KIND_BROKEN_PIPE = 15
+#def IO_ERROR_KIND_ALREADY_EXISTS = 16
+#def IO_ERROR_KIND_TIMED_OUT = 17
+#def IO_ERROR_KIND_UNSUPPORTED = 18
+#def IO_ERROR_KIND_OUT_OF_MEMORY = 19
+#def IO_ERROR_KIND_IS_A_DIRECTORY = 20
+#def IO_ERROR_KIND_DIRECTORY_NOT_EMPTY = 21
+#def IO_ERROR_KIND_RECURSIVE_ENTRY = 22
+#def IO_ERROR_KIND_QUOTA_EXCEEDED = 23
+#def IO_ERROR_KIND_FILE_TOO_LARGE = 24
+#def IO_ERROR_KIND_FILESYSTEM_LOOP = 25
+#def IO_ERROR_KIND_EXECUTABLE_FILE_BUSY = 26
+#def IO_ERROR_KIND_CROSSED_DEVICES = 27
+#def IO_ERROR_KIND_NOT_SEEKABLE = 28
+#def IO_ERROR_KIND_READ_ONLY_FILESYSTEM = 29
+#def IO_ERROR_KIND_ARGUMENT_LIST_TOO_LONG = 30
+#def IO_ERROR_KIND_RESOURCE_BUSY = 31
+#def IO_ERROR_KIND_NAME_TOO_LONG = 32
+#def IO_ERROR_KIND_TOO_MANY_LINKS = 33
+#def IO_ERROR_KIND_HOST_UNREACHABLE = 34
+#def IO_ERROR_KIND_NETWORK_UNREACHABLE = 35
+#def IO_ERROR_KIND_NETWORK_DOWN = 36
+#def IO_ERROR_KIND_STALE_NETWORK_FILE_HANDLE = 37
+#def IO_ERROR_KIND_FILESYSTEM_QUOTA = 38
+#def IO_ERROR_KIND_STORAGE_FULL = 39
+
+#def SaIoBuffer_SIZE = 24
+#def SaIoBuffer_ptr = +0
+#def SaIoBuffer_len = +8
+#def SaIoBuffer_cap = +16
+
+#def IoSlice_SIZE = 16
+#def IoSlice_ptr = +0
+#def IoSlice_len = +8
+
+#def IoSliceMut_SIZE = 16
+#def IoSliceMut_ptr = +0
+#def IoSliceMut_len = +8
+
+#def IoCursor_SIZE = 24
+#def IoCursor_ptr = +0
+#def IoCursor_len = +8
+#def IoCursor_pos = +16
+
+#def IoEmpty_SIZE = 0
+#def IoSink_SIZE = 0
+
+#def IoRepeat_SIZE = 8
+#def IoRepeat_byte = +0
+
+#def IoTake_SIZE = 16
+#def IoTake_cursor = +0
+#def IoTake_limit = +8

package/sa_std/iter.sa

@@ -0,0 +1,2 @@
+@import "core/iter.sal"
+@import "core/iter.sa"

package/sa_std/iter.sal

@@ -0,0 +1 @@
+@import "core/iter.sal"

package/sa_std/join_handle.sa

@@ -0,0 +1,3 @@
+// Public JoinHandle facade over thread.sa.
+@import "thread.sal"
+@import "thread.sa"

package/sa_std/join_handle.sal

@@ -0,0 +1,2 @@
+// JoinHandle layout aliases.
+@import "thread.sal"

package/sa_std/libsa_async.sa

@@ -0,0 +1,80 @@
+// Standard async state machine helper macros.
+// These are pure text templates: the frontend still owns the actual
+// coroutine/state-machine shape, but the repetitive poll/pending/ready
+// bookkeeping is standardized here.
+// The poll context is expected to remain owned by the caller; these macros
+// only manage the state-machine bookkeeping and never release the context.
+
+[MACRO] ASYNC_CTX_DEF %name
+    #def %name_SIZE = 32
+    #def %name_state = +0
+    #def %name_stage = +4
+    #def %name_status = +8
+    #def %name_value = +16
+    #def %name_resume = +24
+    #def %name_PENDING = 0
+    #def %name_READY = 1
+    #def %name_INVALID = 102
+[END_MACRO]
+
+[MACRO] ASYNC_STATE_BEGIN %state_id
+L_ASYNC_STATE_%state_id:
+[END_MACRO]
+
+[MACRO] ASYNC_STATE_END %ctx, %state_field, %next_state
+    store %ctx+%state_field, %next_state as u32
+[END_MACRO]
+
+[MACRO] ASYNC_POLL_PROLOGUE %ctx, %state_field
+    async_state_%state_field = load %ctx+%state_field as u32
+[END_MACRO]
+
+[MACRO] ASYNC_AWAIT_POINT %ctx, %state_field, %state_id, %poll_fn, %take_fn, %result_field
+    async_poll_status_%state_id_%state_field = call %poll_fn(%ctx)
+    async_is_ready_%state_id_%state_field = eq async_poll_status_%state_id_%state_field, 1
+    br async_is_ready_%state_id_%state_field -> L_ASYNC_AWAIT_READY_%state_id_%state_field, L_ASYNC_AWAIT_PENDING_%state_id_%state_field
+L_ASYNC_AWAIT_PENDING_%state_id_%state_field:
+    store %ctx+%state_field, %state_id as u32
+    !async_poll_status_%state_id_%state_field
+    !async_is_ready_%state_id_%state_field
+    return 0
+L_ASYNC_AWAIT_READY_%state_id_%state_field:
+    call %take_fn(%ctx)
+    async_result_%state_id_%state_field = load %ctx+%result_field as i32
+    async_next_state_%state_id_%state_field = add %state_id, 1
+    store %ctx+%state_field, async_next_state_%state_id_%state_field as u32
+    !async_poll_status_%state_id_%state_field
+    !async_is_ready_%state_id_%state_field
+    !async_next_state_%state_id_%state_field
+[END_MACRO]
+
+[MACRO] ASYNC_AWAIT_POINT_FINAL %ctx, %state_field, %state_id, %poll_fn, %take_fn
+    async_poll_status_%state_id_%state_field = call %poll_fn(%ctx)
+    async_is_ready_%state_id_%state_field = eq async_poll_status_%state_id_%state_field, 1
+    br async_is_ready_%state_id_%state_field -> L_ASYNC_AWAIT_FINAL_READY_%state_id_%state_field, L_ASYNC_AWAIT_FINAL_PENDING_%state_id_%state_field
+L_ASYNC_AWAIT_FINAL_PENDING_%state_id_%state_field:
+    store %ctx+%state_field, %state_id as u32
+    !async_poll_status_%state_id_%state_field
+    !async_is_ready_%state_id_%state_field
+    return 0
+L_ASYNC_AWAIT_FINAL_READY_%state_id_%state_field:
+    call %take_fn(%ctx)
+    async_next_state_%state_id_%state_field = add %state_id, 1
+    store %ctx+%state_field, async_next_state_%state_id_%state_field as u32
+    !async_poll_status_%state_id_%state_field
+    !async_is_ready_%state_id_%state_field
+    !async_next_state_%state_id_%state_field
+    return 1
+[END_MACRO]
+
+[MACRO] ASYNC_RETURN_PENDING
+    return 0
+[END_MACRO]
+
+[MACRO] ASYNC_READY
+    return 1
+[END_MACRO]
+
+[MACRO] ASYNC_INVALID_STATE
+    panic(102)
+[END_MACRO]

package/sa_std/m_async.sa

@@ -0,0 +1,137 @@
+// m-async compatibility facade for SA.
+// Structured cancellation/task-group lifecycle over the existing Future/Task
+// layouts. Scheduling remains cooperative and explicit.
+@import "m_async.sal"
+
+[MACRO] M_ASYNC_CANCEL_TOKEN_NEW %out_token
+    %out_token = alloc MAsyncCancelToken_SIZE
+    store %out_token+MAsyncCancelToken_cancelled, MAsyncCancelToken_ACTIVE as u64
+[END_MACRO]
+
+[MACRO] M_ASYNC_CANCEL_TOKEN_CANCEL %token
+    store %token+MAsyncCancelToken_cancelled, MAsyncCancelToken_CANCELLED as u64
+[END_MACRO]
+
+[MACRO] M_ASYNC_CANCEL_TOKEN_RESET %token
+    store %token+MAsyncCancelToken_cancelled, MAsyncCancelToken_ACTIVE as u64
+[END_MACRO]
+
+[MACRO] M_ASYNC_CANCEL_TOKEN_IS_CANCELLED %out_bool, %token
+    __m_async_cancel_state_%out_bool = load %token+MAsyncCancelToken_cancelled as u64
+    %out_bool = eq __m_async_cancel_state_%out_bool, MAsyncCancelToken_CANCELLED
+    !__m_async_cancel_state_%out_bool
+[END_MACRO]
+
+[MACRO] M_ASYNC_TASK_NEW %out_task, %future_ptr, %context_ptr, %cancel_ptr
+    %out_task = alloc MAsyncTask_SIZE
+    store %out_task+MAsyncTask_future, %future_ptr as ptr
+    store %out_task+MAsyncTask_context, %context_ptr as ptr
+    store %out_task+MAsyncTask_cancel, %cancel_ptr as ptr
+    store %out_task+MAsyncTask_state, MAsyncTask_PENDING as u64
+    store %out_task+MAsyncTask_result, 0 as u64
+    store %out_task+MAsyncTask_error, 0 as u64
+[END_MACRO]
+
+[MACRO] M_ASYNC_TASK_STATE %out_state, %task
+    %out_state = load %task+MAsyncTask_state as u64
+[END_MACRO]
+
+[MACRO] M_ASYNC_TASK_RESULT %out_value, %task
+    %out_value = load %task+MAsyncTask_result as u64
+[END_MACRO]
+
+[MACRO] M_ASYNC_TASK_ERROR %out_error, %task
+    %out_error = load %task+MAsyncTask_error as u64
+[END_MACRO]
+
+[MACRO] M_ASYNC_TASK_IS_DONE %out_bool, %task
+    __m_async_task_done_state_%out_bool = load %task+MAsyncTask_state as u64
+    __m_async_task_done_ready_%out_bool = eq __m_async_task_done_state_%out_bool, MAsyncTask_READY
+    __m_async_task_done_failed_%out_bool = eq __m_async_task_done_state_%out_bool, MAsyncTask_FAILED
+    __m_async_task_done_cancelled_%out_bool = eq __m_async_task_done_state_%out_bool, MAsyncTask_CANCELLED
+    __m_async_task_done_terminal_%out_bool = or __m_async_task_done_ready_%out_bool, __m_async_task_done_failed_%out_bool
+    %out_bool = or __m_async_task_done_terminal_%out_bool, __m_async_task_done_cancelled_%out_bool
+    !__m_async_task_done_cancelled_%out_bool
+    !__m_async_task_done_terminal_%out_bool
+    !__m_async_task_done_failed_%out_bool
+    !__m_async_task_done_ready_%out_bool
+    !__m_async_task_done_state_%out_bool
+[END_MACRO]
+
+[MACRO] M_ASYNC_TASK_CANCEL %task
+    store %task+MAsyncTask_state, MAsyncTask_CANCELLED as u64
+    store %task+MAsyncTask_error, 97 as u64
+    __m_async_task_cancel_token_%task = load %task+MAsyncTask_cancel as ptr
+    __m_async_task_has_cancel_token_%task = ne __m_async_task_cancel_token_%task, 0
+    br __m_async_task_has_cancel_token_%task -> L_M_ASYNC_TASK_CANCEL_TOKEN_%task, L_M_ASYNC_TASK_CANCEL_DONE_%task
+L_M_ASYNC_TASK_CANCEL_TOKEN_%task:
+    EXPAND M_ASYNC_CANCEL_TOKEN_CANCEL __m_async_task_cancel_token_%task
+    !__m_async_task_has_cancel_token_%task
+    !__m_async_task_cancel_token_%task
+    jmp L_M_ASYNC_TASK_CANCEL_DONE_%task
+L_M_ASYNC_TASK_CANCEL_DONE_%task:
+[END_MACRO]
+
+[MACRO] M_ASYNC_GROUP_NEW %out_group, %cancel
+    %out_group = alloc MAsyncGroup_SIZE
+    store %out_group+MAsyncGroup_cancel, %cancel as ptr
+    store %out_group+MAsyncGroup_children, 0 as u64
+    store %out_group+MAsyncGroup_completed, 0 as u64
+    store %out_group+MAsyncGroup_failed, 0 as u64
+    store %out_group+MAsyncGroup_error, 0 as u64
+    store %out_group+MAsyncGroup_state, MAsyncGroup_ACTIVE as u64
+[END_MACRO]
+
+[MACRO] M_ASYNC_GROUP_TOKEN %out_token, %group
+    %out_token = load %group+MAsyncGroup_cancel as ptr
+[END_MACRO]
+
+[MACRO] M_ASYNC_GROUP_ADD %group
+    __m_async_group_children_%group = load %group+MAsyncGroup_children as u64
+    __m_async_group_children_next_%group = add __m_async_group_children_%group, 1
+    store %group+MAsyncGroup_children, __m_async_group_children_next_%group as u64
+    !__m_async_group_children_next_%group
+    !__m_async_group_children_%group
+[END_MACRO]
+
+[MACRO] M_ASYNC_GROUP_COMPLETE %group
+    __m_async_group_completed_%group = load %group+MAsyncGroup_completed as u64
+    __m_async_group_completed_next_%group = add __m_async_group_completed_%group, 1
+    store %group+MAsyncGroup_completed, __m_async_group_completed_next_%group as u64
+    !__m_async_group_completed_next_%group
+    !__m_async_group_completed_%group
+[END_MACRO]
+
+[MACRO] M_ASYNC_GROUP_FAIL %group, %error
+    store %group+MAsyncGroup_failed, 1 as u64
+    store %group+MAsyncGroup_error, %error as u64
+    store %group+MAsyncGroup_state, MAsyncGroup_FAILED as u64
+    __m_async_group_fail_token_%group = load %group+MAsyncGroup_cancel as ptr
+    EXPAND M_ASYNC_CANCEL_TOKEN_CANCEL __m_async_group_fail_token_%group
+    !__m_async_group_fail_token_%group
+[END_MACRO]
+
+[MACRO] M_ASYNC_GROUP_CANCEL %group
+    store %group+MAsyncGroup_state, MAsyncGroup_CANCELLED as u64
+    __m_async_group_cancel_token_%group = load %group+MAsyncGroup_cancel as ptr
+    EXPAND M_ASYNC_CANCEL_TOKEN_CANCEL __m_async_group_cancel_token_%group
+    !__m_async_group_cancel_token_%group
+[END_MACRO]
+
+[MACRO] M_ASYNC_GROUP_IS_COMPLETE %out_bool, %group
+    __m_async_group_children_%out_bool = load %group+MAsyncGroup_children as u64
+    __m_async_group_completed_%out_bool = load %group+MAsyncGroup_completed as u64
+    %out_bool = eq __m_async_group_children_%out_bool, __m_async_group_completed_%out_bool
+    !__m_async_group_completed_%out_bool
+    !__m_async_group_children_%out_bool
+[END_MACRO]
+
+[MACRO] M_ASYNC_GROUP_IS_FAILED %out_bool, %group
+    __m_async_group_failed_%out_bool = load %group+MAsyncGroup_failed as u64
+    %out_bool = ne __m_async_group_failed_%out_bool, 0
+    !__m_async_group_failed_%out_bool
+[END_MACRO]
+
+[MACRO] M_ASYNC_GROUP_ERROR %out_error, %group
+    %out_error = load %group+MAsyncGroup_error as u64
+[END_MACRO]

package/sa_std/m_async.sal

@@ -0,0 +1,30 @@
+// m-async compatibility layouts.
+// Fixed-width slots shared by SA and SLA lowering.
+
+#def MAsyncCancelToken_SIZE = 8
+#def MAsyncCancelToken_cancelled = +0
+#def MAsyncCancelToken_ACTIVE = 0
+#def MAsyncCancelToken_CANCELLED = 1
+
+#def MAsyncTask_SIZE = 48
+#def MAsyncTask_future = +0
+#def MAsyncTask_context = +8
+#def MAsyncTask_cancel = +16
+#def MAsyncTask_state = +24
+#def MAsyncTask_result = +32
+#def MAsyncTask_error = +40
+#def MAsyncTask_PENDING = 0
+#def MAsyncTask_READY = 1
+#def MAsyncTask_FAILED = 2
+#def MAsyncTask_CANCELLED = 3
+
+#def MAsyncGroup_SIZE = 48
+#def MAsyncGroup_cancel = +0
+#def MAsyncGroup_children = +8
+#def MAsyncGroup_completed = +16
+#def MAsyncGroup_failed = +24
+#def MAsyncGroup_error = +32
+#def MAsyncGroup_state = +40
+#def MAsyncGroup_ACTIVE = 0
+#def MAsyncGroup_CANCELLED = 1
+#def MAsyncGroup_FAILED = 2

package/sa_std/m_async.sla

@@ -0,0 +1,2 @@
+// Hyphenated import compatibility for the m-async spelling.
+@import "sa_std/m_async.sa"

package/sa_std/manually_drop.sa

@@ -0,0 +1,3 @@
+// Public ManuallyDrop facade over mem.sa.
+@import "mem.sal"
+@import "mem.sa"

package/sa_std/manually_drop.sal

@@ -0,0 +1,2 @@
+// ManuallyDrop layout aliases.
+@import "mem.sal"

package/sa_std/marker/phantom_data.sa

@@ -0,0 +1,3 @@
+// PhantomData namespace facade.
+@import "../marker.sal"
+@import "../marker.sa"

package/sa_std/marker/phantom_data.sal

@@ -0,0 +1 @@
+@import "../marker.sal"

package/sa_std/marker/prelude.sa

@@ -0,0 +1,4 @@
+// Stable marker namespace aggregation.
+@import "phantom_data.sa"
+@import "../manually_drop.sa"
+@import "../marker.sa"

package/sa_std/marker/prelude.sal

@@ -0,0 +1,4 @@
+// ABI/layout companion for marker namespace aggregation.
+@import "phantom_data.sal"
+@import "../manually_drop.sal"
+@import "../marker.sal"

package/sa_std/marker.sa

@@ -0,0 +1,220 @@
+@import "marker.sal"
+@import "hash.sa"
+
+[MACRO] MARKER_ZST_SIZE %out_size
+    %out_size = add 0, 0
+[END_MACRO]
+
+[MACRO] MARKER_ZST_ALIGN %out_align
+    %out_align = add 0, 1
+[END_MACRO]
+
+[MACRO] MARKER_IS_ZST %out_bool, %size
+    %out_bool = eq %size, 0
+[END_MACRO]
+
+[MACRO] PHANTOM_DATA_DEFAULT %out_token
+    %out_token = add 0, 0
+[END_MACRO]
+
+[MACRO] PHANTOM_DATA_COPY %out_token, %phantom_token
+    %out_token = add 0, 0
+[END_MACRO]
+
+[MACRO] PHANTOM_DATA_CLONE %out_token, %phantom_token
+    %out_token = add 0, 0
+[END_MACRO]
+
+[MACRO] PHANTOM_DATA_CLONE_FROM %out_token, %phantom_token
+    %out_token = add 0, 0
+[END_MACRO]
+
+[MACRO] PHANTOM_DATA_EQ %out_bool, %left_token, %right_token
+    %out_bool = add 0, 1
+[END_MACRO]
+
+[MACRO] PHANTOM_DATA_NE %out_bool, %left_token, %right_token
+    %out_bool = add 0, 0
+[END_MACRO]
+
+[MACRO] PHANTOM_DATA_CMP %out_ordering, %left_token, %right_token
+    %out_ordering = add 0, 0
+[END_MACRO]
+
+[MACRO] PHANTOM_DATA_PARTIAL_CMP %out_ordering, %left_token, %right_token
+    %out_ordering = add 0, 0
+[END_MACRO]
+
+[MACRO] PHANTOM_DATA_LT %out_bool, %left_token, %right_token
+    %out_bool = add 0, 0
+[END_MACRO]
+
+[MACRO] PHANTOM_DATA_LE %out_bool, %left_token, %right_token
+    %out_bool = add 0, 1
+[END_MACRO]
+
+[MACRO] PHANTOM_DATA_GT %out_bool, %left_token, %right_token
+    %out_bool = add 0, 0
+[END_MACRO]
+
+[MACRO] PHANTOM_DATA_GE %out_bool, %left_token, %right_token
+    %out_bool = add 0, 1
+[END_MACRO]
+
+[MACRO] DEFAULT_HASHER_WRITE_PHANTOM_DATA %hasher, %phantom_token
+    EXPAND DEFAULT_HASHER_WRITE_UNIT %hasher, %phantom_token
+[END_MACRO]
+
+[MACRO] PHANTOM_DATA_HASH %out_hash, %phantom_token
+    __phantom_data_hash_hasher_%out_hash = stack_alloc DefaultHasher_SIZE
+    EXPAND DEFAULT_HASHER_NEW __phantom_data_hash_hasher_%out_hash
+    EXPAND DEFAULT_HASHER_WRITE_PHANTOM_DATA __phantom_data_hash_hasher_%out_hash, %phantom_token
+    EXPAND DEFAULT_HASHER_FINISH %out_hash, __phantom_data_hash_hasher_%out_hash
+[END_MACRO]
+
+[MACRO] BUILD_HASHER_DEFAULT_HASH_ONE_PHANTOM_DATA %out_hash, %builder, %phantom_token
+    __build_hash_one_phantom_data_hasher_%out_hash = stack_alloc DefaultHasher_SIZE
+    EXPAND BUILD_HASHER_DEFAULT_BUILD __build_hash_one_phantom_data_hasher_%out_hash, %builder
+    EXPAND DEFAULT_HASHER_WRITE_PHANTOM_DATA __build_hash_one_phantom_data_hasher_%out_hash, %phantom_token
+    EXPAND DEFAULT_HASHER_FINISH %out_hash, __build_hash_one_phantom_data_hasher_%out_hash
+[END_MACRO]
+
+[MACRO] RANDOM_STATE_HASH_ONE_PHANTOM_DATA %out_hash, %state, %phantom_token
+    __random_state_hash_one_phantom_data_hasher_%out_hash = stack_alloc DefaultHasher_SIZE
+    EXPAND RANDOM_STATE_BUILD __random_state_hash_one_phantom_data_hasher_%out_hash, %state
+    EXPAND DEFAULT_HASHER_WRITE_PHANTOM_DATA __random_state_hash_one_phantom_data_hasher_%out_hash, %phantom_token
+    EXPAND DEFAULT_HASHER_FINISH %out_hash, __random_state_hash_one_phantom_data_hasher_%out_hash
+[END_MACRO]
+
+[MACRO] PHANTOM_DATA_IS_COPY %out_bool
+    %out_bool = add 0, 1
+[END_MACRO]
+
+[MACRO] PHANTOM_DATA_IS_SEND %out_bool
+    %out_bool = add 0, 1
+[END_MACRO]
+
+[MACRO] PHANTOM_DATA_IS_SYNC %out_bool
+    %out_bool = add 0, 1
+[END_MACRO]
+
+[MACRO] PHANTOM_DATA_IS_UNPIN %out_bool
+    %out_bool = add 0, 1
+[END_MACRO]
+
+[MACRO] PHANTOM_PINNED_DEFAULT %out_token
+    %out_token = add 0, 0
+[END_MACRO]
+
+[MACRO] PHANTOM_PINNED_COPY %out_token, %pinned_token
+    %out_token = add 0, 0
+[END_MACRO]
+
+[MACRO] PHANTOM_PINNED_CLONE %out_token, %pinned_token
+    %out_token = add 0, 0
+[END_MACRO]
+
+[MACRO] PHANTOM_PINNED_CLONE_FROM %out_token, %pinned_token
+    %out_token = add 0, 0
+[END_MACRO]
+
+[MACRO] PHANTOM_PINNED_EQ %out_bool, %left_token, %right_token
+    %out_bool = add 0, 1
+[END_MACRO]
+
+[MACRO] PHANTOM_PINNED_NE %out_bool, %left_token, %right_token
+    %out_bool = add 0, 0
+[END_MACRO]
+
+[MACRO] PHANTOM_PINNED_CMP %out_ordering, %left_token, %right_token
+    %out_ordering = add 0, 0
+[END_MACRO]
+
+[MACRO] PHANTOM_PINNED_PARTIAL_CMP %out_ordering, %left_token, %right_token
+    %out_ordering = add 0, 0
+[END_MACRO]
+
+[MACRO] PHANTOM_PINNED_LT %out_bool, %left_token, %right_token
+    %out_bool = add 0, 0
+[END_MACRO]
+
+[MACRO] PHANTOM_PINNED_LE %out_bool, %left_token, %right_token
+    %out_bool = add 0, 1
+[END_MACRO]
+
+[MACRO] PHANTOM_PINNED_GT %out_bool, %left_token, %right_token
+    %out_bool = add 0, 0
+[END_MACRO]
+
+[MACRO] PHANTOM_PINNED_GE %out_bool, %left_token, %right_token
+    %out_bool = add 0, 1
+[END_MACRO]
+
+[MACRO] DEFAULT_HASHER_WRITE_PHANTOM_PINNED %hasher, %pinned_token
+    EXPAND DEFAULT_HASHER_WRITE_UNIT %hasher, %pinned_token
+[END_MACRO]
+
+[MACRO] PHANTOM_PINNED_HASH %out_hash, %pinned_token
+    __phantom_pinned_hash_hasher_%out_hash = stack_alloc DefaultHasher_SIZE
+    EXPAND DEFAULT_HASHER_NEW __phantom_pinned_hash_hasher_%out_hash
+    EXPAND DEFAULT_HASHER_WRITE_PHANTOM_PINNED __phantom_pinned_hash_hasher_%out_hash, %pinned_token
+    EXPAND DEFAULT_HASHER_FINISH %out_hash, __phantom_pinned_hash_hasher_%out_hash
+[END_MACRO]
+
+[MACRO] BUILD_HASHER_DEFAULT_HASH_ONE_PHANTOM_PINNED %out_hash, %builder, %pinned_token
+    __build_hash_one_phantom_pinned_hasher_%out_hash = stack_alloc DefaultHasher_SIZE
+    EXPAND BUILD_HASHER_DEFAULT_BUILD __build_hash_one_phantom_pinned_hasher_%out_hash, %builder
+    EXPAND DEFAULT_HASHER_WRITE_PHANTOM_PINNED __build_hash_one_phantom_pinned_hasher_%out_hash, %pinned_token
+    EXPAND DEFAULT_HASHER_FINISH %out_hash, __build_hash_one_phantom_pinned_hasher_%out_hash
+[END_MACRO]
+
+[MACRO] RANDOM_STATE_HASH_ONE_PHANTOM_PINNED %out_hash, %state, %pinned_token
+    __random_state_hash_one_phantom_pinned_hasher_%out_hash = stack_alloc DefaultHasher_SIZE
+    EXPAND RANDOM_STATE_BUILD __random_state_hash_one_phantom_pinned_hasher_%out_hash, %state
+    EXPAND DEFAULT_HASHER_WRITE_PHANTOM_PINNED __random_state_hash_one_phantom_pinned_hasher_%out_hash, %pinned_token
+    EXPAND DEFAULT_HASHER_FINISH %out_hash, __random_state_hash_one_phantom_pinned_hasher_%out_hash
+[END_MACRO]
+
+[MACRO] PHANTOM_PINNED_IS_COPY %out_bool
+    %out_bool = add 0, 1
+[END_MACRO]
+
+[MACRO] PHANTOM_PINNED_IS_SEND %out_bool
+    %out_bool = add 0, 1
+[END_MACRO]
+
+[MACRO] PHANTOM_PINNED_IS_SYNC %out_bool
+    %out_bool = add 0, 1
+[END_MACRO]
+
+[MACRO] PHANTOM_PINNED_IS_UNPIN %out_bool
+    %out_bool = add 0, 0
+[END_MACRO]
+
+[MACRO] MARKER_PRIMITIVE_IS_SIZED %out_bool
+    %out_bool = add 0, 1
+[END_MACRO]
+
+[MACRO] MARKER_PRIMITIVE_IS_COPY %out_bool
+    %out_bool = add 0, 1
+[END_MACRO]
+
+[MACRO] MARKER_PRIMITIVE_IS_SEND %out_bool
+    %out_bool = add 0, 1
+[END_MACRO]
+
+[MACRO] MARKER_PRIMITIVE_IS_SYNC %out_bool
+    %out_bool = add 0, 1
+[END_MACRO]
+
+[MACRO] MARKER_PRIMITIVE_IS_UNPIN %out_bool
+    %out_bool = add 0, 1
+[END_MACRO]
+
+[MACRO] MARKER_PRIMITIVE_IS_FREEZE %out_bool
+    %out_bool = add 0, 1
+[END_MACRO]
+
+[MACRO] MARKER_CAPABILITY %out_bool, %enabled
+    %out_bool = ne %enabled, 0
+[END_MACRO]

package/sa_std/marker.sal

@@ -0,0 +1,15 @@
+#def PhantomData_SIZE = 0
+#def PhantomData_ALIGN = 1
+
+#def PhantomPinned_SIZE = 0
+#def PhantomPinned_ALIGN = 1
+
+#def MARKER_TRAIT_SIZED = 1
+#def MARKER_TRAIT_COPY = 2
+#def MARKER_TRAIT_SEND = 3
+#def MARKER_TRAIT_SYNC = 4
+#def MARKER_TRAIT_UNPIN = 5
+#def MARKER_TRAIT_FREEZE = 6
+
+#def MARKER_CAP_FALSE = 0
+#def MARKER_CAP_TRUE = 1