Update dependency: deps/haskell-backend_release (#235)

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: Jost Berthold <jost.berthold@gmail.com>

.github/workflows/update-deps.yml

@@ -9,6 +9,10 @@ concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}
   cancel-in-progress: true
 
+env:
+  ghc_version: "9.2.8"
+  stack_version: "2.9.3"
+
 jobs:
 
   nix-flake-submodule-sync:
@@ -39,6 +43,15 @@ jobs:
           name: k-framework
           authToken: '${{ secrets.CACHIX_PUBLIC_TOKEN }}'
 
+      - uses: haskell/actions/setup@v2
+        id: setup-haskell
+        with:
+          ghc-version: ${{ env.ghc_version }}
+          stack-version: ${{ env.stack_version }}
+          enable-stack: true
+          stack-setup-ghc: true
+          cabal-update: true
+
       - name: 'Update Nix flake from haskell backend release tag'
         run: |
           set -euxo pipefail
@@ -53,6 +66,7 @@ jobs:
           fi
 
           if ${changed}; then
+            cabal update
             scripts/update-haskell-backend.sh ${haskell_backend_version}
             git add flake.lock stack.yaml cabal.project cabal.project.freeze
             git commit -m "update haskell-backend to version ${haskell_backend_version}"

cabal.project

@@ -17,7 +17,7 @@ source-repository-package
 source-repository-package
     type: git
     location: https://github.com/runtimeverification/haskell-backend.git
-    tag: a6230144a37ee9ebf0f6dffc849faf5ce10df380
-    --sha256: sha256-XLJQnk/QKmcnqM7gWaY1v7Pw5Xx+A2HmZWS5vYCQ5hE=
+    tag: 2e33122cd354045da4e5f40dea9344e02c673a64
+    --sha256: sha256-O3cmhLpIYJXSmfAc8fDAvApAmNnosQ08Yexpx1kiTBw=
     subdir: kore kore-rpc-types
 

deps/haskell-backend_release

@@ -1 +1 @@
-a6230144a37ee9ebf0f6dffc849faf5ce10df380
+2e33122cd354045da4e5f40dea9344e02c673a64

flake.nix

@@ -3,7 +3,7 @@
 
   inputs = {
     k-framework.url = "github:runtimeverification/k/v5.6.131";
-    haskell-backend.url = "github:runtimeverification/haskell-backend/a6230144a37ee9ebf0f6dffc849faf5ce10df380";
+    haskell-backend.url = "github:runtimeverification/haskell-backend/2e33122cd354045da4e5f40dea9344e02c673a64";
     k-framework.inputs.booster-backend.follows = "";
     haskell-nix.follows = "haskell-backend/haskell-nix";
     nixpkgs.follows = "haskell-backend/haskell-nix/nixpkgs-unstable";

stack.yaml

@@ -11,7 +11,7 @@ extra-deps:
   - typerep-map-0.5.0.0
   - monad-validate-1.2.0.1
   - git: https://github.com/runtimeverification/haskell-backend.git
-    commit: a6230144a37ee9ebf0f6dffc849faf5ce10df380
+    commit: 2e33122cd354045da4e5f40dea9344e02c673a64
     subdirs:
       - kore
       - kore-rpc-types