nomen-lang 0.9.0 → 0.11.0

package/core/System/Controls/Spinner.nm

@@ -92,7 +92,7 @@ pub mv struct Spinner: Control {
 		```
 	}
 
-	pub func set_frame = (ref self, int x, int y, int width, int height) {
+	pub func set_frame = (ref self {}, int x, int y, int width, int height) {
 		```
 		#arch: c
 		#platform: macos
@@ -123,7 +123,7 @@ pub mv struct Spinner: Control {
 		```
 	}
 
-	pub func start = (ref self) {
+	pub func start = (ref self {}) {
 		```
 		#arch: c
 		#platform: macos
@@ -154,7 +154,7 @@ pub mv struct Spinner: Control {
 		```
 	}
 
-	pub func stop = (ref self) {
+	pub func stop = (ref self {}) {
 		```
 		#arch: c
 		#platform: macos

package/core/System/Controls/SplitView.nm

@@ -334,7 +334,7 @@ pub mv struct SplitView: Control {
 
 	// Move divider `index`. For a vertical split the position is the left
 	// edge of the pane after the divider, in points from the left.
-	pub func set_position = (ref self, float position, int divider) {
+	pub func set_position = (ref self {}, float position, int divider) {
 		```
 		#arch: c
 		#platform: macos
@@ -424,7 +424,7 @@ pub mv struct SplitView: Control {
 	}
 
 	// ── Control trait conformance ──
-	pub func set_frame = (ref self, int x, int y, int width, int height) {
+	pub func set_frame = (ref self {}, int x, int y, int width, int height) {
 		```
 		#arch: c
 		#platform: macos

package/core/System/Controls/Stepper.nm

@@ -87,7 +87,7 @@ pub mv struct Stepper: Control {
 		```
 	}
 
-	pub func set_frame = (ref self, int x, int y, int width, int height) {
+	pub func set_frame = (ref self {}, int x, int y, int width, int height) {
 		```
 		#arch: c
 		#platform: macos

package/core/System/Controls/Switch.nm

@@ -74,7 +74,7 @@ pub mv struct Switch: Control {
 		```
 	}
 
-	pub func set_frame = (ref self, int x, int y, int width, int height) {
+	pub func set_frame = (ref self {}, int x, int y, int width, int height) {
 		```
 		#arch: c
 		#platform: macos

package/core/System/Controls/Table.nm

@@ -744,7 +744,7 @@ pub mv struct Table: Control {
 	}
 
 	// ── Control trait conformance ──
-	pub func set_frame = (ref self, int x, int y, int width, int height) {
+	pub func set_frame = (ref self {}, int x, int y, int width, int height) {
 		```
 		#arch: c
 		#platform: macos

package/core/System/Controls/Tabs.nm

@@ -415,7 +415,7 @@ pub mv struct Tabs: Control {
 	}
 
 	// ── Control trait conformance ──
-	pub func set_frame = (ref self, int x, int y, int width, int height) {
+	pub func set_frame = (ref self {}, int x, int y, int width, int height) {
 		```
 		#arch: c
 		#platform: macos

package/core/System/Controls/Text.nm

@@ -249,7 +249,7 @@ pub mv struct Text: Control {
 		return s
 	}
 
-	pub func set_frame = (ref self, int x, int y, int width, int height) {
+	pub func set_frame = (ref self {}, int x, int y, int width, int height) {
 		```
 		#arch: c
 		#platform: macos

package/core/System/Controls/TextBox.nm

@@ -111,7 +111,7 @@ pub mv struct TextBox: Control {
 		```
 	}
 
-	pub func set_frame = (ref self, int x, int y, int width, int height) {
+	pub func set_frame = (ref self {}, int x, int y, int width, int height) {
 		```
 		#arch: c
 		#platform: macos

package/core/System/Controls/TextView.nm

@@ -116,7 +116,7 @@ pub mv struct TextView: Control {
 		```
 	}
 
-	pub func set_frame = (ref self, int x, int y, int width, int height) {
+	pub func set_frame = (ref self {}, int x, int y, int width, int height) {
 		```
 		#arch: c
 		#platform: macos

package/core/System/Controls/Toggle.nm

@@ -109,7 +109,7 @@ pub mv struct Toggle: Control {
 		```
 	}
 
-	pub func set_frame = (ref self, int x, int y, int width, int height) {
+	pub func set_frame = (ref self {}, int x, int y, int width, int height) {
 		```
 		#arch: c
 		#platform: macos

package/core/System/Controls/Toolbar.nm

@@ -456,7 +456,7 @@ pub mv struct Toolbar: Control {
 	// ── Control trait conformance ──
 	// A toolbar is window chrome: the layout engine never frames it (AppKit
 	// owns the layout rect and shrinks the contentView itself).
-	pub func set_frame = (ref self, int x, int y, int width, int height) {
+	pub func set_frame = (ref self {}, int x, int y, int width, int height) {
 		// No-op: the NSWindow carries the toolbar's geometry.
 	}
 

package/core/System/Controls/Window.nm

@@ -1190,7 +1190,7 @@ pub mv struct Window: Control {
 	// frame where the content rect changed. The grid must outlive the run
 	// (an app field — registration stores its address). Call from
 	// App.start; also arms the resize delegate's target pair.
-	pub func set_content = (ref self, ref Container grid) {
+	pub func set_content = (ref self {}, ref Container grid { aligns, cols, dirty, dirty_idx, gaps, grows, h_kinds, h_vals, handles, kinds, measured_count, mh, mw, pads, pars, prh, prw, prx, pry, rh, rw, rx, ry, shrinks, spans, w_kinds, w_vals }) {
 		```
 		#arch: c
 		#platform: macos
@@ -1307,6 +1307,12 @@ pub mv struct Window: Control {
 	// FORCED: it bypasses the close_requested interception (the delegate's
 	// windowShouldClose: sees nomen_close_forced and allows). Only the red
 	// button routes through `close_requested`.
+	//
+	// The forced latch is one-shot: it is armed immediately before
+	// performClose: (which dispatches windowShouldClose: synchronously) and
+	// disarmed right after. Left armed it is process-global — every LATER
+	// red-button close (another window, a later run loop) would silently
+	// bypass App.close_requested forever.
 	pub func close = (self) {
 		```
 		#arch: c
@@ -1314,6 +1320,7 @@ pub mv struct Window: Control {
 		extern int nomen_close_forced;
 		nomen_close_forced = 1;
 		((void(*)(id, SEL, id))objc_msgSend)((id)self->handle, sel_registerName("performClose:"), (id)0);
+		nomen_close_forced = 0;
 		```
 		```
 		#arch: aarch64_use_c
@@ -1321,6 +1328,7 @@ pub mv struct Window: Control {
 		extern int nomen_close_forced;
 		nomen_close_forced = 1;
 		((void(*)(id, SEL, id))objc_msgSend)((id)self->handle, sel_registerName("performClose:"), (id)0);
+		nomen_close_forced = 0;
 		```
 		```
 		#arch: c
@@ -1345,7 +1353,7 @@ pub mv struct Window: Control {
 	// a FrameEvents each frame.
 	// The app is consumed: it is destroyed when the loop exits (controls
 	// release, buffers free).
-	pub func run = (ref self, mv App app) {
+	pub func run = (ref self {}, mv App app) {
 		app.start(ref self)
 		Container.arm_resize_delegate(self)
 		self.arm_mouse_moves()
@@ -1432,7 +1440,7 @@ pub mv struct Window: Control {
 		return s
 	}
 
-	pub func set_frame = (ref self, int x, int y, int width, int height) {
+	pub func set_frame = (ref self {}, int x, int y, int width, int height) {
 		```
 		#arch: c
 		#platform: macos

package/core/System/Fiber.nm

@@ -71,9 +71,13 @@ pub mv struct Fiber<T> : Spawnable<T> {
 	// out of the instance (started; #destroy no-ops), return the handle.
 	// While the fiber waits, it parks and frees its worker instead of
 	// blocking it.
-	pub func start = (ref self, mv out Task<T>) {
+	pub func start = (ref self {}, mv out Task<T>) {
 		```
 		#arch: c
+		// Single-launch contract: a consumed construction (started) owns
+		// nothing — the handles below are zeroed, and writing the ref count
+		// through the null future would fault. Abort with the reason.
+		if (self->started) __nomen_spawn_double_start_abort();
 		struct nomen_future *_f = (struct nomen_future *)self->future;
 		_f->refs = self->nursery_futures ? 3 : 2;
 		__nomen_fiber_spawn((struct nomen_closure *)self->task, _f);
@@ -83,7 +87,12 @@ pub mv struct Fiber<T> : Spawnable<T> {
 		```
 		```
 		#arch: aarch64
-		// x19 = self. f = self->future (#32); nursery_futures at #48.
+		// x19 = self. started at #40; f = self->future (#32); nursery_futures
+		// at #48. Single-launch contract first: a consumed construction has
+		// zeroed handles, and the ref-store below would write through null.
+		ldrb w9, [x19, #40]
+		cbnz w9, .Lnomen_fstart_double
+		// f = self->future (#32); nursery_futures at #48.
 		ldr x0, [x19, #32]
 		ldr x1, [x19, #48]
 		mov w2, #2
@@ -103,6 +112,10 @@ pub mv struct Fiber<T> : Spawnable<T> {
 		ldr x3, [x19, #32]
 		bl ___nomen_nursery_track
 		.Lnomen_fstart_notrack:
+		b .Lnomen_fstart_done
+		.Lnomen_fstart_double:
+		bl ___nomen_spawn_double_start_abort
+		.Lnomen_fstart_done:
 		```
 		var t = Task<T>()
 		t.result_slot = self.result_slot
@@ -122,7 +135,7 @@ pub mv struct Fiber<T> : Spawnable<T> {
 	// The fiber is launched exactly like start, but the handle is dropped
 	// immediately: the future's refs are released as the discarded Task is
 	// reclaimed, and the fiber completes into the void — nothing joins it.
-	pub func detach = (ref self) {
+	pub func detach = (ref self {}) {
 		self.start()
 	}