@salang/sa 0.1.3 → 0.1.4

package/sa_std/env.sa

@@ -0,0 +1,390 @@
+@import "core/slice.sal"
+@import "env.sai"
+
+[MACRO] ENV_GET %out_buf, %key_slice
+    __env_get_key_ptr_%out_buf = load %key_slice+Slice_ptr as ptr
+    __env_get_key_len_%out_buf = load %key_slice+Slice_len as u64
+    EXPAND ENV_GET_PTR %out_buf, __env_get_key_ptr_%out_buf, __env_get_key_len_%out_buf
+    !__env_get_key_len_%out_buf
+    !__env_get_key_ptr_%out_buf
+[END_MACRO]
+
+[MACRO] ENV_GET_PTR %out_buf, %key_ptr, %key_len
+    %out_buf = call @sa_env_get(%key_ptr, %key_len)
+[END_MACRO]
+
+[MACRO] ENV_CURRENT_DIR %out_buf
+    %out_buf = call @sa_env_current_dir()
+[END_MACRO]
+
+[MACRO] ENV_SET_CURRENT_DIR %out_status, %path_slice
+    __env_set_cwd_ptr_%out_status = load %path_slice+Slice_ptr as ptr
+    __env_set_cwd_len_%out_status = load %path_slice+Slice_len as u64
+    %out_status = call @sa_env_set_current_dir(__env_set_cwd_ptr_%out_status, __env_set_cwd_len_%out_status)
+    !__env_set_cwd_len_%out_status
+    !__env_set_cwd_ptr_%out_status
+[END_MACRO]
+
+[MACRO] ENV_TEMP_DIR %out_buf
+    %out_buf = call @sa_env_temp_dir()
+[END_MACRO]
+
+[MACRO] ENV_CURRENT_EXE %out_buf
+    %out_buf = call @sa_env_current_exe()
+[END_MACRO]
+
+[MACRO] ENV_TRY_HOME_DIR %out_ok, %out_buf
+    %out_buf = call @sa_env_home_dir()
+    %out_ok = ne %out_buf, 0
+[END_MACRO]
+
+[MACRO] ENV_ARGS_JSON %out_buf
+    %out_buf = call @sa_env_args_json()
+[END_MACRO]
+
+[MACRO] ENV_VARS_JSON %out_buf
+    %out_buf = call @sa_env_vars_json()
+[END_MACRO]
+
+[MACRO] ENV_SPLIT_PATHS_JSON %out_buf, %path_list_slice
+    __env_split_paths_ptr_%out_buf = load %path_list_slice+Slice_ptr as ptr
+    __env_split_paths_len_%out_buf = load %path_list_slice+Slice_len as u64
+    EXPAND ENV_SPLIT_PATHS_JSON_PTR %out_buf, __env_split_paths_ptr_%out_buf, __env_split_paths_len_%out_buf
+    !__env_split_paths_len_%out_buf
+    !__env_split_paths_ptr_%out_buf
+[END_MACRO]
+
+[MACRO] ENV_SPLIT_PATHS_JSON_PTR %out_buf, %path_list_ptr, %path_list_len
+    %out_buf = call @sa_env_split_paths_json(%path_list_ptr, %path_list_len)
+[END_MACRO]
+
+[MACRO] ENV_JOIN_PATHS_JSON %out_buf, %paths_json_slice
+    __env_join_paths_ptr_%out_buf = load %paths_json_slice+Slice_ptr as ptr
+    __env_join_paths_len_%out_buf = load %paths_json_slice+Slice_len as u64
+    EXPAND ENV_JOIN_PATHS_JSON_PTR %out_buf, __env_join_paths_ptr_%out_buf, __env_join_paths_len_%out_buf
+    !__env_join_paths_len_%out_buf
+    !__env_join_paths_ptr_%out_buf
+[END_MACRO]
+
+[MACRO] ENV_JOIN_PATHS_JSON_PTR %out_buf, %paths_json_ptr, %paths_json_len
+    %out_buf = call @sa_env_join_paths_json(%paths_json_ptr, %paths_json_len)
+[END_MACRO]
+
+[MACRO] ENV_XDG_DATA_HOME_DIR %out_buf
+    %out_buf = call @sa_env_xdg_data_home_dir()
+[END_MACRO]
+
+[MACRO] ENV_XDG_CONFIG_HOME_DIR %out_buf
+    %out_buf = call @sa_env_xdg_config_home_dir()
+[END_MACRO]
+
+[MACRO] ENV_XDG_STATE_HOME_DIR %out_buf
+    %out_buf = call @sa_env_xdg_state_home_dir()
+[END_MACRO]
+
+[MACRO] ENV_XDG_CACHE_HOME_DIR %out_buf
+    %out_buf = call @sa_env_xdg_cache_home_dir()
+[END_MACRO]
+
+[MACRO] ENV_XDG_DATA_DIRS %out_buf
+    %out_buf = call @sa_env_xdg_data_dirs()
+[END_MACRO]
+
+[MACRO] ENV_XDG_CONFIG_DIRS %out_buf
+    %out_buf = call @sa_env_xdg_config_dirs()
+[END_MACRO]
+
+[MACRO] ENV_TRY_GET %out_ok, %out_buf, %key_slice
+    __env_try_get_key_ptr_%out_ok = load %key_slice+Slice_ptr as ptr
+    __env_try_get_key_len_%out_ok = load %key_slice+Slice_len as u64
+    EXPAND ENV_TRY_GET_PTR %out_ok, %out_buf, __env_try_get_key_ptr_%out_ok, __env_try_get_key_len_%out_ok
+    !__env_try_get_key_len_%out_ok
+    !__env_try_get_key_ptr_%out_ok
+[END_MACRO]
+
+[MACRO] ENV_TRY_GET_PTR %out_ok, %out_buf, %key_ptr, %key_len
+    __env_try_get_status_%out_ok = call @sa_env_has(%key_ptr, %key_len)
+    __env_try_get_exists_%out_ok = eq __env_try_get_status_%out_ok, 0
+    br __env_try_get_exists_%out_ok -> L_ENV_TRY_GET_HIT_%out_ok, L_ENV_TRY_GET_MISS_%out_ok
+
+L_ENV_TRY_GET_HIT_%out_ok:
+    %out_buf = call @sa_env_get(%key_ptr, %key_len)
+    %out_ok = add 0, 1
+    !__env_try_get_exists_%out_ok
+    !__env_try_get_status_%out_ok
+    jmp L_ENV_TRY_GET_END_%out_ok
+
+L_ENV_TRY_GET_MISS_%out_ok:
+    %out_buf = add 0, 0
+    %out_ok = add 0, 0
+    !__env_try_get_exists_%out_ok
+    !__env_try_get_status_%out_ok
+
+L_ENV_TRY_GET_END_%out_ok:
+[END_MACRO]
+
+[MACRO] ENV_HAS %out_flag, %key_slice
+    __env_has_key_ptr_%out_flag = load %key_slice+Slice_ptr as ptr
+    __env_has_key_len_%out_flag = load %key_slice+Slice_len as u64
+    EXPAND ENV_HAS_PTR %out_flag, __env_has_key_ptr_%out_flag, __env_has_key_len_%out_flag
+    !__env_has_key_len_%out_flag
+    !__env_has_key_ptr_%out_flag
+[END_MACRO]
+
+[MACRO] ENV_HAS_PTR %out_status, %key_ptr, %key_len
+    %out_status = call @sa_env_has(%key_ptr, %key_len)
+[END_MACRO]
+
+[MACRO] ENV_SET_VAR %out_status, %key_slice, %value_slice
+    __env_set_key_ptr_%out_status = load %key_slice+Slice_ptr as ptr
+    __env_set_key_len_%out_status = load %key_slice+Slice_len as u64
+    __env_set_value_ptr_%out_status = load %value_slice+Slice_ptr as ptr
+    __env_set_value_len_%out_status = load %value_slice+Slice_len as u64
+    EXPAND ENV_SET_VAR_PTR %out_status, __env_set_key_ptr_%out_status, __env_set_key_len_%out_status, __env_set_value_ptr_%out_status, __env_set_value_len_%out_status
+    !__env_set_value_len_%out_status
+    !__env_set_value_ptr_%out_status
+    !__env_set_key_len_%out_status
+    !__env_set_key_ptr_%out_status
+[END_MACRO]
+
+[MACRO] ENV_SET_VAR_PTR %out_status, %key_ptr, %key_len, %value_ptr, %value_len
+    %out_status = call @sa_env_set_var(%key_ptr, %key_len, %value_ptr, %value_len)
+[END_MACRO]
+
+[MACRO] ENV_REMOVE_VAR %out_status, %key_slice
+    __env_remove_key_ptr_%out_status = load %key_slice+Slice_ptr as ptr
+    __env_remove_key_len_%out_status = load %key_slice+Slice_len as u64
+    EXPAND ENV_REMOVE_VAR_PTR %out_status, __env_remove_key_ptr_%out_status, __env_remove_key_len_%out_status
+    !__env_remove_key_len_%out_status
+    !__env_remove_key_ptr_%out_status
+[END_MACRO]
+
+[MACRO] ENV_REMOVE_VAR_PTR %out_status, %key_ptr, %key_len
+    %out_status = call @sa_env_remove_var(%key_ptr, %key_len)
+[END_MACRO]
+
+[MACRO] ENV_STATUS_IS_OK %out_bool, %status
+    %out_bool = eq %status, 0
+[END_MACRO]
+
+[MACRO] ENV_EXISTS %out_bool, %key_slice
+    __env_exists_key_ptr_%out_bool = load %key_slice+Slice_ptr as ptr
+    __env_exists_key_len_%out_bool = load %key_slice+Slice_len as u64
+    EXPAND ENV_EXISTS_PTR %out_bool, __env_exists_key_ptr_%out_bool, __env_exists_key_len_%out_bool
+    !__env_exists_key_len_%out_bool
+    !__env_exists_key_ptr_%out_bool
+[END_MACRO]
+
+[MACRO] ENV_EXISTS_PTR %out_bool, %key_ptr, %key_len
+    __env_exists_status_%out_bool = call @sa_env_has(%key_ptr, %key_len)
+    %out_bool = eq __env_exists_status_%out_bool, 0
+    !__env_exists_status_%out_bool
+[END_MACRO]
+
+[MACRO] ENV_BUFFER_DATA %out_ptr, %buffer
+    %out_ptr = call @sa_env_buffer_data(%buffer)
+[END_MACRO]
+
+[MACRO] ENV_BUFFER_LEN %out_len, %buffer
+    %out_len = call @sa_env_buffer_len(%buffer)
+[END_MACRO]
+
+[MACRO] ENV_BUFFER_AS_SLICE %out_slice, %buffer
+    __env_slice_ptr_%out_slice = call @sa_env_buffer_data(%buffer)
+    __env_slice_len_%out_slice = call @sa_env_buffer_len(%buffer)
+    store %out_slice+Slice_ptr, __env_slice_ptr_%out_slice as ptr
+    store %out_slice+Slice_len, __env_slice_len_%out_slice as u64
+    !__env_slice_len_%out_slice
+    !__env_slice_ptr_%out_slice
+[END_MACRO]
+
+[MACRO] ENV_GET_PARTS %out_buffer, %out_ptr, %out_len, %key_slice
+    __env_parts_key_ptr_%out_buffer = load %key_slice+Slice_ptr as ptr
+    __env_parts_key_len_%out_buffer = load %key_slice+Slice_len as u64
+    EXPAND ENV_GET_PARTS_PTR %out_buffer, %out_ptr, %out_len, __env_parts_key_ptr_%out_buffer, __env_parts_key_len_%out_buffer
+    !__env_parts_key_len_%out_buffer
+    !__env_parts_key_ptr_%out_buffer
+[END_MACRO]
+
+[MACRO] ENV_GET_PARTS_PTR %out_buffer, %out_ptr, %out_len, %key_ptr, %key_len
+    EXPAND ENV_GET_PTR %out_buffer, %key_ptr, %key_len
+    %out_ptr = call @sa_env_buffer_data(%out_buffer)
+    %out_len = call @sa_env_buffer_len(%out_buffer)
+[END_MACRO]
+
+[MACRO] ENV_GET_SLICE %out_buffer, %out_slice, %key_slice
+    __env_get_slice_key_ptr_%out_buffer = load %key_slice+Slice_ptr as ptr
+    __env_get_slice_key_len_%out_buffer = load %key_slice+Slice_len as u64
+    EXPAND ENV_GET_SLICE_PTR %out_buffer, %out_slice, __env_get_slice_key_ptr_%out_buffer, __env_get_slice_key_len_%out_buffer
+    !__env_get_slice_key_len_%out_buffer
+    !__env_get_slice_key_ptr_%out_buffer
+[END_MACRO]
+
+[MACRO] ENV_GET_SLICE_PTR %out_buffer, %out_slice, %key_ptr, %key_len
+    EXPAND ENV_GET_PTR %out_buffer, %key_ptr, %key_len
+    EXPAND ENV_BUFFER_AS_SLICE %out_slice, %out_buffer
+[END_MACRO]
+
+[MACRO] ENV_TRY_GET_SLICE %out_ok, %out_buffer, %out_slice, %key_slice
+    __env_try_slice_key_ptr_%out_ok = load %key_slice+Slice_ptr as ptr
+    __env_try_slice_key_len_%out_ok = load %key_slice+Slice_len as u64
+    EXPAND ENV_TRY_GET_SLICE_PTR %out_ok, %out_buffer, %out_slice, __env_try_slice_key_ptr_%out_ok, __env_try_slice_key_len_%out_ok
+    !__env_try_slice_key_len_%out_ok
+    !__env_try_slice_key_ptr_%out_ok
+[END_MACRO]
+
+[MACRO] ENV_TRY_GET_SLICE_PTR %out_ok, %out_buffer, %out_slice, %key_ptr, %key_len
+    __env_try_slice_status_%out_ok = call @sa_env_has(%key_ptr, %key_len)
+    __env_try_slice_exists_%out_ok = eq __env_try_slice_status_%out_ok, 0
+    br __env_try_slice_exists_%out_ok -> L_ENV_TRY_GET_SLICE_HIT_%out_ok, L_ENV_TRY_GET_SLICE_MISS_%out_ok
+
+L_ENV_TRY_GET_SLICE_HIT_%out_ok:
+    %out_buffer = call @sa_env_get(%key_ptr, %key_len)
+    EXPAND ENV_BUFFER_AS_SLICE %out_slice, %out_buffer
+    %out_ok = add 0, 1
+    !__env_try_slice_exists_%out_ok
+    !__env_try_slice_status_%out_ok
+    jmp L_ENV_TRY_GET_SLICE_END_%out_ok
+
+L_ENV_TRY_GET_SLICE_MISS_%out_ok:
+    %out_buffer = add 0, 0
+    store %out_slice+Slice_ptr, 0 as ptr
+    store %out_slice+Slice_len, 0 as u64
+    %out_ok = add 0, 0
+    !__env_try_slice_exists_%out_ok
+    !__env_try_slice_status_%out_ok
+
+L_ENV_TRY_GET_SLICE_END_%out_ok:
+[END_MACRO]
+
+[MACRO] ENV_BUFFER_FREE %out_ok, %buffer
+    %out_ok = call @sa_env_buffer_free(^%buffer)
+[END_MACRO]
+
+// Rust-named aliases over the existing current-process env facade.
+
+[MACRO] ENV_VAR %out_buf, %key_slice
+    EXPAND ENV_GET %out_buf, %key_slice
+[END_MACRO]
+
+[MACRO] ENV_VAR_OS %out_ok, %out_buf, %key_slice
+    EXPAND ENV_TRY_GET %out_ok, %out_buf, %key_slice
+[END_MACRO]
+
+[MACRO] ENV_ARGS %out_buf
+    EXPAND ENV_ARGS_JSON %out_buf
+[END_MACRO]
+
+[MACRO] ENV_VARS %out_buf
+    EXPAND ENV_VARS_JSON %out_buf
+[END_MACRO]
+
+// Rust/std naming aliases for current working directory and home queries.
+[MACRO] ENV_CWD_GET %out_buf
+    EXPAND ENV_CURRENT_DIR %out_buf
+[END_MACRO]
+
+[MACRO] ENV_CWD_SET %out_status, %path_slice
+    EXPAND ENV_SET_CURRENT_DIR %out_status, %path_slice
+[END_MACRO]
+
+[MACRO] ENV_HOME %out_buf
+    EXPAND ENV_TRY_HOME_DIR __env_home_ok_%out_buf, %out_buf
+    !__env_home_ok_%out_buf
+[END_MACRO]
+
+[MACRO] ENV_RUST_ARGS %out_buf
+    EXPAND ENV_ARGS %out_buf
+[END_MACRO]
+
+[MACRO] ENV_RUST_VARS %out_buf
+    EXPAND ENV_VARS %out_buf
+[END_MACRO]
+[MACRO] ENV_SPLIT_PATHS %out_buf, %path_list_slice
+    EXPAND ENV_SPLIT_PATHS_JSON %out_buf, %path_list_slice
+[END_MACRO]
+
+[MACRO] ENV_JOIN_PATHS %out_buf, %paths_json_slice
+    EXPAND ENV_JOIN_PATHS_JSON %out_buf, %paths_json_slice
+[END_MACRO]
+
+[MACRO] ENV_HOME_DIR %out_ok, %out_buf
+    EXPAND ENV_TRY_HOME_DIR %out_ok, %out_buf
+[END_MACRO]
+
+// Rust-named Os-style aliases over the existing JSON/buffer process env facade.
+// These intentionally return the same owned env buffers as ENV_ARGS/ENV_VARS rather
+// than true OsString iterators.
+
+[MACRO] ENV_ARGS_OS %out_buf
+    EXPAND ENV_ARGS_JSON %out_buf
+[END_MACRO]
+
+[MACRO] ENV_VARS_OS %out_buf
+    EXPAND ENV_VARS_JSON %out_buf
+[END_MACRO]
+
+[MACRO] ENV_SPLIT_PATHS_OS %out_buf, %path_list_slice
+    EXPAND ENV_SPLIT_PATHS_JSON %out_buf, %path_list_slice
+[END_MACRO]
+
+[MACRO] ENV_JOIN_PATHS_OS %out_buf, %paths_json_slice
+    EXPAND ENV_JOIN_PATHS_JSON %out_buf, %paths_json_slice
+[END_MACRO]
+
+
+// Extra rust-named aliases for common env path queries.
+
+[MACRO] ENV_TEMP_DIR_OS %out_buf
+    EXPAND ENV_TEMP_DIR %out_buf
+[END_MACRO]
+
+[MACRO] ENV_CURRENT_EXE_OS %out_buf
+    EXPAND ENV_CURRENT_EXE %out_buf
+[END_MACRO]
+
+[MACRO] ENV_CURRENT_DIR_OS %out_buf
+    EXPAND ENV_CURRENT_DIR %out_buf
+[END_MACRO]
+
+[MACRO] ENV_SET_CURRENT_DIR_OS %out_status, %path_slice
+    EXPAND ENV_SET_CURRENT_DIR %out_status, %path_slice
+[END_MACRO]
+
+[MACRO] ENV_SET_VAR_OS %out_status, %key_slice, %value_slice
+    EXPAND ENV_SET_VAR %out_status, %key_slice, %value_slice
+[END_MACRO]
+
+[MACRO] ENV_REMOVE_VAR_OS %out_status, %key_slice
+    EXPAND ENV_REMOVE_VAR %out_status, %key_slice
+[END_MACRO]
+
+[MACRO] ENV_HOME_DIR_OS %out_ok, %out_buf
+    EXPAND ENV_HOME_DIR %out_ok, %out_buf
+[END_MACRO]
+
+// Os-style aliases over existing XDG directory/buffer helpers.
+
+[MACRO] ENV_XDG_DATA_HOME_DIR_OS %out_buf
+    EXPAND ENV_XDG_DATA_HOME_DIR %out_buf
+[END_MACRO]
+
+[MACRO] ENV_XDG_CONFIG_HOME_DIR_OS %out_buf
+    EXPAND ENV_XDG_CONFIG_HOME_DIR %out_buf
+[END_MACRO]
+
+[MACRO] ENV_XDG_STATE_HOME_DIR_OS %out_buf
+    EXPAND ENV_XDG_STATE_HOME_DIR %out_buf
+[END_MACRO]
+
+[MACRO] ENV_XDG_CACHE_HOME_DIR_OS %out_buf
+    EXPAND ENV_XDG_CACHE_HOME_DIR %out_buf
+[END_MACRO]
+
+[MACRO] ENV_XDG_DATA_DIRS_OS %out_buf
+    EXPAND ENV_XDG_DATA_DIRS %out_buf
+[END_MACRO]
+
+[MACRO] ENV_XDG_CONFIG_DIRS_OS %out_buf
+    EXPAND ENV_XDG_CONFIG_DIRS %out_buf
+[END_MACRO]

package/sa_std/env.sai

@@ -0,0 +1,25 @@
+// SA-facing contracts for environment variable helpers.
+// Env values are copied into owned buffer handles and must be freed explicitly.
+@extern sa_env_get(key: ptr, key_len: u64) -> u64
+@extern sa_env_has(key: ptr, key_len: u64) -> i32
+@extern sa_env_set_var(key: ptr, key_len: u64, value: ptr, value_len: u64) -> i32
+@extern sa_env_remove_var(key: ptr, key_len: u64) -> i32
+@extern sa_env_current_dir() -> u64
+@extern sa_env_set_current_dir(path: ptr, path_len: u64) -> i32
+@extern sa_env_temp_dir() -> u64
+@extern sa_env_current_exe() -> u64
+@extern sa_env_home_dir() -> u64
+@extern sa_env_args_json() -> u64
+@extern sa_env_vars_json() -> u64
+@extern sa_env_split_paths_json(path_list: ptr, path_list_len: u64) -> u64
+@extern sa_env_join_paths_json(paths_json: ptr, paths_json_len: u64) -> u64
+@extern sa_env_xdg_data_home_dir() -> u64
+@extern sa_env_xdg_config_home_dir() -> u64
+@extern sa_env_xdg_state_home_dir() -> u64
+@extern sa_env_xdg_cache_home_dir() -> u64
+@extern sa_env_xdg_data_dirs() -> u64
+@extern sa_env_xdg_config_dirs() -> u64
+
+@extern sa_env_buffer_data(buffer: u64) -> &ptr
+@extern sa_env_buffer_len(buffer: u64) -> u64
+@extern sa_env_buffer_free(^buffer: u64) -> i32

package/sa_std/error.sa

@@ -0,0 +1,253 @@
+@import "error.sal"
+@import "any.sal"
+@import "core/slice.sal"
+
+[MACRO] ERROR_TYPE_ID_GENERIC %type_id
+    store %type_id+TypeId_lo, ERROR_TYPE_GENERIC_LO as u64
+    store %type_id+TypeId_hi, ERROR_TYPE_ID_HI as u64
+[END_MACRO]
+
+[MACRO] ERROR_TYPE_ID_IO %type_id
+    store %type_id+TypeId_lo, ERROR_TYPE_IO_LO as u64
+    store %type_id+TypeId_hi, ERROR_TYPE_ID_HI as u64
+[END_MACRO]
+
+[MACRO] ERROR_TYPE_ID_PARSE %type_id
+    store %type_id+TypeId_lo, ERROR_TYPE_PARSE_LO as u64
+    store %type_id+TypeId_hi, ERROR_TYPE_ID_HI as u64
+[END_MACRO]
+
+[MACRO] ERROR_TYPE_ID_UTF8 %type_id
+    store %type_id+TypeId_lo, ERROR_TYPE_UTF8_LO as u64
+    store %type_id+TypeId_hi, ERROR_TYPE_ID_HI as u64
+[END_MACRO]
+
+[MACRO] ERROR_TYPE_ID_FMT %type_id
+    store %type_id+TypeId_lo, ERROR_TYPE_FMT_LO as u64
+    store %type_id+TypeId_hi, ERROR_TYPE_ID_HI as u64
+[END_MACRO]
+
+[MACRO] ERROR_REF_NEW %error_ref, %type_id, %code, %msg_ptr, %msg_len, %source_ptr
+    __error_new_type_lo_%error_ref = load %type_id+TypeId_lo as u64
+    __error_new_type_hi_%error_ref = load %type_id+TypeId_hi as u64
+    store %error_ref+ErrorRef_type_lo, __error_new_type_lo_%error_ref as u64
+    store %error_ref+ErrorRef_type_hi, __error_new_type_hi_%error_ref as u64
+    store %error_ref+ErrorRef_code, %code as u64
+    store %error_ref+ErrorRef_msg_ptr, %msg_ptr as ptr
+    store %error_ref+ErrorRef_msg_len, %msg_len as u64
+    store %error_ref+ErrorRef_source, %source_ptr as ptr
+    !__error_new_type_hi_%error_ref
+    !__error_new_type_lo_%error_ref
+[END_MACRO]
+
+[MACRO] ERROR_REF_STATIC %error_ref, %type_lo, %code, %msg_ptr, %msg_len
+    store %error_ref+ErrorRef_type_lo, %type_lo as u64
+    store %error_ref+ErrorRef_type_hi, ERROR_TYPE_ID_HI as u64
+    store %error_ref+ErrorRef_code, %code as u64
+    store %error_ref+ErrorRef_msg_ptr, %msg_ptr as ptr
+    store %error_ref+ErrorRef_msg_len, %msg_len as u64
+    store %error_ref+ErrorRef_source, 0 as ptr
+[END_MACRO]
+
+[MACRO] ERROR_REF_STATIC_WITH_SOURCE %error_ref, %type_lo, %code, %msg_ptr, %msg_len, %source_ptr
+    store %error_ref+ErrorRef_type_lo, %type_lo as u64
+    store %error_ref+ErrorRef_type_hi, ERROR_TYPE_ID_HI as u64
+    store %error_ref+ErrorRef_code, %code as u64
+    store %error_ref+ErrorRef_msg_ptr, %msg_ptr as ptr
+    store %error_ref+ErrorRef_msg_len, %msg_len as u64
+    store %error_ref+ErrorRef_source, %source_ptr as ptr
+[END_MACRO]
+
+[MACRO] ERROR_REF_TYPE_ID %type_id, %error_ref
+    __error_type_lo_%type_id = load %error_ref+ErrorRef_type_lo as u64
+    __error_type_hi_%type_id = load %error_ref+ErrorRef_type_hi as u64
+    store %type_id+TypeId_lo, __error_type_lo_%type_id as u64
+    store %type_id+TypeId_hi, __error_type_hi_%type_id as u64
+    !__error_type_hi_%type_id
+    !__error_type_lo_%type_id
+[END_MACRO]
+
+[MACRO] ERROR_REF_CODE %out_code, %error_ref
+    %out_code = load %error_ref+ErrorRef_code as u64
+[END_MACRO]
+
+[MACRO] ERROR_REF_MESSAGE %out_slice, %error_ref
+    __error_msg_ptr_%out_slice = load %error_ref+ErrorRef_msg_ptr as ptr
+    __error_msg_len_%out_slice = load %error_ref+ErrorRef_msg_len as u64
+    store %out_slice+Slice_ptr, __error_msg_ptr_%out_slice as ptr
+    store %out_slice+Slice_len, __error_msg_len_%out_slice as u64
+    !__error_msg_len_%out_slice
+    !__error_msg_ptr_%out_slice
+[END_MACRO]
+
+[MACRO] ERROR_REF_MESSAGE_PTR %out_ptr, %error_ref
+    %out_ptr = load %error_ref+ErrorRef_msg_ptr as ptr
+[END_MACRO]
+
+[MACRO] ERROR_REF_MESSAGE_LEN %out_len, %error_ref
+    %out_len = load %error_ref+ErrorRef_msg_len as u64
+[END_MACRO]
+
+[MACRO] ERROR_REF_SOURCE %out_has, %out_source, %error_ref
+    %out_source = load %error_ref+ErrorRef_source as ptr
+    %out_has = ne %out_source, 0
+[END_MACRO]
+
+[MACRO] ERROR_REF_HAS_SOURCE %out_bool, %error_ref
+    __error_source_%out_bool = load %error_ref+ErrorRef_source as ptr
+    %out_bool = ne __error_source_%out_bool, 0
+    !__error_source_%out_bool
+[END_MACRO]
+
+[MACRO] ERROR_REF_IS %out_bool, %error_ref, %type_id
+    __error_is_lo_%out_bool = load %error_ref+ErrorRef_type_lo as u64
+    __error_is_hi_%out_bool = load %error_ref+ErrorRef_type_hi as u64
+    __error_is_expected_lo_%out_bool = load %type_id+TypeId_lo as u64
+    __error_is_expected_hi_%out_bool = load %type_id+TypeId_hi as u64
+    __error_is_lo_eq_%out_bool = eq __error_is_lo_%out_bool, __error_is_expected_lo_%out_bool
+    __error_is_hi_eq_%out_bool = eq __error_is_hi_%out_bool, __error_is_expected_hi_%out_bool
+    %out_bool = and __error_is_lo_eq_%out_bool, __error_is_hi_eq_%out_bool
+    !__error_is_hi_eq_%out_bool
+    !__error_is_lo_eq_%out_bool
+    !__error_is_expected_hi_%out_bool
+    !__error_is_expected_lo_%out_bool
+    !__error_is_hi_%out_bool
+    !__error_is_lo_%out_bool
+[END_MACRO]
+
+[MACRO] ERROR_REF_DOWNCAST_PTR %out_ok, %out_ptr, %error_ref, %type_id
+    EXPAND ERROR_REF_IS __error_downcast_ok_%out_ok, %error_ref, %type_id
+    br __error_downcast_ok_%out_ok -> L_ERROR_DOWNCAST_HIT_%out_ok, L_ERROR_DOWNCAST_MISS_%out_ok
+L_ERROR_DOWNCAST_HIT_%out_ok:
+    %out_ptr = & %error_ref
+    %out_ok = add 0, 1
+    !__error_downcast_ok_%out_ok
+    jmp L_ERROR_DOWNCAST_END_%out_ok
+L_ERROR_DOWNCAST_MISS_%out_ok:
+    %out_ptr = 0 as ptr
+    %out_ok = add 0, 0
+    !__error_downcast_ok_%out_ok
+L_ERROR_DOWNCAST_END_%out_ok:
+[END_MACRO]
+
+[MACRO] ERROR_REF_CODE_EQ %out_bool, %error_ref, %code
+    __error_code_%out_bool = load %error_ref+ErrorRef_code as u64
+    %out_bool = eq __error_code_%out_bool, %code
+    !__error_code_%out_bool
+[END_MACRO]
+
+[MACRO] ERROR_REF_IS_NOT_FOUND %out_bool, %error_ref
+    EXPAND ERROR_REF_CODE_EQ %out_bool, %error_ref, ERROR_CODE_NOT_FOUND
+[END_MACRO]
+
+[MACRO] ERROR_REF_IS_NONE %out_bool, %error_ref
+    EXPAND ERROR_REF_CODE_EQ %out_bool, %error_ref, ERROR_CODE_NONE
+[END_MACRO]
+
+[MACRO] ERROR_REF_IS_OTHER %out_bool, %error_ref
+    EXPAND ERROR_REF_CODE_EQ %out_bool, %error_ref, ERROR_CODE_OTHER
+[END_MACRO]
+
+[MACRO] ERROR_REF_IS_UNSUPPORTED %out_bool, %error_ref
+    EXPAND ERROR_REF_CODE_EQ %out_bool, %error_ref, ERROR_CODE_UNSUPPORTED
+[END_MACRO]
+
+[MACRO] ERROR_REF_IS_UNEXPECTED_EOF %out_bool, %error_ref
+    EXPAND ERROR_REF_CODE_EQ %out_bool, %error_ref, ERROR_CODE_UNEXPECTED_EOF
+[END_MACRO]
+
+[MACRO] ERROR_REF_IS_PERMISSION_DENIED %out_bool, %error_ref
+    EXPAND ERROR_REF_CODE_EQ %out_bool, %error_ref, ERROR_CODE_PERMISSION_DENIED
+[END_MACRO]
+
+[MACRO] ERROR_REF_IS_INVALID_INPUT %out_bool, %error_ref
+    EXPAND ERROR_REF_CODE_EQ %out_bool, %error_ref, ERROR_CODE_INVALID_INPUT
+[END_MACRO]
+
+[MACRO] ERROR_REF_IS_INVALID_DATA %out_bool, %error_ref
+    EXPAND ERROR_REF_CODE_EQ %out_bool, %error_ref, ERROR_CODE_INVALID_DATA
+[END_MACRO]
+
+[MACRO] ERROR_REF_IS_TIMED_OUT %out_bool, %error_ref
+    EXPAND ERROR_REF_CODE_EQ %out_bool, %error_ref, ERROR_CODE_TIMED_OUT
+[END_MACRO]
+
+[MACRO] ERROR_REF_IS_INTERRUPTED %out_bool, %error_ref
+    EXPAND ERROR_REF_CODE_EQ %out_bool, %error_ref, ERROR_CODE_INTERRUPTED
+[END_MACRO]
+
+[MACRO] ERROR_REF_IS_CONNECTION_REFUSED %out_bool, %error_ref
+    EXPAND ERROR_REF_CODE_EQ %out_bool, %error_ref, ERROR_CODE_CONNECTION_REFUSED
+[END_MACRO]
+
+[MACRO] ERROR_REF_IS_CONNECTION_RESET %out_bool, %error_ref
+    EXPAND ERROR_REF_CODE_EQ %out_bool, %error_ref, ERROR_CODE_CONNECTION_RESET
+[END_MACRO]
+
+[MACRO] ERROR_REF_IS_CONNECTION_ABORTED %out_bool, %error_ref
+    EXPAND ERROR_REF_CODE_EQ %out_bool, %error_ref, ERROR_CODE_CONNECTION_ABORTED
+[END_MACRO]
+
+[MACRO] ERROR_REF_IS_NOT_CONNECTED %out_bool, %error_ref
+    EXPAND ERROR_REF_CODE_EQ %out_bool, %error_ref, ERROR_CODE_NOT_CONNECTED
+[END_MACRO]
+
+[MACRO] ERROR_REF_IS_ADDR_IN_USE %out_bool, %error_ref
+    EXPAND ERROR_REF_CODE_EQ %out_bool, %error_ref, ERROR_CODE_ADDR_IN_USE
+[END_MACRO]
+
+[MACRO] ERROR_REF_IS_ADDR_NOT_AVAILABLE %out_bool, %error_ref
+    EXPAND ERROR_REF_CODE_EQ %out_bool, %error_ref, ERROR_CODE_ADDR_NOT_AVAILABLE
+[END_MACRO]
+
+[MACRO] ERROR_REF_IS_BROKEN_PIPE %out_bool, %error_ref
+    EXPAND ERROR_REF_CODE_EQ %out_bool, %error_ref, ERROR_CODE_BROKEN_PIPE
+[END_MACRO]
+
+[MACRO] ERROR_REF_IS_ALREADY_EXISTS %out_bool, %error_ref
+    EXPAND ERROR_REF_CODE_EQ %out_bool, %error_ref, ERROR_CODE_ALREADY_EXISTS
+[END_MACRO]
+
+[MACRO] ERROR_REF_IS_OUT_OF_MEMORY %out_bool, %error_ref
+    EXPAND ERROR_REF_CODE_EQ %out_bool, %error_ref, ERROR_CODE_OUT_OF_MEMORY
+[END_MACRO]
+
+[MACRO] ERROR_REF_IS_NETWORK_UNREACHABLE %out_bool, %error_ref
+    EXPAND ERROR_REF_CODE_EQ %out_bool, %error_ref, ERROR_CODE_NETWORK_UNREACHABLE
+[END_MACRO]
+
+[MACRO] ERROR_REF_IS_HOST_UNREACHABLE %out_bool, %error_ref
+    EXPAND ERROR_REF_CODE_EQ %out_bool, %error_ref, ERROR_CODE_HOST_UNREACHABLE
+[END_MACRO]
+
+[MACRO] ERROR_REF_IS_IS_A_DIRECTORY %out_bool, %error_ref
+    EXPAND ERROR_REF_CODE_EQ %out_bool, %error_ref, ERROR_CODE_IS_A_DIRECTORY
+[END_MACRO]
+
+[MACRO] ERROR_REF_IS_DIRECTORY_NOT_EMPTY %out_bool, %error_ref
+    EXPAND ERROR_REF_CODE_EQ %out_bool, %error_ref, ERROR_CODE_DIRECTORY_NOT_EMPTY
+[END_MACRO]
+
+[MACRO] ERROR_REF_IS_READ_ONLY_FILESYSTEM %out_bool, %error_ref
+    EXPAND ERROR_REF_CODE_EQ %out_bool, %error_ref, ERROR_CODE_READ_ONLY_FILESYSTEM
+[END_MACRO]
+
+[MACRO] ERROR_REF_IS_RESOURCE_BUSY %out_bool, %error_ref
+    EXPAND ERROR_REF_CODE_EQ %out_bool, %error_ref, ERROR_CODE_RESOURCE_BUSY
+[END_MACRO]
+
+[MACRO] ERROR_REF_IS_ARGUMENT_LIST_TOO_LONG %out_bool, %error_ref
+    EXPAND ERROR_REF_CODE_EQ %out_bool, %error_ref, ERROR_CODE_ARGUMENT_LIST_TOO_LONG
+[END_MACRO]
+
+[MACRO] ERROR_REF_IS_NAME_TOO_LONG %out_bool, %error_ref
+    EXPAND ERROR_REF_CODE_EQ %out_bool, %error_ref, ERROR_CODE_NAME_TOO_LONG
+[END_MACRO]
+
+[MACRO] ERROR_REF_IS_TOO_MANY_LINKS %out_bool, %error_ref
+    EXPAND ERROR_REF_CODE_EQ %out_bool, %error_ref, ERROR_CODE_TOO_MANY_LINKS
+[END_MACRO]
+
+[MACRO] ERROR_REF_IS_STORAGE_FULL %out_bool, %error_ref
+    EXPAND ERROR_REF_CODE_EQ %out_bool, %error_ref, ERROR_CODE_STORAGE_FULL
+[END_MACRO]