liquidhaskell 0.9.10.1.2 → 0.9.12.2
raw patch · 3 files changed
+11/−6 lines, 3 filesdep ~bytestringdep ~containersdep ~liquidhaskell-bootPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: bytestring, containers, liquidhaskell-boot
API changes (from Hackage documentation)
Files
- CHANGES.md +5/−0
- README.md +1/−1
- liquidhaskell.cabal +5/−5
CHANGES.md view
@@ -2,6 +2,11 @@ ## Next +## 0.9.12.2 (2025-03-22)++- Simplify kvar solutions in fqout files [liquid-fixpoint#741](https://github.com/ucsd-progsys/liquid-fixpoint/pull/741).+- Upgrade ghc to 9.12.2 [#2474](https://github.com/ucsd-progsys/liquidhaskell/pull/2474).+ ## 0.9.10.1.2 (2025-03-06) - Implement opaque reflection, a feature to allow reflecting functions which
README.md view
@@ -1,7 +1,7 @@  -[](https://hackage.haskell.org/package/liquidhaskell) [](http://packdeps.haskellers.com/feed?needle=liquidhaskell) [](https://circleci.com/gh/ucsd-progsys/liquidhaskell)+[](https://hackage.haskell.org/package/liquidhaskell) []([https://circleci.com/gh/ucsd-progsys/liquidhaskell](https://app.circleci.com/pipelines/github/ucsd-progsys/liquidhaskell?branch=develop)) This is the **development** site of the LiquidHaskell formal verification tool.
liquidhaskell.cabal view
@@ -1,6 +1,6 @@ cabal-version: 2.4 name: liquidhaskell-version: 0.9.10.1.2+version: 0.9.12.2 synopsis: Liquid Types for Haskell description: Liquid Types for Haskell. license: BSD-3-Clause@@ -11,7 +11,7 @@ category: Language homepage: https://github.com/ucsd-progsys/liquidhaskell build-type: Custom-tested-with: GHC == 9.10.1+tested-with: GHC == 9.12.2 extra-doc-files: CHANGES.md README.md @@ -78,9 +78,9 @@ hs-source-dirs: src build-depends: base >= 4.11.1.0 && < 5,- liquidhaskell-boot == 0.9.10.1.2,- bytestring == 0.12.1.0,- containers == 0.7,+ liquidhaskell-boot == 0.9.12.2,+ bytestring,+ containers, ghc-prim default-language: Haskell98 ghc-options: -Wall