feat: Add new select statement compliance tests

Signed-off-by: Christian Stewart <christian@aperture.us>

Author: paralin

builtin/builtin.ts

@@ -408,7 +408,7 @@ export interface SelectCase<T> {
     channel: Channel<any>;
     value?: any; // Value to send for send cases
     // Optional handlers for when this case is selected
-    onSelected?: (result: SelectResult<T>) => void | Promise<void>;
+    onSelected?: (result: SelectResult<T>) => Promise<void>;
 }
 
 
@@ -423,7 +423,7 @@ export interface SelectCase<T> {
 export async function selectStatement<T>(
     cases: SelectCase<T>[],
     hasDefault: boolean = false
-): Promise<void> { // Changed return type to void as onSelected handles the case body
+): Promise<void> {
     if (cases.length === 0 && !hasDefault) {
          // Go spec: If there are no cases, the select statement blocks forever.
          // Emulate blocking forever with a promise that never resolves.

compliance/tests/select_receive_on_closed_channel_no_default/expected.log

@@ -0,0 +1 @@
+Received zero value with ok==false: 0

compliance/tests/select_receive_on_closed_channel_no_default/select_receive_on_closed_channel_no_default.go

@@ -0,0 +1,15 @@
+package main
+
+func main() {
+	ch := make(chan int) // Unbuffered
+	close(ch)
+
+	select {
+	case val, ok := <-ch:
+		if ok {
+			println("Received value with ok==true:", val) // Should not be reached
+		} else {
+			println("Received zero value with ok==false:", val) // Should be reached
+		}
+	}
+}

compliance/tests/select_receive_on_closed_channel_no_default/select_receive_on_closed_channel_no_default.gs.ts

@@ -0,0 +1,31 @@
+// Generated file based on select_receive_on_closed_channel_no_default.go
+// Updated when compliance tests are re-run, DO NOT EDIT!
+
+import * as goscript from "@go/builtin";
+
+export async function main(): Promise<void> {
+	let ch = goscript.makeChannel<number>(0, 0) // Unbuffered
+	ch.close()
+	
+	// Should not be reached
+	
+	// Should be reached
+	const _tempVar1: goscript.SelectCase<any>[] = []
+	_tempVar1.push({
+		id: 0,
+		isSend: false,
+		channel: ch,
+		onSelected: async (result) => {
+			const val = result.value
+			const ok = result.ok
+			if (ok) {
+				console.log("Received value with ok==true:", val) // Should not be reached
+			} else {
+				console.log("Received zero value with ok==false:", val) // Should be reached
+			}
+		}
+	}),
+	
+	await goscript.selectStatement(_tempVar1, false)
+}
+

compliance/tests/select_send_on_full_buffered_channel_with_default/expected.log

@@ -0,0 +1 @@
+Default case hit

compliance/tests/select_send_on_full_buffered_channel_with_default/select_send_on_full_buffered_channel_with_default.go

@@ -0,0 +1,13 @@
+package main
+
+func main() {
+	ch := make(chan int, 1)
+	ch <- 1 // Fill the buffer
+
+	select {
+	case ch <- 2:
+		println("Sent value") // Should not be reached
+	default:
+		println("Default case hit") // Should be reached
+	}
+}

compliance/tests/select_send_on_full_buffered_channel_with_default/select_send_on_full_buffered_channel_with_default.gs.ts

@@ -0,0 +1,35 @@
+// Generated file based on select_send_on_full_buffered_channel_with_default.go
+// Updated when compliance tests are re-run, DO NOT EDIT!
+
+import * as goscript from "@go/builtin";
+
+export async function main(): Promise<void> {
+	let ch = goscript.makeChannel<number>(1, 0)
+	await ch.send(1)
+	
+	// Should not be reached
+	
+	// Should be reached
+	const _tempVar1: goscript.SelectCase<any>[] = []
+	_tempVar1.push({
+		id: 0,
+		isSend: true,
+		channel: ch,
+		value: 2,
+		onSelected: async (result) => {
+			console.log("Sent value")
+		}
+	}),
+	
+	_tempVar1.push({
+		id: -1,
+		isSend: false,
+		channel: null,
+		onSelected: async (result) => {
+			console.log("Default case hit")
+		}
+	}),
+	
+	await goscript.selectStatement(_tempVar1, true)
+}
+