Update cabal configuration to build with ghc-9.4.7

facundominguez · Nov 18, 2023 · 7dd3e6c · 7dd3e6c
1 parent 2b338eb
commit 7dd3e6c
Show file tree

Hide file tree

Showing 5 changed files with 8 additions and 8 deletions.
diff --git a/benchmark-timings/benchmark-timings.cabal b/benchmark-timings/benchmark-timings.cabal
@@ -34,7 +34,7 @@ executable benchmark-timings
     -- LANGUAGE extensions used by modules in this package.
     -- other-extensions:
     build-depends:    base
-                    , aeson >= 1.5.6 && < 2.1
+                    , aeson >= 1.5.6 && < 3
                     , cassava ^>=0.5.2
                     , bytestring >=0.10.12 && <0.12
                     , optparse-applicative >=0.16.1 && <0.18

diff --git a/cabal.project b/cabal.project
@@ -1,4 +1,4 @@
-with-compiler: ghc-9.2.8
+with-compiler: ghc-9.4.7
 
 packages: .
           ./liquid-fixpoint
@@ -24,7 +24,7 @@ source-repository-package
     tag: ba85444d3c81774a43b8c2b046084e92869914f4
     subdir: chart
 
-allow-newer: ghc-timings:base, rest-rewrite:time
+allow-newer: ghc-timings:base, rest-rewrite:time, Chart:lens
 
 package liquid-fixpoint
   flags: +devel

diff --git a/liquidhaskell-boot/liquidhaskell-boot.cabal b/liquidhaskell-boot/liquidhaskell-boot.cabal
@@ -126,7 +126,7 @@ library
                     , aeson
                     , binary
                     , bytestring           >= 0.10
-                    , Cabal                < 3.7
+                    , Cabal                < 3.9
                     , cereal
                     , cmdargs              >= 0.10
                     , containers           >= 0.5
@@ -136,7 +136,7 @@ library
                     , filepath             >= 1.3
                     , fingertree           >= 0.1
                     , exceptions           < 0.11
-                    , ghc                  ^>= 9.2
+                    , ghc                  ^>= 9.4
                     , ghc-boot
                     , ghc-paths            >= 0.1
                     , ghc-prim

diff --git a/liquidhaskell.cabal b/liquidhaskell.cabal
@@ -79,8 +79,8 @@ library
 
   build-depends:      base                 >= 4.11.1.0 && < 5,
                       liquidhaskell-boot   == 0.9.2.8.0,
-                      bytestring           == 0.11.4.0,
-                      containers           == 0.6.5.1,
+                      bytestring           == 0.11.5.2,
+                      containers           == 0.6.7,
                       ghc-bignum,
                       ghc-prim
   default-language:   Haskell98

diff --git a/scripts/profiling-driver/profiling-driver.cabal b/scripts/profiling-driver/profiling-driver.cabal
@@ -29,7 +29,7 @@ flag devel
 executable profiling-driver
   main-is:          ProfilingDriver.hs
   build-depends:    base            >= 4.8.1.0 && < 5
-                  , ghc             ^>= 9.2
+                  , ghc             ^>= 9.4
                   , ghc-paths
   default-language: Haskell2010
   ghc-options:      -W