From 76290d27776a0a5a066cb37563d856d131f895e6 Mon Sep 17 00:00:00 2001 From: Ali Abrar Date: Thu, 22 Dec 2022 11:21:33 -0500 Subject: [PATCH] ghc 9.4 --- .github/workflows/haskell.yml | 6 ++---- dependent-sum/dependent-sum.cabal | 10 +++++----- 2 files changed, 7 insertions(+), 9 deletions(-) diff --git a/.github/workflows/haskell.yml b/.github/workflows/haskell.yml index 4fded3a..68b51be 100644 --- 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/dependent-sum.cabal b/dependent-sum/dependent-sum.cabal index fff1020..49dc43a 100644 --- a/dependent-sum/dependent-sum.cabal +++ b/dependent-sum/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