From b7d0407707854d04f8da6c79a6ed3e3e041b79c3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Facundo=20Dom=C3=ADnguez?= Date: Mon, 5 Feb 2024 08:54:21 -0300 Subject: [PATCH] Bump version of liquidhaskell and update the change log --- CHANGES.md | 5 +++++ docs/mkDocs/docs/install.md | 3 +-- liquidhaskell-boot/liquidhaskell-boot.cabal | 4 ++-- liquidhaskell.cabal | 4 ++-- 4 files changed, 10 insertions(+), 6 deletions(-) diff --git a/CHANGES.md b/CHANGES.md index 4b7aa19487..cde9823bf9 100644 --- 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 index 47db0f5176..a22203f0dc 100644 --- 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 index 40b7bc7890..3b0e7d95ed 100644 --- 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 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 index 484baa56f8..391a84e686 100644 --- 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,