Make type check expr loop not recursive

.github/workflows/ci_zig.yml

@@ -272,26 +272,32 @@ jobs:
             cpu_flag: -Dcpu=x86_64_v3
             target_flag: ''
             release_jobs_flag: ''
+            zig_test_timeout_flag: ''
           - os: macos-15
             cpu_flag: ''
             target_flag: ''
             release_jobs_flag: ''
+            zig_test_timeout_flag: ''
           - os: ubuntu-24.04
             cpu_flag: ""
             target_flag: -Dtarget=x86_64-linux-musl
             release_jobs_flag: ''
+            zig_test_timeout_flag: ''
           - os: ubuntu-24.04-arm
             cpu_flag: ''
             target_flag: ''  # Native build for kcov (Zig 0.15.2 x86_64 has DWARF bug) # TODO ZIG 16: re-check if DWARF bug is fixed in 0.16
-            release_jobs_flag: -j4  # Avoid hosted ARM runner disconnects under full ReleaseFast parallelism.
+            release_jobs_flag: -j2  # Avoid hosted ARM runner disconnects under ReleaseFast parallelism.
+            zig_test_timeout_flag: ''
           - os: windows-2022
             cpu_flag: -Dcpu=x86_64_v3
             target_flag: ''
             release_jobs_flag: ''
+            zig_test_timeout_flag: --test-timeout 5m
           - os: windows-2025
             cpu_flag: -Dcpu=x86_64_v3
             target_flag: ''
             release_jobs_flag: ''
+            zig_test_timeout_flag: --test-timeout 5m
 
     steps:
       - name: Checkout
@@ -357,11 +363,11 @@ jobs:
 
       # 1) in debug mode
       - name: build and execute tests, build repro executables
-        run: zig build run-test-zig -Dfuzz -Dsystem-afl=false ${{ matrix.target_flag }}
+        run: zig build ${{ matrix.zig_test_timeout_flag }} run-test-zig -Dfuzz -Dsystem-afl=false ${{ matrix.target_flag }}
 
       # 2) in release mode
       - name: Build and execute tests, build repro executables. All in release mode.
-        run: zig build ${{ matrix.release_jobs_flag }} run-test-zig -Doptimize=ReleaseFast -Dfuzz -Dsystem-afl=false ${{ matrix.cpu_flag }} ${{ matrix.target_flag }}
+        run: zig build ${{ matrix.release_jobs_flag }} ${{ matrix.zig_test_timeout_flag }} run-test-zig -Doptimize=ReleaseFast -Dfuzz -Dsystem-afl=false ${{ matrix.cpu_flag }} ${{ matrix.target_flag }}
 
       - name: Check for snapshot changes
         run: |

ci/valgrind.supp

@@ -16,3 +16,42 @@
    fun:enframe
    fun:__libc_malloc_impl
 }
+
+# musl realpath conditionally inspects internal path-buffer bytes while
+# canonicalizing a path. Valgrind 3.26 reports this inside libc before control
+# returns to Zig's std.fs realpath wrapper; this does not indicate that Roc
+# read uninitialized program memory. Match any internal realpath helper frames
+# because Zig's optimized libc memcpy path varies by source/destination length.
+{
+   musl-realpath-dir-realpath
+   Memcheck:Cond
+   ...
+   fun:realpath
+   fun:Io.Threaded.dirRealPathFilePosix
+}
+
+{
+   musl-realpath-value-dir-realpath
+   Memcheck:Value8
+   ...
+   fun:realpath
+   fun:Io.Threaded.dirRealPathFilePosix
+}
+
+{
+   musl-realpath-readlink-dir-realpath
+   Memcheck:Param
+   readlink(buf)
+   fun:readlink
+   fun:realpath
+   fun:Io.Threaded.dirRealPathFilePosix
+}
+
+{
+   musl-realpath-readlink-bufsiz-dir-realpath
+   Memcheck:Param
+   readlink(bufsiz)
+   fun:readlink
+   fun:realpath
+   fun:Io.Threaded.dirRealPathFilePosix
+}