@shd101wyy/yo 0.1.25 → 0.1.27

package/std/libc/stdatomic.yo

@@ -1,212 +1,241 @@
 //! C11 `<stdatomic.h>` — atomic operations and types.
-
-c_include "<stdatomic.h>",  
+c_include(
+  "<stdatomic.h>",
   // Atomic types
-  atomic_bool: Type,
-  atomic_char: Type,
-  atomic_schar: Type,
-  atomic_uchar: Type,
-  atomic_short: Type,
-  atomic_ushort: Type,
-  atomic_int: Type,
-  atomic_uint: Type,
-  atomic_long: Type,
-  atomic_ulong: Type,
-  atomic_llong: Type,
-  atomic_ullong: Type,
-  atomic_char16_t: Type,
-  atomic_char32_t: Type,
-  atomic_wchar_t: Type,
-  atomic_int_least8_t: Type,
-  atomic_uint_least8_t: Type,
-  atomic_int_least16_t: Type,
-  atomic_uint_least16_t: Type,
-  atomic_int_least32_t: Type,
-  atomic_uint_least32_t: Type,
-  atomic_int_least64_t: Type,
-  atomic_uint_least64_t: Type,
-  atomic_int_fast8_t: Type,
-  atomic_uint_fast8_t: Type,
-  atomic_int_fast16_t: Type,
-  atomic_uint_fast16_t: Type,
-  atomic_int_fast32_t: Type,
-  atomic_uint_fast32_t: Type,
-  atomic_int_fast64_t: Type,
-  atomic_uint_fast64_t: Type,
-  atomic_intptr_t: Type,
-  atomic_uintptr_t: Type,
-  atomic_size_t: Type,
-  atomic_ptrdiff_t: Type,
-  atomic_intmax_t: Type,
-  atomic_uintmax_t: Type,
-
+  atomic_bool : Type,
+  atomic_char : Type,
+  atomic_schar : Type,
+  atomic_uchar : Type,
+  atomic_short : Type,
+  atomic_ushort : Type,
+  atomic_int : Type,
+  atomic_uint : Type,
+  atomic_long : Type,
+  atomic_ulong : Type,
+  atomic_llong : Type,
+  atomic_ullong : Type,
+  atomic_char16_t : Type,
+  atomic_char32_t : Type,
+  atomic_wchar_t : Type,
+  atomic_int_least8_t : Type,
+  atomic_uint_least8_t : Type,
+  atomic_int_least16_t : Type,
+  atomic_uint_least16_t : Type,
+  atomic_int_least32_t : Type,
+  atomic_uint_least32_t : Type,
+  atomic_int_least64_t : Type,
+  atomic_uint_least64_t : Type,
+  atomic_int_fast8_t : Type,
+  atomic_uint_fast8_t : Type,
+  atomic_int_fast16_t : Type,
+  atomic_uint_fast16_t : Type,
+  atomic_int_fast32_t : Type,
+  atomic_uint_fast32_t : Type,
+  atomic_int_fast64_t : Type,
+  atomic_uint_fast64_t : Type,
+  atomic_intptr_t : Type,
+  atomic_uintptr_t : Type,
+  atomic_size_t : Type,
+  atomic_ptrdiff_t : Type,
+  atomic_intmax_t : Type,
+  atomic_uintmax_t : Type,
   // Memory order enumeration
-  memory_order: Type,
-  memory_order_relaxed: memory_order,
-  memory_order_consume: memory_order,
-  memory_order_acquire: memory_order,
-  memory_order_release: memory_order,
-  memory_order_acq_rel: memory_order,
-  memory_order_seq_cst: memory_order,
-
+  memory_order : Type,
+  memory_order_relaxed : memory_order,
+  memory_order_consume : memory_order,
+  memory_order_acquire : memory_order,
+  memory_order_release : memory_order,
+  memory_order_acq_rel : memory_order,
+  memory_order_seq_cst : memory_order,
   // Atomic flag type
-  atomic_flag: Type,
-  ATOMIC_FLAG_INIT: atomic_flag,
-
+  atomic_flag : Type,
+  ATOMIC_FLAG_INIT : atomic_flag,
   // Generic atomic operations
-  atomic_init: 
-    fn(obj: *(atomic_bool), value: bool) -> unit,
-  atomic_load: 
-    fn(obj: *(atomic_bool)) -> bool,
-  atomic_load_explicit: 
-    fn(obj: *(atomic_bool), order: memory_order) -> bool,
-  atomic_store: 
-    fn(obj: *(atomic_bool), desired: bool) -> unit,
-  atomic_store_explicit: 
-    fn(obj: *(atomic_bool), desired: bool, order: memory_order) -> unit,
-  atomic_exchange: 
-    fn(obj: *(atomic_bool), desired: bool) -> bool,
-  atomic_exchange_explicit: 
-    fn(obj: *(atomic_bool), desired: bool, order: memory_order) -> bool,
-  atomic_compare_exchange_strong: 
-    fn(obj: *(atomic_bool), expected: *(bool), desired: bool) -> bool,
-  atomic_compare_exchange_strong_explicit: 
-    fn(obj: *(atomic_bool), expected: *(bool), desired: bool, success: memory_order, failure: memory_order) -> bool,
-  atomic_compare_exchange_weak: 
-    fn(obj: *(atomic_bool), expected: *(bool), desired: bool) -> bool,
-  atomic_compare_exchange_weak_explicit: 
-    fn(obj: *(atomic_bool), expected: *(bool), desired: bool, success: memory_order, failure: memory_order) -> bool,
-
+  atomic_init :
+    fn(obj : *(atomic_bool), value : bool) -> unit,
+  atomic_load :
+    fn(obj : *(atomic_bool)) -> bool,
+  atomic_load_explicit :
+    fn(obj : *(atomic_bool), order : memory_order) -> bool,
+  atomic_store :
+    fn(obj : *(atomic_bool), desired : bool) -> unit,
+  atomic_store_explicit :
+    fn(obj : *(atomic_bool), desired : bool, order : memory_order) -> unit,
+  atomic_exchange :
+    fn(obj : *(atomic_bool), desired : bool) -> bool,
+  atomic_exchange_explicit :
+    fn(obj : *(atomic_bool), desired : bool, order : memory_order) -> bool,
+  atomic_compare_exchange_strong :
+    fn(obj : *(atomic_bool), expected : *(bool), desired : bool) -> bool,
+  atomic_compare_exchange_strong_explicit :
+    fn(obj : *(atomic_bool), expected : *(bool), desired : bool, success : memory_order, failure : memory_order) -> bool,
+  atomic_compare_exchange_weak :
+    fn(obj : *(atomic_bool), expected : *(bool), desired : bool) -> bool,
+  atomic_compare_exchange_weak_explicit :
+    fn(obj : *(atomic_bool), expected : *(bool), desired : bool, success : memory_order, failure : memory_order) -> bool,
   // Integer atomic operations
-  atomic_fetch_add: 
-    fn(obj: *(atomic_int), arg: int) -> int,
-  atomic_fetch_add_explicit: 
-    fn(obj: *(atomic_int), arg: int, order: memory_order) -> int,
-  atomic_fetch_sub: 
-    fn(obj: *(atomic_int), arg: int) -> int,
-  atomic_fetch_sub_explicit: 
-    fn(obj: *(atomic_int), arg: int, order: memory_order) -> int,
-  atomic_fetch_or: 
-    fn(obj: *(atomic_int), arg: int) -> int,
-  atomic_fetch_or_explicit: 
-    fn(obj: *(atomic_int), arg: int, order: memory_order) -> int,
-  atomic_fetch_xor: 
-    fn(obj: *(atomic_int), arg: int) -> int,
-  atomic_fetch_xor_explicit: 
-    fn(obj: *(atomic_int), arg: int, order: memory_order) -> int,
-  atomic_fetch_and: 
-    fn(obj: *(atomic_int), arg: int) -> int,
-  atomic_fetch_and_explicit: 
-    fn(obj: *(atomic_int), arg: int, order: memory_order) -> int,
-
+  atomic_fetch_add :
+    fn(obj : *(atomic_int), arg : int) -> int,
+  atomic_fetch_add_explicit :
+    fn(obj : *(atomic_int), arg : int, order : memory_order) -> int,
+  atomic_fetch_sub :
+    fn(obj : *(atomic_int), arg : int) -> int,
+  atomic_fetch_sub_explicit :
+    fn(obj : *(atomic_int), arg : int, order : memory_order) -> int,
+  atomic_fetch_or :
+    fn(obj : *(atomic_int), arg : int) -> int,
+  atomic_fetch_or_explicit :
+    fn(obj : *(atomic_int), arg : int, order : memory_order) -> int,
+  atomic_fetch_xor :
+    fn(obj : *(atomic_int), arg : int) -> int,
+  atomic_fetch_xor_explicit :
+    fn(obj : *(atomic_int), arg : int, order : memory_order) -> int,
+  atomic_fetch_and :
+    fn(obj : *(atomic_int), arg : int) -> int,
+  atomic_fetch_and_explicit :
+    fn(obj : *(atomic_int), arg : int, order : memory_order) -> int,
   // Pointer atomic operations
-  atomic_load_ptr: 
-    fn(obj: *(*(void))) -> *(void),
-  atomic_store_ptr: 
-    fn(obj: *(*(void)), desired: *(void)) -> unit,
-  atomic_exchange_ptr: 
-    fn(obj: *(*(void)), desired: *(void)) -> *(void),
-  atomic_compare_exchange_strong_ptr: 
-    fn(obj: *(*(void)), expected: *(*(void)), desired: *(void)) -> bool,
-  atomic_compare_exchange_weak_ptr: 
-    fn(obj: *(*(void)), expected: *(*(void)), desired: *(void)) -> bool,
-
+  atomic_load_ptr :
+    fn(obj : *(*(void))) -> *(void),
+  atomic_store_ptr :
+    fn(obj : *(*(void)), desired : *(void)) -> unit,
+  atomic_exchange_ptr :
+    fn(obj : *(*(void)), desired : *(void)) -> *(void),
+  atomic_compare_exchange_strong_ptr :
+    fn(obj : *(*(void)), expected : *(*(void)), desired : *(void)) -> bool,
+  atomic_compare_exchange_weak_ptr :
+    fn(obj : *(*(void)), expected : *(*(void)), desired : *(void)) -> bool,
   // Atomic flag operations
-  atomic_flag_test_and_set: 
-    fn(obj: *(atomic_flag)) -> bool,
-  atomic_flag_test_and_set_explicit: 
-    fn(obj: *(atomic_flag), order: memory_order) -> bool,
-  atomic_flag_clear: 
-    fn(obj: *(atomic_flag)) -> unit,
-  atomic_flag_clear_explicit: 
-    fn(obj: *(atomic_flag), order: memory_order) -> unit,
-
+  atomic_flag_test_and_set :
+    fn(obj : *(atomic_flag)) -> bool,
+  atomic_flag_test_and_set_explicit :
+    fn(obj : *(atomic_flag), order : memory_order) -> bool,
+  atomic_flag_clear :
+    fn(obj : *(atomic_flag)) -> unit,
+  atomic_flag_clear_explicit :
+    fn(obj : *(atomic_flag), order : memory_order) -> unit,
   // Memory fences
-  atomic_thread_fence: 
-    fn(order: memory_order) -> unit,
-  atomic_signal_fence: 
-    fn(order: memory_order) -> unit,
-
+  atomic_thread_fence :
+    fn(order : memory_order) -> unit,
+  atomic_signal_fence :
+    fn(order : memory_order) -> unit,
   // Lock-free property query
-  atomic_is_lock_free: 
-    fn(obj: *(atomic_bool)) -> bool,
-
+  atomic_is_lock_free :
+    fn(obj : *(atomic_bool)) -> bool,
   // Kill dependency
-  kill_dependency: 
-    fn(y: i32) -> i32,
-
+  kill_dependency :
+    fn(y : i32) -> i32,
   // Lock-free constants
-  ATOMIC_BOOL_LOCK_FREE: i32,
-  ATOMIC_CHAR_LOCK_FREE: i32,
-  ATOMIC_CHAR16_T_LOCK_FREE: i32,
-  ATOMIC_CHAR32_T_LOCK_FREE: i32,
-  ATOMIC_WCHAR_T_LOCK_FREE: i32,
-  ATOMIC_SHORT_LOCK_FREE: i32,
-  ATOMIC_INT_LOCK_FREE: i32,
-  ATOMIC_LONG_LOCK_FREE: i32,
-  ATOMIC_LLONG_LOCK_FREE: i32,
-  ATOMIC_POINTER_LOCK_FREE: i32;
-
-export
+  ATOMIC_BOOL_LOCK_FREE : i32,
+  ATOMIC_CHAR_LOCK_FREE : i32,
+  ATOMIC_CHAR16_T_LOCK_FREE : i32,
+  ATOMIC_CHAR32_T_LOCK_FREE : i32,
+  ATOMIC_WCHAR_T_LOCK_FREE : i32,
+  ATOMIC_SHORT_LOCK_FREE : i32,
+  ATOMIC_INT_LOCK_FREE : i32,
+  ATOMIC_LONG_LOCK_FREE : i32,
+  ATOMIC_LLONG_LOCK_FREE : i32,
+  ATOMIC_POINTER_LOCK_FREE : i32
+);
+export(
   // Atomic types
-  atomic_bool, atomic_char, atomic_schar, atomic_uchar,
-  atomic_short, atomic_ushort, atomic_int, atomic_uint,
-  atomic_long, atomic_ulong, atomic_llong, atomic_ullong,
-  atomic_char16_t, atomic_char32_t, atomic_wchar_t,
-  atomic_int_least8_t, atomic_uint_least8_t,
-  atomic_int_least16_t, atomic_uint_least16_t,
-  atomic_int_least32_t, atomic_uint_least32_t,
-  atomic_int_least64_t, atomic_uint_least64_t,
-  atomic_int_fast8_t, atomic_uint_fast8_t,
-  atomic_int_fast16_t, atomic_uint_fast16_t,
-  atomic_int_fast32_t, atomic_uint_fast32_t,
-  atomic_int_fast64_t, atomic_uint_fast64_t,
-  atomic_intptr_t, atomic_uintptr_t,
-  atomic_size_t, atomic_ptrdiff_t,
-  atomic_intmax_t, atomic_uintmax_t,
-  
+  atomic_bool,
+  atomic_char,
+  atomic_schar,
+  atomic_uchar,
+  atomic_short,
+  atomic_ushort,
+  atomic_int,
+  atomic_uint,
+  atomic_long,
+  atomic_ulong,
+  atomic_llong,
+  atomic_ullong,
+  atomic_char16_t,
+  atomic_char32_t,
+  atomic_wchar_t,
+  atomic_int_least8_t,
+  atomic_uint_least8_t,
+  atomic_int_least16_t,
+  atomic_uint_least16_t,
+  atomic_int_least32_t,
+  atomic_uint_least32_t,
+  atomic_int_least64_t,
+  atomic_uint_least64_t,
+  atomic_int_fast8_t,
+  atomic_uint_fast8_t,
+  atomic_int_fast16_t,
+  atomic_uint_fast16_t,
+  atomic_int_fast32_t,
+  atomic_uint_fast32_t,
+  atomic_int_fast64_t,
+  atomic_uint_fast64_t,
+  atomic_intptr_t,
+  atomic_uintptr_t,
+  atomic_size_t,
+  atomic_ptrdiff_t,
+  atomic_intmax_t,
+  atomic_uintmax_t,
   // Memory order and flag types
-  memory_order, atomic_flag,
-  
+  memory_order,
+  atomic_flag,
   // Memory order constants
-  memory_order_relaxed, memory_order_consume,
-  memory_order_acquire, memory_order_release,
-  memory_order_acq_rel, memory_order_seq_cst,
-  
+  memory_order_relaxed,
+  memory_order_consume,
+  memory_order_acquire,
+  memory_order_release,
+  memory_order_acq_rel,
+  memory_order_seq_cst,
   // Generic atomic operations
-  atomic_init, atomic_load, atomic_load_explicit,
-  atomic_store, atomic_store_explicit,
-  atomic_exchange, atomic_exchange_explicit,
-  atomic_compare_exchange_strong, atomic_compare_exchange_strong_explicit,
-  atomic_compare_exchange_weak, atomic_compare_exchange_weak_explicit,
-  
+  atomic_init,
+  atomic_load,
+  atomic_load_explicit,
+  atomic_store,
+  atomic_store_explicit,
+  atomic_exchange,
+  atomic_exchange_explicit,
+  atomic_compare_exchange_strong,
+  atomic_compare_exchange_strong_explicit,
+  atomic_compare_exchange_weak,
+  atomic_compare_exchange_weak_explicit,
   // Integer atomic operations
-  atomic_fetch_add, atomic_fetch_add_explicit,
-  atomic_fetch_sub, atomic_fetch_sub_explicit,
-  atomic_fetch_or, atomic_fetch_or_explicit,
-  atomic_fetch_xor, atomic_fetch_xor_explicit,
-  atomic_fetch_and, atomic_fetch_and_explicit,
-  
+  atomic_fetch_add,
+  atomic_fetch_add_explicit,
+  atomic_fetch_sub,
+  atomic_fetch_sub_explicit,
+  atomic_fetch_or,
+  atomic_fetch_or_explicit,
+  atomic_fetch_xor,
+  atomic_fetch_xor_explicit,
+  atomic_fetch_and,
+  atomic_fetch_and_explicit,
   // Pointer atomic operations
-  atomic_load_ptr, atomic_store_ptr, atomic_exchange_ptr,
-  atomic_compare_exchange_strong_ptr, atomic_compare_exchange_weak_ptr,
-  
+  atomic_load_ptr,
+  atomic_store_ptr,
+  atomic_exchange_ptr,
+  atomic_compare_exchange_strong_ptr,
+  atomic_compare_exchange_weak_ptr,
   // Atomic flag operations
-  atomic_flag_test_and_set, atomic_flag_test_and_set_explicit,
-  atomic_flag_clear, atomic_flag_clear_explicit,
-  
+  atomic_flag_test_and_set,
+  atomic_flag_test_and_set_explicit,
+  atomic_flag_clear,
+  atomic_flag_clear_explicit,
   // Memory fences
-  atomic_thread_fence, atomic_signal_fence,
-  
+  atomic_thread_fence,
+  atomic_signal_fence,
   // Lock-free property
   atomic_is_lock_free,
-  
   // Lock-free constants
-  ATOMIC_BOOL_LOCK_FREE, ATOMIC_CHAR_LOCK_FREE,
-  ATOMIC_CHAR16_T_LOCK_FREE, ATOMIC_CHAR32_T_LOCK_FREE,
-  ATOMIC_WCHAR_T_LOCK_FREE, ATOMIC_SHORT_LOCK_FREE,
-  ATOMIC_INT_LOCK_FREE, ATOMIC_LONG_LOCK_FREE,
-  ATOMIC_LLONG_LOCK_FREE, ATOMIC_POINTER_LOCK_FREE,
-  
+  ATOMIC_BOOL_LOCK_FREE,
+  ATOMIC_CHAR_LOCK_FREE,
+  ATOMIC_CHAR16_T_LOCK_FREE,
+  ATOMIC_CHAR32_T_LOCK_FREE,
+  ATOMIC_WCHAR_T_LOCK_FREE,
+  ATOMIC_SHORT_LOCK_FREE,
+  ATOMIC_INT_LOCK_FREE,
+  ATOMIC_LONG_LOCK_FREE,
+  ATOMIC_LLONG_LOCK_FREE,
+  ATOMIC_POINTER_LOCK_FREE,
   // Kill dependency
-  kill_dependency;
+  kill_dependency
+);

package/std/libc/stdint.yo

@@ -2,7 +2,6 @@
 //!
 //! Note: Yo already has `i8`, `i16`, `i32`, `i64`, `u8`, `u16`, `u32`, `u64`.
 //! This file provides C-compatible aliases and additional types/constants.
-
 // Type aliases for C compatibility (mapping Yo types to C stdint names)
 int8_t :: i8;
 int16_t :: i16;
@@ -12,11 +11,10 @@ uint8_t :: u8;
 uint16_t :: u16;
 uint32_t :: u32;
 uint64_t :: u64;
-
-c_include "<stdint.h>",
+c_include(
+  "<stdint.h>",
   // Additional types needed for some limits
   wint_t : Type,
-
   // Least-width integer types (at least N bits)
   int_least8_t : Type,
   int_least16_t : Type,
@@ -26,7 +24,6 @@ c_include "<stdint.h>",
   uint_least16_t : Type,
   uint_least32_t : Type,
   uint_least64_t : Type,
-
   // Fastest minimum-width integer types (fastest with at least N bits)
   int_fast8_t : Type,
   int_fast16_t : Type,
@@ -36,15 +33,12 @@ c_include "<stdint.h>",
   uint_fast16_t : Type,
   uint_fast32_t : Type,
   uint_fast64_t : Type,
-
   // Pointer-sized integers
   intptr_t : Type,
   uintptr_t : Type,
-
   // Maximum-width integer types
   intmax_t : Type,
   uintmax_t : Type,
-
   // Limits for exact-width integer types
   INT8_MIN : i8,
   INT8_MAX : i8,
@@ -58,7 +52,6 @@ c_include "<stdint.h>",
   UINT16_MAX : u16,
   UINT32_MAX : u32,
   UINT64_MAX : u64,
-
   // Limits for least-width integer types
   INT_LEAST8_MIN : int_least8_t,
   INT_LEAST8_MAX : int_least8_t,
@@ -72,7 +65,6 @@ c_include "<stdint.h>",
   UINT_LEAST16_MAX : uint_least16_t,
   UINT_LEAST32_MAX : uint_least32_t,
   UINT_LEAST64_MAX : uint_least64_t,
-
   // Limits for fastest minimum-width integer types
   INT_FAST8_MIN : int_fast8_t,
   INT_FAST8_MAX : int_fast8_t,
@@ -86,31 +78,26 @@ c_include "<stdint.h>",
   UINT_FAST16_MAX : uint_fast16_t,
   UINT_FAST32_MAX : uint_fast32_t,
   UINT_FAST64_MAX : uint_fast64_t,
-
   // Limits for pointer-sized integer types
   INTPTR_MIN : intptr_t,
   INTPTR_MAX : intptr_t,
   UINTPTR_MAX : uintptr_t,
-
   // Limits for maximum-width integer types
   INTMAX_MIN : intmax_t,
   INTMAX_MAX : intmax_t,
   UINTMAX_MAX : uintmax_t,
-
   // Limits for ptrdiff_t, size_t, and sig_atomic_t
   PTRDIFF_MIN : isize,
   PTRDIFF_MAX : isize,
   SIZE_MAX : usize,
   SIG_ATOMIC_MIN : int,
   SIG_ATOMIC_MAX : int,
-
   // Limits for wint_t (wide character input type)
   WINT_MIN : wint_t,
   WINT_MAX : wint_t
-;
-
+);
 // Export all stdint functionality
-export 
+export(
   // C-compatible type aliases
   int8_t,
   int16_t,
@@ -120,7 +107,6 @@ export
   uint16_t,
   uint32_t,
   uint64_t,
-
   // Least-width types
   int_least8_t,
   int_least16_t,
@@ -130,7 +116,6 @@ export
   uint_least16_t,
   uint_least32_t,
   uint_least64_t,
-
   // Fastest minimum-width types
   int_fast8_t,
   int_fast16_t,
@@ -140,15 +125,12 @@ export
   uint_fast16_t,
   uint_fast32_t,
   uint_fast64_t,
-
   // Pointer-sized types
   intptr_t,
   uintptr_t,
-
   // Maximum-width types
   intmax_t,
   uintmax_t,
-
   // Exact-width limits
   INT8_MIN,
   INT8_MAX,
@@ -162,7 +144,6 @@ export
   UINT16_MAX,
   UINT32_MAX,
   UINT64_MAX,
-
   // Least-width limits
   INT_LEAST8_MIN,
   INT_LEAST8_MAX,
@@ -176,7 +157,6 @@ export
   UINT_LEAST16_MAX,
   UINT_LEAST32_MAX,
   UINT_LEAST64_MAX,
-
   // Fastest minimum-width limits
   INT_FAST8_MIN,
   INT_FAST8_MAX,
@@ -190,17 +170,14 @@ export
   UINT_FAST16_MAX,
   UINT_FAST32_MAX,
   UINT_FAST64_MAX,
-
   // Pointer-sized limits
   INTPTR_MIN,
   INTPTR_MAX,
   UINTPTR_MAX,
-
   // Maximum-width limits
   INTMAX_MIN,
   INTMAX_MAX,
   UINTMAX_MAX,
-
   // Other limits
   PTRDIFF_MIN,
   PTRDIFF_MAX,
@@ -209,7 +186,6 @@ export
   SIG_ATOMIC_MAX,
   WINT_MIN,
   WINT_MAX,
-
   // Additional types
   wint_t
-;
+);