CI: restore doctests

Author: andreasabel

.github/workflows/haskell-ci.diff

@@ -1,17 +1,17 @@
 --- haskell-ci.yml	2022-12-16 13:49:54.000000000 +0100
 +++ patched-haskell-ci.yml	2022-12-16 13:49:36.000000000 +0100
-@@ -176,10 +176,6 @@
-           active-repositories: hackage.haskell.org, head.hackage.ghc.haskell.org:override
+@@ -170,10 +170,6 @@
+           repository hackage.haskell.org
+             url: http://hackage.haskell.org/
            EOF
-           fi
 -          cat >> $CABAL_CONFIG <<EOF
 -          program-default-options
 -            ghc-options: $GHCJOBS +RTS -M3G -RTS
 -          EOF
            cat $CABAL_CONFIG
        - name: versions
          run: |
-@@ -259,6 +255,12 @@
+@@ -250,6 +246,12 @@
        - name: build
          run: |
            $CABAL v2-build $ARG_COMPILER $ARG_TESTS $ARG_BENCH all --write-ghc-environment-files=always

.github/workflows/haskell-ci.yml

@@ -170,10 +170,6 @@ jobs:
           repository hackage.haskell.org
             url: http://hackage.haskell.org/
           EOF
-          cat >> $CABAL_CONFIG <<EOF
-          program-default-options
-            ghc-options: $GHCJOBS +RTS -M3G -RTS
-          EOF
           cat $CABAL_CONFIG
       - name: versions
         run: |
@@ -250,6 +246,12 @@ jobs:
       - name: build
         run: |
           $CABAL v2-build $ARG_COMPILER $ARG_TESTS $ARG_BENCH all --write-ghc-environment-files=always
+      - name: install doctest
+        run: |
+          $CABAL v2-install $ARG_COMPILER doctest --overwrite-policy=always
+      - name: doctests
+        run: |
+          $CABAL v2-repl BNFC --with-ghc-pkg=$HCPKG -w doctest --repl-options=-fno-warn-type-defaults
       - name: tests
         run: |
           $CABAL v2-test $ARG_COMPILER $ARG_TESTS $ARG_BENCH all --test-show-details=direct