Remove cabal.project.freeze (#2450)

Author: ttuegel

.github/workflows/test.yml

@@ -55,6 +55,8 @@ jobs:
   cabal:
     name: 'Cabal'
     runs-on: ubuntu-latest
+    env:
+      ghc_version: "8.10.4"
     steps:
       - name: Install prerequisites
         run: |
@@ -66,17 +68,17 @@ jobs:
           ref: ${{ github.event.pull_request.head.sha }}
           submodules: recursive
 
-      - uses: actions/setup-haskell@v1.1.4
+      - uses: haskell/actions/setup@v1
         id: setup-haskell-cabal
         with:
-          ghc-version: "8.10.1"
+          ghc-version: ${{ env.ghc_version }}
           cabal-version: "3.2"
 
       - name: Cache Cabal store
         uses: actions/cache@v2
         with:
           path: ${{ steps.setup-haskell-cabal.outputs.cabal-store }}
-          key: ${{ runner.os }}-ghc-8.10.1-${{ hashFiles('cabal.project.freeze') }}
+          key: ${{ runner.os }}-ghc-${{ env.ghc_version }}
 
       - name: Build
         run: cabal v2-build --enable-tests --enable-benchmarks all
@@ -101,7 +103,7 @@ jobs:
           ref: ${{ github.event.pull_request.head.sha }}
           submodules: recursive
 
-      - uses: actions/setup-haskell@v1.1.4
+      - uses: haskell/actions/setup@v1
         id: setup-haskell-stack
         with:
           enable-stack: true
@@ -117,7 +119,7 @@ jobs:
         uses: actions/cache@v2
         with:
           path: ${{ steps.locate-stack-root.outputs.stack-root }}
-          key: ${{ runner.os }}-ghc-8.10.1-${{ hashFiles('stack.yaml.lock') }}
+          key: ${{ runner.os }}-${{ hashFiles('stack.yaml.lock') }}
 
       - name: Build dependencies
         run: |

cabal.project.freeze

@@ -4,7 +4,7 @@ cabal-version: 2.2
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: f665c212513ddd12eaa511bf198ce16f125dd902b5b25a656b2fa584d073c5ba
+-- hash: e1fb37a3896c7ce0fd031723af0b1589be0df0d9b5f958befbe74dbbfdee231f
 
 name:           kore
 version:        0.41.0.0
@@ -467,7 +467,7 @@ library
     , transformers >=0.4
     , unordered-containers >=0.2
     , vector >=0.12
-    , witherable >=0.3
+    , witherable >=0.3 && <0.4
     , zlib >=0.6
   if !flag(release)
     ghc-options: -fno-specialise
@@ -543,7 +543,7 @@ executable kore-exec
     , transformers >=0.4
     , unordered-containers >=0.2
     , vector >=0.12
-    , witherable >=0.3
+    , witherable >=0.3 && <0.4
     , zlib >=0.6
   if !flag(release)
     ghc-options: -fno-specialise
@@ -623,7 +623,7 @@ executable kore-format
     , transformers >=0.4
     , unordered-containers >=0.2
     , vector >=0.12
-    , witherable >=0.3
+    , witherable >=0.3 && <0.4
     , zlib >=0.6
   if !flag(release)
     ghc-options: -fno-specialise
@@ -703,7 +703,7 @@ executable kore-parser
     , transformers >=0.4
     , unordered-containers >=0.2
     , vector >=0.12
-    , witherable >=0.3
+    , witherable >=0.3 && <0.4
     , zlib >=0.6
   if !flag(release)
     ghc-options: -fno-specialise
@@ -781,7 +781,7 @@ executable kore-prof
     , transformers >=0.4
     , unordered-containers >=0.2
     , vector >=0.12
-    , witherable >=0.3
+    , witherable >=0.3 && <0.4
     , zlib >=0.6
   if !flag(release)
     ghc-options: -fno-specialise
@@ -857,7 +857,7 @@ executable kore-repl
     , transformers >=0.4
     , unordered-containers >=0.2
     , vector >=0.12
-    , witherable >=0.3
+    , witherable >=0.3 && <0.4
     , zlib >=0.6
   if !flag(release)
     ghc-options: -fno-specialise
@@ -1143,7 +1143,7 @@ test-suite kore-test
     , transformers >=0.4
     , unordered-containers >=0.2
     , vector >=0.12
-    , witherable >=0.3
+    , witherable >=0.3 && <0.4
     , zlib >=0.6
   if !flag(release)
     ghc-options: -fno-specialise

kore/kore.cabal

@@ -90,7 +90,7 @@ dependencies:
   - transformers >=0.4
   - unordered-containers >=0.2
   - vector >= 0.12
-  - witherable >=0.3
+  - witherable >=0.3 && <0.4  # witherable >=0.4 deprecates module Data.Witherable
   - zlib >= 0.6
 
 build-tools: