Build liquid-fixpoint with ghc-9.4.7 in CI

ucsd-progsys · Nov 19, 2023 · 55618f6 · 55618f6
1 parent 1ccf4b3
commit 55618f6
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 5 deletions.
diff --git a/.github/workflows/cabal.yml b/.github/workflows/cabal.yml
@@ -16,7 +16,7 @@ jobs:
       matrix:
         cabal: ["3.6"]
         ghc:
-          - "8.10.7"
+          - "9.4.7"
           - "9.2.3"
         z3:
           - "4.10.2"

diff --git a/.github/workflows/stack.yml b/.github/workflows/stack.yml
@@ -12,7 +12,7 @@ jobs:
       matrix:
         cabal: ["3.6"]
         ghc:
-          - "8.10.7"
+          - "9.4.7"
 
     steps:
       - uses: actions/checkout@v3

diff --git a/liquid-fixpoint.cabal b/liquid-fixpoint.cabal
@@ -156,7 +156,7 @@ library
                   , smtlib-backends-process >= 0.3
                   , stm
                   , store
-                  , vector < 0.13
+                  , vector < 0.14
                   , syb
                   , text
                   , transformers

diff --git a/stack.yaml b/stack.yaml
@@ -1,5 +1,5 @@
 
-resolver: lts-20.1
+resolver: lts-21.20
 allow-newer: true
 
 flags:
@@ -10,7 +10,6 @@ packages:
 - '.'
 
 extra-deps:
-- hashable-1.4.2.0
 - rest-rewrite-0.4.1
 - smtlib-backends-0.3
 - smtlib-backends-z3-0.3
-Original file line number
+Diff line change
@@ Expand Up / @@ -16,7 +16,7 @@ jobs: @@
           matrix:
             cabal: ["3.6"]
             ghc:
-              - "8.10.7"
+              - "9.4.7"
               - "9.2.3"
             z3:
               - "4.10.2"
@@ Expand Down @@