diff --git a/library/modules/build.sx b/library/modules/build.sx index 8d46107f..c2d1c02a 100644 --- a/library/modules/build.sx +++ b/library/modules/build.sx @@ -8,13 +8,18 @@ // (comptime-only, never emitted into the binary), and the build↔bundle import // cycle resolves like the std↔build one. #import "modules/platform/bundle.sx"; - -OperatingSystem :: enum { macos; linux; windows; wasm; ios; android; unknown; } -Architecture :: enum { aarch64; x86_64; wasm32; wasm64; unknown; } - -OS : OperatingSystem = .unknown; -ARCH : Architecture = .unknown; -POINTER_SIZE : i64 = 8; +// The target facts — OS / ARCH / POINTER_SIZE + the OperatingSystem / +// Architecture enums — live in a dependency-free module (std/target.sx) so +// low-level code can name the enum TYPES without the build/std baggage. +// build.sx imports it (flat) so those decls stay registered in the standard +// import graph (build.sx is reachable from std.sx — dropping the import would +// shift every std program's type table). This is NOT a re-export: flat import +// only splices the names into build.sx's own scope, never into build.sx's +// importers. Consumers need no import anyway — the compiler resolves OS / ARCH +// / POINTER_SIZE by name (comptime constants, for both `inline if` and value +// reads); a module that names OperatingSystem / Architecture imports +// std/target.sx directly. +#import "modules/std/target.sx"; // An opaque compile-time build-configuration handle. `build_options()` hands one // back; its real state lives on the compiler's threaded `BuildConfig`. The handle diff --git a/library/modules/std/target.sx b/library/modules/std/target.sx new file mode 100644 index 00000000..f7ec0541 --- /dev/null +++ b/library/modules/std/target.sx @@ -0,0 +1,23 @@ +// modules/std/target.sx — compiler-injected target facts. Dependency-free +// (imports NOTHING) so any low-level module can read the target enums/values +// without pulling the std barrel. +// +// The compiler sets OS / ARCH / POINTER_SIZE per build target (name-matched in +// src/imports.zig). NOTE: a top-level `inline if OS/ARCH/POINTER_SIZE` +// conditional is resolved by the compiler's flatten pre-pass and needs NO +// import at all (that is how std/net/epoll.sx selects its layout). Import this +// module only when you need the enum TYPE (`OperatingSystem` / `Architecture`) +// or a value in a non-`inline if` position. +// +// build.sx imports this (flat) so the decls stay registered in the standard +// import graph — NOT to re-export them (flat import doesn't propagate to a +// module's importers). Code that names the OperatingSystem / Architecture TYPE +// imports this module directly; OS / ARCH / POINTER_SIZE values and `inline if` +// conditions are resolved by the compiler by name and need no import. + +OperatingSystem :: enum { macos; linux; windows; wasm; ios; android; unknown; } +Architecture :: enum { aarch64; x86_64; wasm32; wasm64; unknown; } + +OS : OperatingSystem = .unknown; +ARCH : Architecture = .unknown; +POINTER_SIZE : i64 = 8;