From 1d8d008192cb1be790422a5f2ce8c5c10213f4d8 Mon Sep 17 00:00:00 2001
From: Marco Sampellegrini <babbonatale@alpacaaa.net>
Date: Mon, 11 Sep 2023 16:05:19 +0200
Subject: [PATCH] Update examples.

---
 compiler/src/codegen.rs |  5 ++++
 playground/examples.md  | 58 +++++++++++++++++++++++++++++++----------
 2 files changed, 49 insertions(+), 14 deletions(-)

diff --git a/compiler/src/codegen.rs b/compiler/src/codegen.rs
index 2711250..976116d 100644
--- a/compiler/src/codegen.rs
+++ b/compiler/src/codegen.rs
@@ -1526,6 +1526,11 @@ if {is_matching} != 2 {{
                         inner.emit(format!("case {ident} := {new_expr}:",));
                     }
 
+                    Pat::Wild { .. } => {
+                        let new_expr = self.emit_select_case(&expr, &mut out);
+                        inner.emit(format!("case {new_expr}:",));
+                    }
+
                     _ => unreachable!(),
                 },
 
diff --git a/playground/examples.md b/playground/examples.md
index 9539165..494ad47 100644
--- a/playground/examples.md
+++ b/playground/examples.md
@@ -827,11 +827,25 @@ fn main() {
 
 ## Select statements
 
-There's no first class support for `select {}` statements yet. still use them
-with a bit of a hacky workaround.
+`select {}` works like in Go, however the syntax is slightly different.
 
-You can get around this by using `rawgo` which lets you embed raw Go code.
-First-class support for `select` statements will be available soon.
+```
+Reading from a channel
+
+Go:    case x := <- ch
+Borgo: let x = ch.Recv() 
+
+
+Sending to a channel
+
+Go:    case ch <- x
+Borgo: ch.Send(x) 
+
+Default case
+
+Go:    default
+Borgo: _
+```
 
 ```rust
 use fmt
@@ -841,22 +855,38 @@ fn main() {
     let (tx1, rx1) = Channel.new()
     let (tx2, rx2) = Channel.new()
 
+    // dummy done channel
+    let (_, done) = Channel.new()
+
     spawn (|| {
         tx1.Send("a")
     })()
 
     spawn (|| {
-        time.Sleep(2 * time.Second)
-        tx2.Send("b")
+        loop {
+            select {
+                // in Go:
+                //   case tx2 <- "b":
+                tx2.Send("b") => {
+                    fmt.Println("sending b")
+                    time.Sleep(1 * time.Second)
+                }
+
+                let _ = done.Recv() => return
+            }
+        }
     })()
 
-    @rawgo (
-        \\ select {
-        \\   case a := <-rx1:
-        \\     fmt.Println("got", a)
-        \\   case b := <-rx2:
-        \\     fmt.Println("got", b)
-        \\ }
-    )
+    select {
+        // in Go:
+        //   case a := <- rx1:
+        let a = rx1.Recv() => {
+            fmt.Println("got", a)
+        },
+
+        let b = rx2.Recv() => {
+            fmt.Println("got", b)
+        },
+    }
 }
 ```