idris-lang · spcfox · Nov 26, 2025 · Nov 26, 2025 · Nov 26, 2025 · Nov 26, 2025
diff --git a/.github/workflows/ci-idris2-and-libs.yml b/.github/workflows/ci-idris2-and-libs.yml
@@ -362,7 +362,7 @@ jobs:
   ubuntu-self-host-racket:
     needs: ubuntu-bootstrap-racket
     runs-on: ubuntu-latest
-    if: false
+    timeout-minutes: 60
     env:
       IDRIS2_CG: racket
     steps:

diff --git a/libs/test/Test/Golden.idr b/libs/test/Test/Golden.idr
@@ -431,8 +431,8 @@ record TestPool where
   codegen : Codegen
   testCases : List String
 
-findTests : (String -> Bool) -> Codegen -> String -> String -> IO (List String)
-findTests pred codegen poolName dirName = do
+findTests : (String -> Bool) -> String -> IO (List String)
+findTests pred dirName = do
   Right names <- listDir dirName
     | Left e => die $ "failed to list " ++ dirName ++ ": " ++ show e
   let names = [n | n <- names, pred n]
@@ -462,7 +462,7 @@ testsInDir :
   {default Nothing codegen : Codegen} ->
   Lazy (IO TestPool)
 testsInDir dirName poolName = do
-  testNames <- findTests pred codegen poolName dirName
+  testNames <- findTests pred dirName
   when (length testNames == 0) $ die $ "no tests found in " ++ dirName
   pure $ MkTestPool poolName requirements codegen testNames
 

diff --git a/tests/chez/barrier001/run b/tests/chez/barrier001/run
@@ -1,3 +1,3 @@
 . ../../testutils.sh
 
-run --cg chez Main.idr
+run Main.idr
diff --git a/tests/idris2/basic/case001/InlineCase.idr → tests/chez/case001/InlineCase.idr b/tests/idris2/basic/case001/InlineCase.idr → tests/chez/case001/InlineCase.idr
diff --git a/tests/idris2/basic/case001/expected → tests/chez/case001/expected b/tests/idris2/basic/case001/expected → tests/chez/case001/expected
diff --git a/tests/idris2/basic/case001/run → tests/chez/case001/run b/tests/idris2/basic/case001/run → tests/chez/case001/run
@@ -1,4 +1,4 @@
-. ../../../testutils.sh
+. ../../testutils.sh
 
-idris2 --codegen chez InlineCase.idr -o inline-case
+idris2 InlineCase.idr -o inline-case
 grep "define InlineCase-product" build/exec/inline-case_app/inline-case.ss
diff --git a/tests/chez/chez031/run b/tests/chez/chez031/run
@@ -1,5 +1,5 @@
 . ../../testutils.sh
 
-run --cg chez Specifiers.idr
-idris2 --cg chez Specifiers.idr -o build/foo
-idris2 --cg chez < input
+run Specifiers.idr
+idris2 Specifiers.idr -o build/foo
+idris2 < input
diff --git a/tests/codegen/enum/Check.idr → tests/chez/enum/Check.idr b/tests/codegen/enum/Check.idr → tests/chez/enum/Check.idr
diff --git a/tests/codegen/enum/Enum.idr → tests/chez/enum/Enum.idr b/tests/codegen/enum/Enum.idr → tests/chez/enum/Enum.idr
diff --git a/tests/codegen/enum/expected → tests/chez/enum/expected b/tests/codegen/enum/expected → tests/chez/enum/expected
diff --git a/tests/codegen/enum/run → tests/chez/enum/run b/tests/codegen/enum/run → tests/chez/enum/run
diff --git a/tests/chez/forkjoin001/run b/tests/chez/forkjoin001/run
@@ -1,3 +1,3 @@
 . ../../testutils.sh
 
-run --cg chez Main.idr
+run Main.idr
diff --git a/tests/chez/futures001/run b/tests/chez/futures001/run
@@ -1,15 +1,15 @@
 . ../../testutils.sh
 
-idris2 --cg chez Futures.idr -p contrib --exec constant
-idris2 --cg chez Futures.idr -p contrib --exec simpleIO
-idris2 --cg chez Futures.idr -p contrib --exec erasureAndNonbindTest
-idris2 --cg chez Futures.idr -p contrib --exec map
+idris2 Futures.idr -p contrib --exec constant
+idris2 Futures.idr -p contrib --exec simpleIO
+idris2 Futures.idr -p contrib --exec erasureAndNonbindTest
+idris2 Futures.idr -p contrib --exec map
 
 echo "----"
 
-idris2 --cg chez --directive lazy=weakMemo Futures.idr -p contrib --exec constant
-idris2 --cg chez --directive lazy=weakMemo Futures.idr -p contrib --exec simpleIO
-idris2 --cg chez --directive lazy=weakMemo Futures.idr -p contrib --exec erasureAndNonbindTest
-idris2 --cg chez --directive lazy=weakMemo Futures.idr -p contrib --exec map
+idris2 --directive lazy=weakMemo Futures.idr -p contrib --exec constant
+idris2 --directive lazy=weakMemo Futures.idr -p contrib --exec simpleIO
+idris2 --directive lazy=weakMemo Futures.idr -p contrib --exec erasureAndNonbindTest
+idris2 --directive lazy=weakMemo Futures.idr -p contrib --exec map
 
 rm -r build
diff --git a/tests/chez/futures002/run b/tests/chez/futures002/run
@@ -1,7 +1,7 @@
 . ../../testutils.sh
 
-idris2 --cg chez Futures.idr -p contrib --exec main
+idris2 Futures.idr -p contrib --exec main
 echo "----"
-idris2 --cg chez --directive lazy=weakMemo Futures.idr -p contrib --exec main
+idris2 --directive lazy=weakMemo Futures.idr -p contrib --exec main
 
 rm -r build
diff --git a/tests/chez/semaphores001/run b/tests/chez/semaphores001/run
@@ -1,3 +1,3 @@
 . ../../testutils.sh
 
-run --cg chez Main.idr
+run Main.idr
diff --git a/tests/chez/semaphores002/run b/tests/chez/semaphores002/run
@@ -1,3 +1,3 @@
 . ../../testutils.sh
 
-run --cg chez Main.idr
+run Main.idr
diff --git a/tests/codegen/fix3515/expected b/tests/codegen/fix3515/expected
@@ -1,2 +1,27 @@
 1
 0
+------
+Main> Main.toNat
+Arguments [{arg:1}, {arg:2}]
+Compile time tree: case {arg:1} of
+  Z => case {arg:2} of
+    MkUnit => 1
+    _ => 0
+  _ => 0
+Detaggable arg types: [1]
+Compiled: \ {arg:1}, {arg:2} => case {arg:1} of
+  { 0 => 1
+  ; _ => 0
+  }
+Refers to: Prelude.Types.Z, Prelude.Types.S
+Flags: allguarded, covering
+Size change:
+  Prelude.Types.S:
+    l 0
+  r +--
+  0 | =
+  Prelude.Types.Z:
+    l
+  r +
+Main> 
+Bye for now!
diff --git a/tests/codegen/fix3515/input b/tests/codegen/fix3515/input
@@ -0,0 +1 @@
+:di Main.toNat
diff --git a/tests/codegen/fix3515/run b/tests/codegen/fix3515/run
@@ -1,5 +1,5 @@
 . ../../testutils.sh
 
-idris2 -o main Main.idr
-
-./build/exec/main
+run Main.idr
+echo "------"
+idris2 Main.idr < input
diff --git a/tests/idris2/basic/case003/Main.idr → tests/idris2/casetree/casetree005/Main.idr b/tests/idris2/basic/case003/Main.idr → tests/idris2/casetree/casetree005/Main.idr
diff --git a/tests/idris2/basic/case003/expected → tests/idris2/casetree/casetree005/expected b/tests/idris2/basic/case003/expected → tests/idris2/casetree/casetree005/expected
diff --git a/tests/idris2/basic/case003/run → tests/idris2/casetree/casetree005/run b/tests/idris2/basic/case003/run → tests/idris2/casetree/casetree005/run
diff --git a/tests/node/args/run b/tests/node/args/run
@@ -1,5 +1,5 @@
 . ../../testutils.sh
 
-idris2 --cg node -o node_args TestArgs.idr > /dev/null
+idris2 -o node_args TestArgs.idr > /dev/null
 node ./build/exec/node_args a b
 node ./build/exec/node_args c
diff --git a/tests/node/bitops/run b/tests/node/bitops/run
@@ -1,3 +1,3 @@
 . ../../testutils.sh
 
-run --cg node BitOps.idr
+run BitOps.idr
diff --git a/tests/node/casts/run b/tests/node/casts/run
@@ -1,3 +1,3 @@
 . ../../testutils.sh
 
-run --cg node Casts.idr
+run Casts.idr
diff --git a/tests/node/doubles/run b/tests/node/doubles/run
@@ -1,4 +1,4 @@
 . ../../testutils.sh
 
-idris2 --cg node -o node_doubles.js Doubles.idr > /dev/null
+idris2 -o node_doubles.js Doubles.idr > /dev/null
 node build/exec/node_doubles.js
diff --git a/tests/node/executable/run b/tests/node/executable/run
@@ -1,6 +1,6 @@
 . ../../testutils.sh
 
-idris2 --cg node -o node_executable TestExecutable.idr > /dev/null
+idris2 -o node_executable TestExecutable.idr > /dev/null
 
 # node still executes it:
 node ./build/exec/node_executable

diff --git a/tests/node/fastConcat/run b/tests/node/fastConcat/run
@@ -1,3 +1,3 @@
 . ../../testutils.sh
 
-run --cg node FastConcat.idr
+run FastConcat.idr
diff --git a/tests/node/ffi001/run b/tests/node/ffi001/run
@@ -1,2 +1,2 @@
 . ../../testutils.sh
-run --cg node Foreign.idr
+run Foreign.idr
diff --git a/tests/node/fix1839/run b/tests/node/fix1839/run
@@ -1,4 +1,4 @@
 . ../../testutils.sh
 
-run --cg node OS.idr
+run OS.idr
 idris2 --cg javascript -o os.js OS.idr
diff --git a/tests/codegen/fix3375/Prog.idr → tests/node/fix3375/Prog.idr b/tests/codegen/fix3375/Prog.idr → tests/node/fix3375/Prog.idr
diff --git a/tests/codegen/fix3375/expected → tests/node/fix3375/expected b/tests/codegen/fix3375/expected → tests/node/fix3375/expected
diff --git a/tests/codegen/fix3375/run → tests/node/fix3375/run b/tests/codegen/fix3375/run → tests/node/fix3375/run
@@ -1,6 +1,6 @@
 . ../../testutils.sh
 
-idris2 --quiet --codegen node -o prog.js Prog.idr
+idris2 --quiet -o prog.js Prog.idr
 
 grep "const \$[a-z0-9]\+ = undefined;" build/exec/prog.js
 grep "const \$[a-z0-9]\+ = \$[a-z0-9]\+;" build/exec/prog.js
diff --git a/tests/node/idiom001/run b/tests/node/idiom001/run
@@ -1,3 +1,3 @@
 . ../../testutils.sh
 
-run --cg node Main.idr
+run Main.idr
diff --git a/tests/node/integer_array/run b/tests/node/integer_array/run
@@ -1,3 +1,3 @@
 . ../../testutils.sh
 
-run --cg node array.idr
+run array.idr
diff --git a/tests/node/integers/run b/tests/node/integers/run
@@ -1,4 +1,4 @@
 . ../../testutils.sh
 
-idris2 --cg node -o node_integers.js TestIntegers.idr > /dev/null
+idris2 -o node_integers.js TestIntegers.idr > /dev/null
 node build/exec/node_integers.js
diff --git a/tests/node/memo/run b/tests/node/memo/run
@@ -1,3 +1,3 @@
 . ../../testutils.sh
 
-run --cg node Memo.idr
+run Memo.idr
diff --git a/tests/node/newints/run b/tests/node/newints/run
@@ -1,3 +1,3 @@
 . ../../testutils.sh
 
-run --cg node IntOps.idr
+run IntOps.idr
diff --git a/tests/node/node001/run b/tests/node/node001/run
@@ -1,3 +1,3 @@
 . ../../testutils.sh
 
-run --cg node Total.idr
+run Total.idr
diff --git a/tests/node/node002/run b/tests/node/node002/run
@@ -1,3 +1,3 @@
 . ../../testutils.sh
 
-idris2 --cg node Pythag.idr < input
+idris2 Pythag.idr < input
diff --git a/tests/node/node003/run b/tests/node/node003/run
@@ -1,3 +1,3 @@
 . ../../testutils.sh
 
-run --cg node IORef.idr
+run IORef.idr
diff --git a/tests/node/node004/run b/tests/node/node004/run
@@ -2,4 +2,4 @@
 
 rm test.buf
 
-run --cg node Buffer.idr
+run Buffer.idr
diff --git a/tests/node/node005/run b/tests/node/node005/run
@@ -1,3 +1,3 @@
 . ../../testutils.sh
 
-idris2 --cg node Filter.idr < input
+idris2 Filter.idr < input
diff --git a/tests/node/node006/run b/tests/node/node006/run
@@ -1,4 +1,4 @@
 . ../../testutils.sh
 
-idris2 --cg node TypeCase.idr < input
-check --cg node TypeCase2.idr
+idris2 TypeCase.idr < input
+check TypeCase2.idr
diff --git a/tests/node/node007/run b/tests/node/node007/run
@@ -1,3 +1,3 @@
 . ../../testutils.sh
 
-run --cg node TypeCase.idr
+run TypeCase.idr
diff --git a/tests/node/node008/run b/tests/node/node008/run
@@ -1,3 +1,3 @@
 . ../../testutils.sh
 
-run --cg node Nat.idr
+run Nat.idr
diff --git a/tests/node/node009/run b/tests/node/node009/run
@@ -1,3 +1,3 @@
 . ../../testutils.sh
 
-run --cg node uni.idr
+run uni.idr
diff --git a/tests/node/node011/run b/tests/node/node011/run
@@ -1,3 +1,3 @@
 . ../../testutils.sh
 
-idris2 --cg node bangs.idr < input
+idris2 bangs.idr < input
diff --git a/tests/node/node012/run b/tests/node/node012/run
@@ -1,3 +1,3 @@
 . ../../testutils.sh
 
-run --cg node array.idr
+run array.idr
diff --git a/tests/node/node015/run b/tests/node/node015/run
@@ -1,3 +1,3 @@
 . ../../testutils.sh
 
-run --cg node Numbers.idr
+run Numbers.idr
diff --git a/tests/node/node017/run b/tests/node/node017/run
@@ -2,5 +2,5 @@
 
 rm -rf testdir
 
-run --cg node dir.idr | filter_test_dir
+run dir.idr | filter_test_dir
 cat testdir/test.txt
diff --git a/tests/node/node018/run b/tests/node/node018/run
@@ -2,4 +2,4 @@
 
 rm testout.txt
 
-run --cg node File.idr
+run File.idr
diff --git a/tests/node/node019/run b/tests/node/node019/run
@@ -1,3 +1,3 @@
 . ../../testutils.sh
 
-idris2 --cg node partial.idr < input
+idris2 partial.idr < input
diff --git a/tests/node/node020/run b/tests/node/node020/run
@@ -1,3 +1,3 @@
 . ../../testutils.sh
 
-POPEN_CMD="$idris2 --version" run --cg node Popen.idr
+POPEN_CMD="$idris2 --version" run Popen.idr
diff --git a/tests/node/node021/run b/tests/node/node021/run
@@ -1,3 +1,3 @@
 . ../../testutils.sh
 
-idris2 --cg node Bits.idr < input
+idris2 Bits.idr < input
diff --git a/tests/node/node022/run b/tests/node/node022/run
@@ -1,3 +1,3 @@
 . ../../testutils.sh
 
-run --cg node BitCasts.idr
+run BitCasts.idr
diff --git a/tests/node/node023/run b/tests/node/node023/run
@@ -1,3 +1,3 @@
 . ../../testutils.sh
 
-run --cg node Casts.idr
+run Casts.idr
diff --git a/tests/node/node024/run b/tests/node/node024/run
@@ -1,3 +1,3 @@
 . ../../testutils.sh
 
-run --cg node BitOps.idr
+run BitOps.idr
diff --git a/tests/node/node025/run b/tests/node/node025/run
@@ -1,3 +1,3 @@
 . ../../testutils.sh
 
-run --cg node Fix1037.idr
+run Fix1037.idr
diff --git a/tests/node/node026/run b/tests/node/node026/run
@@ -1,3 +1,3 @@
 . ../../testutils.sh
 
-run -p contrib --cg node Fix1795.idr
+run -p contrib Fix1795.idr
diff --git a/tests/node/node027/run b/tests/node/node027/run
@@ -1,3 +1,3 @@
 . ../../testutils.sh
 
-run --cg node PID.idr
+run PID.idr
diff --git a/tests/node/node028/run b/tests/node/node028/run
@@ -9,12 +9,12 @@ echo '--------------'
 
 echo '# Running an example without any top-level constants...'
 echo '# We expect no usages of `__lazy` to be present, maybe only a definition.'
-run --cg node -o hw.js HelloWorld.idr
+run -o hw.js HelloWorld.idr
 grep '__lazy' build/exec/hw.js
 
 echo '--------------'
 
 echo '# Running an example with some top-level constant...'
 echo '# We expect `__lazy` to be used on the RHS for the top-level constant called `topLevelConst`.'
-run --cg node -o lsth.js LazyIsStillThere.idr
+run -o lsth.js LazyIsStillThere.idr
 grep '__lazy' build/exec/lsth.js
diff --git a/tests/node/nomangle001/run b/tests/node/nomangle001/run
@@ -1,7 +1,7 @@
 . ../../testutils.sh
 
-idris2 nomangle.idr -o test1 --cg node
-idris2 nomangle.idr -o test2 --cg node --directive minimal
+idris2 nomangle.idr -o test1
+idris2 nomangle.idr -o test2 --directive minimal
 
 cat build/exec/test1 | grep -e foo -e baz -e another_name
 cat build/exec/test2 | grep -e foo -e baz -e another_name
diff --git a/tests/node/nomangle002/run b/tests/node/nomangle002/run
@@ -1,4 +1,4 @@
 . ../../testutils.sh
 
-idris2 nomangle1.idr -o test --cg node
-idris2 nomangle2.idr -o test --cg node
+idris2 nomangle1.idr -o test
+idris2 nomangle2.idr -o test
diff --git a/tests/node/perf001/run b/tests/node/perf001/run
@@ -1,3 +1,3 @@
 . ../../testutils.sh
 
-run --cg node Span.idr
+run Span.idr
diff --git a/tests/node/reg001/run b/tests/node/reg001/run
@@ -1,3 +1,3 @@
 . ../../testutils.sh
 
-run --cg node numbers.idr
+run numbers.idr
diff --git a/tests/node/reg002/run b/tests/node/reg002/run
@@ -1,3 +1,3 @@
 . ../../testutils.sh
 
-run --cg node Issue1843.idr
+run Issue1843.idr
diff --git a/tests/node/stringcast/run b/tests/node/stringcast/run
@@ -1,3 +1,3 @@
 . ../../testutils.sh
 
-run --cg node StringCast.idr
+run StringCast.idr
diff --git a/tests/node/syntax001/run b/tests/node/syntax001/run
@@ -1,3 +1,3 @@
 . ../../testutils.sh
 
-run --cg node caseBlock.idr
+run caseBlock.idr
Original file line number	Diff line number	Diff line change
Expand Up		@@ -2,4 +2,4 @@

		rm test.buf

		run --cg node Buffer.idr
		run Buffer.idr
Original file line number	Diff line number	Diff line change
Expand Up		@@ -2,4 +2,4 @@

		rm testout.txt

		run --cg node File.idr
		run File.idr