Merge pull request #74 from obsidiansystems/aa/ghc94

ghc 9.4
obsidiansystems · Jul 11, 2023 · 26e0f87 · 26e0f87
2 parents cf5ab4a + ca2f647
commit 26e0f87
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 9 deletions.
diff --git a/.github/workflows/haskell.yml b/.github/workflows/haskell.yml
@@ -6,7 +6,7 @@ jobs:
   build:
     strategy:
       matrix:
-        ghc: ['8.6.5', '8.8.4', '8.10.2', '9.0.1']
+        ghc: ['8.6.5', '8.8.4', '8.10.7', '9.0.1', '9.4.3']
         os: ['ubuntu-latest', 'macos-latest']
     runs-on: ${{ matrix.os }}
 
@@ -30,9 +30,7 @@ jobs:
           ${{ runner.os }}
 
     - name: Install dependencies
-      run: |
-        cabal update
-        cabal build all --only-dependencies --enable-tests --enable-benchmarks
+      run: cabal build all --only-dependencies --enable-tests --enable-benchmarks
     - name: Build
       run: cabal build --enable-tests --enable-benchmarks all
     - name: Run tests

diff --git a/dependent-sum.cabal b/dependent-sum.cabal
@@ -24,11 +24,11 @@ description:            A dependent sum is a generalization of a
                         dependent sum types by using your own \"tag\"
                         types.
 
-tested-with:            GHC == 8.0.2,
-                        GHC == 8.2.2,
-                        GHC == 8.4.4,
-                        GHC == 8.6.5,
-                        GHC == 8.8.3
+tested-with:            GHC == 8.6.5,
+                        GHC == 8.8.4,
+                        GHC == 8.10.7,
+                        GHC == 9.0.1,
+                        GHC == 9.4.3
 
 extra-source-files:     ChangeLog.md
                       , examples/*.hs