Bump version of liquidhaskell and update the change log

ucsd-progsys · Feb 5, 2024 · b7d0407 · b7d0407
1 parent b5d1e99
commit b7d0407
Show file tree

Hide file tree

Showing 4 changed files with 10 additions and 6 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -2,6 +2,11 @@
 
 ## Next
 
+## 0.9.8.1 (2024-02-05)
+
+- Set support for GHC 9.8.1 [#2248](https://github.com/ucsd-progsys/liquidhaskell/pull/2248)
+- Embedded files `include/CoreToLogic.lg` and `syntax/liquid.css` in the source code [#2265](https://github.com/ucsd-progsys/liquidhaskell/issues/2265)
+
 ## 0.9.6.3 (2024-01-29)
 
 - Set support for GHC 9.6.3

diff --git a/docs/mkDocs/docs/install.md b/docs/mkDocs/docs/install.md
@@ -21,11 +21,10 @@ LiquidHaskell itself is installed&enabled by adding it as a dependency in your p
 
 Depending on your version of GHC, you might want to use a build of LiquidHaskell from github or from Hackage.
 
-* `ghc-9.8.1`: use LiquidHaskell from github
+* `ghc-9.8.1`: use liquidhaskell-0.9.8.1 from Hackage or use LiquidHaskell from github
 * `ghc-9.6.3`: use liquidhaskell-0.9.6.3 from Hackage
 * `ghc-9.4.7`: use liquidhaskell-0.9.4.7.0 from Hackage
 * `ghc-9.2.8`: use liquidhaskell-0.9.2.8.0 from Hackage
-* `ghc-9.2.5`: use liquidhaskell-0.9.2.5.0 from Hackage
 
 Newer versions of GHC aren't supported yet.
 

diff --git a/liquidhaskell-boot/liquidhaskell-boot.cabal b/liquidhaskell-boot/liquidhaskell-boot.cabal
@@ -1,6 +1,6 @@
 cabal-version:      2.4
 name:               liquidhaskell-boot
-version:            0.9.6.3
+version:            0.9.8.1
 synopsis:           Liquid Types for Haskell
 description:        This package provides a plugin to verify Haskell programs.
                     But most likely you should be using the [liquidhaskell package](https://hackage.haskell.org/package/liquidhaskell)
@@ -13,7 +13,7 @@ maintainer:         Ranjit Jhala <jhala@cs.ucsd.edu>
 category:           Language
 homepage:           https://github.com/ucsd-progsys/liquidhaskell
 build-type:         Simple
-tested-with:        GHC == 9.6.3
+tested-with:        GHC == 9.8.1
 
 source-repository head
   type:     git

diff --git a/liquidhaskell.cabal b/liquidhaskell.cabal
@@ -1,6 +1,6 @@
 cabal-version:      2.4
 name:               liquidhaskell
-version:            0.9.6.3
+version:            0.9.8.1
 synopsis:           Liquid Types for Haskell
 description:        Liquid Types for Haskell.
 license:            BSD-3-Clause
@@ -78,7 +78,7 @@ library
   hs-source-dirs:     src
 
   build-depends:      base                 >= 4.11.1.0 && < 5,
-                      liquidhaskell-boot   == 0.9.6.3,
+                      liquidhaskell-boot   == 0.9.8.1,
                       bytestring           == 0.12.0.2,
                       containers           == 0.6.8,
                       ghc-bignum,