[ fix ] another big batch of tests

gallais · gallais · commit 06cc339c4d95 · 2025-11-19T16:05:19.000Z
diff --git a/tests/data/list/list.agda-lib b/tests/data/list/list.agda-lib
@@ -1,2 +1,4 @@
 name: list
 include: ../../../src/ .
+flags:
+  --warning=noUnsupportedIndexedMatch
diff --git a/tests/data/list/list.cabal b/tests/data/list/list.cabal
@@ -0,0 +1,28 @@
+cabal-version:   2.4
+name:            list
+version:         2.0
+build-type:      Simple
+description:     Run this test
+license:         MIT
+
+tested-with:
+  GHC == 9.2.8
+
+common common-build-parameters
+  default-language:
+    Haskell2010
+
+  default-extensions:
+    PatternGuards
+    PatternSynonyms
+
+  build-depends:
+      base      >= 4.12 && < 4.20
+
+  ghc-options: -Wno-missing-home-modules
+
+executable list
+  import:           common-build-parameters
+  hs-source-dirs:   _build
+  main-is:          MAlonzo/Code/Main.hs
+  ghc-options:      -main-is MAlonzo.Code.Main
diff --git a/tests/data/list/run b/tests/data/list/run
@@ -1,5 +1,22 @@
-$1 --compile-dir=../../_build -c Main.agda > log
-./../../_build/Main > output
+TEST_NAME=list
 
-rm ../../_build/Main
-rm ../../_build/MAlonzo/Code/Main*
+# Get configuration information
+. ../../config.sh
+
+# Set up clean logs directory
+rm -rf logs/
+mkdir logs
+
+# Use pre-existing build directory to avoid rechecking stdlib modules
+ln -sf ../../_build _build
+
+# Compile the Agda module and build the generated code
+$1 --compile-dir=_build -c --ghc-dont-call-ghc Main.agda > logs/agda-build
+cabal build "$TEST_NAME" --with-compiler "$GHC_EXEC" > logs/cabal-build
+
+# Run the test
+cabal exec "$TEST_NAME" --with-compiler "$GHC_EXEC" > output
+
+# Clean up after ourselves
+rm -R dist-newstyle
+rm -R _build/MAlonzo/Code/
diff --git a/tests/data/rational-unnormalised/rational-unnormalised.agda-lib b/tests/data/rational-unnormalised/rational-unnormalised.agda-lib
@@ -1,2 +1,4 @@
-name: rational
+name: rational-unnormalised
 include: ../../../src/ .
+flags:
+  --warning=noUnsupportedIndexedMatch
diff --git a/tests/data/rational-unnormalised/rational-unnormalised.cabal b/tests/data/rational-unnormalised/rational-unnormalised.cabal
@@ -0,0 +1,28 @@
+cabal-version:   2.4
+name:            rational-unnormalised
+version:         2.0
+build-type:      Simple
+description:     Run this test
+license:         MIT
+
+tested-with:
+  GHC == 9.2.8
+
+common common-build-parameters
+  default-language:
+    Haskell2010
+
+  default-extensions:
+    PatternGuards
+    PatternSynonyms
+
+  build-depends:
+      base      >= 4.12 && < 4.20
+
+  ghc-options: -Wno-missing-home-modules
+
+executable rational-unnormalised
+  import:           common-build-parameters
+  hs-source-dirs:   _build
+  main-is:          MAlonzo/Code/Main.hs
+  ghc-options:      -main-is MAlonzo.Code.Main
diff --git a/tests/data/rational-unnormalised/run b/tests/data/rational-unnormalised/run
@@ -1,5 +1,22 @@
-$1 --compile-dir=../../_build -c Main.agda > log
-./../../_build/Main > output
+TEST_NAME=rational-unnormalised
 
-rm ../../_build/Main
-rm ../../_build/MAlonzo/Code/Main*
+# Get configuration information
+. ../../config.sh
+
+# Set up clean logs directory
+rm -rf logs/
+mkdir logs
+
+# Use pre-existing build directory to avoid rechecking stdlib modules
+ln -sf ../../_build _build
+
+# Compile the Agda module and build the generated code
+$1 --compile-dir=_build -c --ghc-dont-call-ghc Main.agda > logs/agda-build
+cabal build "$TEST_NAME" --with-compiler "$GHC_EXEC" > logs/cabal-build
+
+# Run the test
+cabal exec "$TEST_NAME" --with-compiler "$GHC_EXEC" > output
+
+# Clean up after ourselves
+rm -R dist-newstyle
+rm -R _build/MAlonzo/Code/
diff --git a/tests/data/rational/rational.agda-lib b/tests/data/rational/rational.agda-lib
@@ -1,2 +1,4 @@
 name: rational
 include: ../../../src/ .
+flags:
+  --warning=noUnsupportedIndexedMatch
diff --git a/tests/data/rational/rational.cabal b/tests/data/rational/rational.cabal
@@ -0,0 +1,28 @@
+cabal-version:   2.4
+name:            rational
+version:         2.0
+build-type:      Simple
+description:     Run this test
+license:         MIT
+
+tested-with:
+  GHC == 9.2.8
+
+common common-build-parameters
+  default-language:
+    Haskell2010
+
+  default-extensions:
+    PatternGuards
+    PatternSynonyms
+
+  build-depends:
+      base      >= 4.12 && < 4.20
+
+  ghc-options: -Wno-missing-home-modules
+
+executable rational
+  import:           common-build-parameters
+  hs-source-dirs:   _build
+  main-is:          MAlonzo/Code/Main.hs
+  ghc-options:      -main-is MAlonzo.Code.Main
diff --git a/tests/data/rational/run b/tests/data/rational/run
@@ -1,5 +1,22 @@
-$1 --compile-dir=../../_build -c Main.agda > log
-./../../_build/Main > output
+TEST_NAME=rational
 
-rm ../../_build/Main
-rm ../../_build/MAlonzo/Code/Main*
+# Get configuration information
+. ../../config.sh
+
+# Set up clean logs directory
+rm -rf logs/
+mkdir logs
+
+# Use pre-existing build directory to avoid rechecking stdlib modules
+ln -sf ../../_build _build
+
+# Compile the Agda module and build the generated code
+$1 --compile-dir=_build -c --ghc-dont-call-ghc Main.agda > logs/agda-build
+cabal build "$TEST_NAME" --with-compiler "$GHC_EXEC" > logs/cabal-build
+
+# Run the test
+cabal exec "$TEST_NAME" --with-compiler "$GHC_EXEC" > output
+
+# Clean up after ourselves
+rm -R dist-newstyle
+rm -R _build/MAlonzo/Code/
diff --git a/tests/data/trie/run b/tests/data/trie/run
@@ -1,5 +1,22 @@
-$1 --compile-dir=../../_build -c Main.agda > log
-./../../_build/Main > output
+TEST_NAME=trie
 
-rm ../../_build/Main
-rm ../../_build/MAlonzo/Code/Main*
+# Get configuration information
+. ../../config.sh
+
+# Set up clean logs directory
+rm -rf logs/
+mkdir logs
+
+# Use pre-existing build directory to avoid rechecking stdlib modules
+ln -sf ../../_build _build
+
+# Compile the Agda module and build the generated code
+$1 --compile-dir=_build -c --ghc-dont-call-ghc Main.agda > logs/agda-build
+cabal build "$TEST_NAME" --with-compiler "$GHC_EXEC" > logs/cabal-build
+
+# Run the test
+cabal exec "$TEST_NAME" --with-compiler "$GHC_EXEC" > output
+
+# Clean up after ourselves
+rm -R dist-newstyle
+rm -R _build/MAlonzo/Code/
diff --git a/tests/data/trie/trie.agda-lib b/tests/data/trie/trie.agda-lib
@@ -1,2 +1,4 @@
 name: trie
 include: ../../../src/ .
+flags:
+  --warning=noUnsupportedIndexedMatch
diff --git a/tests/data/trie/trie.cabal b/tests/data/trie/trie.cabal
@@ -0,0 +1,28 @@
+cabal-version:   2.4
+name:            trie
+version:         2.0
+build-type:      Simple
+description:     Run this test
+license:         MIT
+
+tested-with:
+  GHC == 9.2.8
+
+common common-build-parameters
+  default-language:
+    Haskell2010
+
+  default-extensions:
+    PatternGuards
+    PatternSynonyms
+
+  build-depends:
+      base      >= 4.12 && < 4.20
+
+  ghc-options: -Wno-missing-home-modules
+
+executable trie
+  import:           common-build-parameters
+  hs-source-dirs:   _build
+  main-is:          MAlonzo/Code/Main.hs
+  ghc-options:      -main-is MAlonzo.Code.Main
diff --git a/tests/monad/counting/counting.agda-lib b/tests/monad/counting/counting.agda-lib
@@ -1,2 +1,4 @@
 name: counting
 include: ../../../src/ .
+flags:
+  --warning=noUnsupportedIndexedMatch
diff --git a/tests/monad/counting/counting.cabal b/tests/monad/counting/counting.cabal
@@ -0,0 +1,28 @@
+cabal-version:   2.4
+name:            counting
+version:         2.0
+build-type:      Simple
+description:     Run this test
+license:         MIT
+
+tested-with:
+  GHC == 9.2.8
+
+common common-build-parameters
+  default-language:
+    Haskell2010
+
+  default-extensions:
+    PatternGuards
+    PatternSynonyms
+
+  build-depends:
+      base      >= 4.12 && < 4.20
+
+  ghc-options: -Wno-missing-home-modules
+
+executable counting
+  import:           common-build-parameters
+  hs-source-dirs:   _build
+  main-is:          MAlonzo/Code/Main.hs
+  ghc-options:      -main-is MAlonzo.Code.Main
diff --git a/tests/monad/counting/run b/tests/monad/counting/run
@@ -1,5 +1,22 @@
-$1 --compile-dir=../../_build -c Main.agda > log
-./../../_build/Main > output
+TEST_NAME=counting
 
-rm ../../_build/Main
-rm ../../_build/MAlonzo/Code/Main*
+# Get configuration information
+. ../../config.sh
+
+# Set up clean logs directory
+rm -rf logs/
+mkdir logs
+
+# Use pre-existing build directory to avoid rechecking stdlib modules
+ln -sf ../../_build _build
+
+# Compile the Agda module and build the generated code
+$1 --compile-dir=_build -c --ghc-dont-call-ghc Main.agda > logs/agda-build
+cabal build "$TEST_NAME" --with-compiler "$GHC_EXEC" > logs/cabal-build
+
+# Run the test
+cabal exec "$TEST_NAME" --with-compiler "$GHC_EXEC" > output
+
+# Clean up after ourselves
+rm -R dist-newstyle
+rm -R _build/MAlonzo/Code/
diff --git a/tests/monad/fibonacci/fibonacci.agda-lib b/tests/monad/fibonacci/fibonacci.agda-lib
@@ -1,2 +1,4 @@
 name: fibonacci
 include: ../../../src/ .
+flags:
+  --warning=noUnsupportedIndexedMatch
diff --git a/tests/monad/fibonacci/fibonacci.cabal b/tests/monad/fibonacci/fibonacci.cabal
@@ -0,0 +1,28 @@
+cabal-version:   2.4
+name:            fibonacci
+version:         2.0
+build-type:      Simple
+description:     Run this test
+license:         MIT
+
+tested-with:
+  GHC == 9.2.8
+
+common common-build-parameters
+  default-language:
+    Haskell2010
+
+  default-extensions:
+    PatternGuards
+    PatternSynonyms
+
+  build-depends:
+      base      >= 4.12 && < 4.20
+
+  ghc-options: -Wno-missing-home-modules
+
+executable fibonacci
+  import:           common-build-parameters
+  hs-source-dirs:   _build
+  main-is:          MAlonzo/Code/Main.hs
+  ghc-options:      -main-is MAlonzo.Code.Main
diff --git a/tests/monad/fibonacci/run b/tests/monad/fibonacci/run
@@ -1,5 +1,22 @@
-$1 --compile-dir=../../_build -c Main.agda > log
-./../../_build/Main > output
+TEST_NAME=fibonacci
 
-rm ../../_build/Main
-rm ../../_build/MAlonzo/Code/Main*
+# Get configuration information
+. ../../config.sh
+
+# Set up clean logs directory
+rm -rf logs/
+mkdir logs
+
+# Use pre-existing build directory to avoid rechecking stdlib modules
+ln -sf ../../_build _build
+
+# Compile the Agda module and build the generated code
+$1 --compile-dir=_build -c --ghc-dont-call-ghc Main.agda > logs/agda-build
+cabal build "$TEST_NAME" --with-compiler "$GHC_EXEC" > logs/cabal-build
+
+# Run the test
+cabal exec "$TEST_NAME" --with-compiler "$GHC_EXEC" > output
+
+# Clean up after ourselves
+rm -R dist-newstyle
+rm -R _build/MAlonzo/Code/
diff --git a/tests/monad/pythagorean/pythagorean.agda-lib b/tests/monad/pythagorean/pythagorean.agda-lib
@@ -1,2 +1,4 @@
 name: pythagorean
 include: ../../../src/ .
+flags:
+  --warning=noUnsupportedIndexedMatch
diff --git a/tests/monad/pythagorean/pythagorean.cabal b/tests/monad/pythagorean/pythagorean.cabal
diff --git a/tests/monad/pythagorean/run b/tests/monad/pythagorean/run
diff --git a/tests/monad/tcm/run b/tests/monad/tcm/run
diff --git a/tests/monad/tcm/tcm.agda-lib b/tests/monad/tcm/tcm.agda-lib
diff --git a/tests/monad/tcm/tcm.cabal b/tests/monad/tcm/tcm.cabal
diff --git a/tests/reflection/assumption/assumption.agda-lib b/tests/reflection/assumption/assumption.agda-lib
diff --git a/tests/reflection/assumption/assumption.cabal b/tests/reflection/assumption/assumption.cabal
diff --git a/tests/reflection/assumption/run b/tests/reflection/assumption/run
