[ refactor ] removing a lot of duplicate code

Author: gallais

tests/_config/config.sh

@@ -16,3 +16,32 @@ fi
 if [ -z ${GHC_EXEC} ]; then
   export GHC_EXEC=ghc-9.2.8
 fi
+
+goldenTest () {
+
+  AGDA=$1
+  TEST_NAME=$2
+
+  sed "s/TEST_NAME/$TEST_NAME/g" ../../_config/template.agda-lib > "$TEST_NAME".agda-lib
+  sed "s/TEST_NAME/$TEST_NAME/g" ../../_config/template.cabal > "$TEST_NAME".cabal
+
+  # 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
+  $AGDA --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 -v0 "$TEST_NAME" --with-compiler "$GHC_EXEC" > output
+
+  # Clean up after ourselves
+  rm "$TEST_NAME".cabal
+  rm -R dist-newstyle
+  rm -R _build/MAlonzo/Code/
+
+}

tests/data/appending/appending.agda-lib renamed to tests/_config/template.agda-lib

@@ -1,4 +1,4 @@
-name: list
+name: TEST_NAME
 include: ../../../src/ .
 flags:
   --warning=noUnsupportedIndexedMatch

tests/_config/template.cabal

@@ -5,9 +5,6 @@ build-type:      Simple
 description:     Run this test
 license:         MIT
 
-tested-with:
-  GHC == 9.2.8
-
 common common-build-parameters
   default-language:
     Haskell2010

tests/data/appending/appending.cabal

@@ -5,9 +5,6 @@ build-type:      Simple
 description:     Run this test
 license:         MIT
 
-tested-with:
-  GHC == 9.2.8
-
 common common-build-parameters
   default-language:
     Haskell2010

tests/data/appending/run

@@ -1,7 +1,9 @@
 TEST_NAME=appending
 
 # Get configuration information
-. ../../config.sh
+. ../../_config/config.sh
+
+sed "s/TEST_NAME/$TEST_NAME/g" ../../_config/template.agda-lib > "$TEST_NAME".agda-lib
 
 # Set up clean logs directory
 rm -rf logs/

tests/data/colist/colist.agda-lib

@@ -1,22 +1,2 @@
-TEST_NAME=colist
-
-# 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 -v0 "$TEST_NAME" --with-compiler "$GHC_EXEC" > output
-
-# Clean up after ourselves
-rm -R dist-newstyle
-rm -R _build/MAlonzo/Code/
+. ../../_config/config.sh
+goldenTest $1 "colist"

tests/data/colist/colist.cabal

@@ -1,22 +1,2 @@
-TEST_NAME=list
-
-# 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 -v0 "$TEST_NAME" --with-compiler "$GHC_EXEC" > output
-
-# Clean up after ourselves
-rm -R dist-newstyle
-rm -R _build/MAlonzo/Code/
+. ../../_config/config.sh
+goldenTest $1 "list"