Merge pull request #243 from roc-lang/examples-basic-cli-20

update to basic-cli 0.20.0 + improvements

Author: Anton-4

.github/workflows/tests_alpha.yml

@@ -0,0 +1,74 @@
+on:
+  pull_request:
+  workflow_dispatch:
+
+name: Test examples without nix using alpha release
+
+# this cancels workflows currently in progress if you start a new one
+concurrency:
+    group: ${{ github.workflow }}-${{ github.ref }}
+    cancel-in-progress: true
+
+# Do not add permissions here! Configure them at the job level!
+permissions: {}
+
+jobs:
+  test-examples:
+    runs-on: ${{ matrix.operating-system }}
+    strategy:
+      matrix:
+        operating-system: [ubuntu-22.04, ubuntu-24.04, ubuntu-24.04-arm, macos-13, macos-15]
+    timeout-minutes: 90
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Set OS-specific variables
+        id: vars
+        run: |
+          if [[ "${{ matrix.operating-system }}" =~ ^ubuntu- ]]; then
+            if [[ "${{ matrix.operating-system }}" =~ -arm$ ]]; then
+              echo "os_pattern=linux_arm64" >> $GITHUB_OUTPUT
+            else
+              echo "os_pattern=linux_x86_64" >> $GITHUB_OUTPUT
+            fi
+          elif [ "${{ matrix.operating-system }}" = "macos-13" ]; then
+            echo "os_pattern=macos_x86_64" >> $GITHUB_OUTPUT
+          else
+            echo "os_pattern=macos_apple_silicon" >> $GITHUB_OUTPUT
+          fi
+
+      - name: Download alpha release
+        run: |
+          curl -fOL https://github.com/roc-lang/roc/releases/download/alpha4-rolling/roc-${{ steps.vars.outputs.os_pattern }}-alpha4-rolling.tar.gz
+
+      - name: rename alpha tar
+        run: mv $(ls | grep "roc-.*tar\.gz") roc_alpha.tar.gz
+  
+      - name: decompress the tar
+        run: tar -xzf roc_alpha.tar.gz
+  
+      - run: rm roc_alpha.tar.gz
+
+      - name: simplify nightly folder name
+        run: mv roc_nightly* roc_alpha
+
+      - name: get short commit SHA
+        run: echo "SHORT_COMMIT_SHA=$(./roc_alpha/roc version | grep -oP 'commit \K[a-f0-9]+' )" >> $GITHUB_ENV
+
+      - name: Install dependencies (Ubuntu)
+        if: startsWith(matrix.operating-system, 'ubuntu-')
+        run: sudo apt install -y expect
+
+      - name: Install dependencies (macOS)
+        if: startsWith(matrix.operating-system, 'macos-')
+        run: |
+          brew install expect
+          brew install z3
+
+      - name: check if roc files are properly formatted
+        run: ROC=./roc_alpha/roc ./ci_scripts/check_format.sh
+
+      - run: ROC=./roc_alpha/roc ./ci_scripts/all_tests.sh
+
+      - name: Checks if every folder in examples is mentioned in ./examples/index.md
+        run: bash ./ci_scripts/check_index.sh

.github/workflows/tests.yml renamed to .github/workflows/tests_nightly.yml

@@ -17,7 +17,7 @@ jobs:
     runs-on: ${{ matrix.operating-system }}
     strategy:
       matrix:
-        operating-system: [ubuntu-22.04, ubuntu-24.04, ubuntu-24.04-arm, macos-13, macos-14]
+        operating-system: [ubuntu-22.04, ubuntu-24.04, ubuntu-24.04-arm, macos-13, macos-15]
     timeout-minutes: 90
     steps:
       - uses: actions/checkout@v4
@@ -37,13 +37,7 @@ jobs:
             echo "os_pattern=macos_apple_silicon" >> $GITHUB_OUTPUT
           fi
 
-      - id: try_fetching_testing_release
-        continue-on-error: true
-        run: |
-          curl -fOL https://github.com/roc-lang/roc/releases/download/nightly/roc_nightly-${{ steps.vars.outputs.os_pattern }}-TESTING.tar.gz
-
-      - name: There are no TESTING releases, checking regular releases instead
-        if: steps.try_fetching_testing_release.outcome == 'failure'
+      - name: Download latest nightly release
         run: |
           curl -fOL https://github.com/roc-lang/roc/releases/download/nightly/roc_nightly-${{ steps.vars.outputs.os_pattern }}-latest.tar.gz
 
@@ -71,18 +65,10 @@ jobs:
           brew install expect
           brew install z3
 
-      - name: print runner CPU (Ubuntu)
-        if: startsWith(matrix.operating-system, 'ubuntu-')
-        run: lscpu
-
-      - name: print runner CPU (macOS)
-        if: startsWith(matrix.operating-system, 'macos-')
-        run: sysctl -n machdep.cpu.brand_string
-
       - name: check if roc files are properly formatted
         run: ROC=./roc_nightly/roc ./ci_scripts/check_format.sh
 
       - run: ROC=./roc_nightly/roc ./ci_scripts/all_tests.sh
 
       - name: Checks if every folder in examples is mentioned in ./examples/index.md
-        run: bash ./ci_scripts/check_index.sh
+        run: bash ./ci_scripts/check_index.sh

.gitignore

@@ -6,7 +6,6 @@ main
 generate-build
 
 # example binaries
-examples/Arithmetic/main
 examples/IngestFiles/main
 examples/FizzBuzz/main
 examples/HelloWorld/main

ci_scripts/all_tests.sh

@@ -18,9 +18,6 @@ fi
 $ROC build ./examples/HelloWorld/main.roc
 expect ci_scripts/expect_scripts/HelloWorld.exp
 
-$ROC build ./examples/Arithmetic/main.roc
-expect ci_scripts/expect_scripts/Arithmetic.exp
-
 $ROC build ./examples/FizzBuzz/main.roc
 $ROC test ./examples/FizzBuzz/main.roc
 expect ci_scripts/expect_scripts/FizzBuzz.exp
@@ -48,27 +45,33 @@ expect ci_scripts/expect_scripts/RandomNumbers.exp
 $ROC build ./examples/CommandLineArgs/main.roc
 expect ci_scripts/expect_scripts/CommandLineArgs.exp
 
+$ROC build ./examples/Commands/main.roc
+expect ci_scripts/expect_scripts/Commands.exp
+
 $ROC build ./examples/CommandLineArgsFile/main.roc
 expect ci_scripts/expect_scripts/CommandLineArgsFile.exp
 
-$ROC build ./examples/DesugaringTry/main.roc
-$ROC test ./examples/DesugaringTry/main.roc
-expect ci_scripts/expect_scripts/DesugaringTry.exp
+$ROC build ./examples/TryOperatorDesugaring/main.roc
+$ROC test ./examples/TryOperatorDesugaring/main.roc
+expect ci_scripts/expect_scripts/TryOperatorDesugaring.exp
 
 $ROC build ./examples/Tuples/main.roc
 expect ci_scripts/expect_scripts/Tuples.exp
 
 $ROC test ./examples/TowersOfHanoi/Hanoi.roc
 
-$ROC build ./examples/Results/main.roc
-expect ci_scripts/expect_scripts/Results.exp
+$ROC test ./examples/ErrorHandlingBasic/ErrorHandlingBasic.roc
 
-$ROC build ./examples/ErrorHandling/main.roc
-expect ci_scripts/expect_scripts/ErrorHandling.exp
+$ROC build ./examples/ErrorHandlingRealWorld/main.roc
+expect ci_scripts/expect_scripts/ErrorHandlingRealWorld.exp
 
 $ROC build ./examples/LoopEffect/main.roc
 expect ci_scripts/expect_scripts/LoopEffect.exp
 
+$ROC build ./examples/Snake/main.roc
+$ROC test ./examples/Snake/main.roc
+expect ci_scripts/expect_scripts/Snake.exp
+
 $ROC test ./examples/RecordBuilder/DateParser.roc
 
 $ROC test ./examples/BasicDict/BasicDict.roc

ci_scripts/expect_scripts/Arithmetic.exp

@@ -0,0 +1,30 @@
+#!/usr/bin/expect
+
+# uncomment line below for debugging
+# exp_internal 1
+
+set timeout 7
+
+source ./ci_scripts/expect_scripts/shared-code.exp
+
+spawn ./examples/Commands/main
+
+set expected_output [normalize_output {
+Hello
+\{stderr_utf8_lossy: "", stdout_utf8: "Hi
+"\}
+BAZ=DUCK
+FOO=BAR
+XYZ=ABC
+cat: non_existent.txt: No such file or directory
+Exit code: 1
+\{stderr_bytes: \[\], stdout_bytes: \[72, 105, 10\]\}
+}]
+
+expect $expected_output {
+    expect eof {
+        check_exit_and_segfault
+    }
+}
+puts stderr "\nError: output was different from expected value."
+exit 1

ci_scripts/expect_scripts/Commands.exp

@@ -7,7 +7,9 @@ set timeout 7
 
 source ./ci_scripts/expect_scripts/shared-code.exp
 
-spawn ./examples/ErrorHandling/main "https://www.roc-lang.org" roc.html
+set env(HELLO) 1
+
+spawn ./examples/ErrorHandlingRealWorld/main "https://www.roc-lang.org" roc.html
 
 expect "Done\r\n" {
     expect eof {

ci_scripts/expect_scripts/ErrorHandling.exp renamed to ci_scripts/expect_scripts/ErrorHandlingRealWorld.exp

@@ -0,0 +1,33 @@
+#!/usr/bin/expect
+
+# uncomment line below for debugging
+# exp_internal 1
+
+set timeout 7
+
+source ./ci_scripts/expect_scripts/shared-code.exp
+
+spawn ./examples/Snake/main
+
+expect "Score: 0\r\n" {
+
+    # Press 's' key 9 times
+    for {set i 1} {$i <= 9} {incr i} {
+        send "s"
+        
+        expect -re {Score:.*}
+    }
+
+    # This press should make the snake collide with the bottom wall and lead to game over
+    send "s"
+
+    expect -re {.*Game Over.*} {
+        expect eof {
+            check_exit_and_segfault
+        }
+    }
+    
+}
+
+puts stderr "\nExpect script failed: output was different from expected value. uncomment `exp_internal 1` to debug."
+exit 1

ci_scripts/expect_scripts/Snake.exp

@@ -7,7 +7,7 @@ set timeout 7
 
 source ./ci_scripts/expect_scripts/shared-code.exp
 
-spawn ./examples/DesugaringTry/main
+spawn ./examples/TryOperatorDesugaring/main
 
 expect -exact "(Ok {birth_year: 1990, name: \"Alice\"})\r\n(Ok {birth_year: 1990, name: \"Alice\"})\r\n" {
     expect eof {