liquidhaskell 0.9.14.1 → 0.9.14.1.1
raw patch · 2 files changed
+17/−2 lines, 2 files
Files
- CHANGES.md +15/−0
- liquidhaskell.cabal +2/−2
CHANGES.md view
@@ -2,6 +2,21 @@ ## Next +## 0.9.14.1.1 (2026-06-04)++- Stop shadowing reflected signatures with assumed signatures+ [#2675](https://github.com/ucsd-progsys/liquidhaskell/pull/2675)+- Allow parenthesis in arguments to type aliases. Require type aliases to start with upper-case+ [#2674](https://github.com/ucsd-progsys/liquidhaskell/pull/2674)+- Add `--save-bfq-on-error` flag for liquidhaskell and include it in CI+ [#2648](https://github.com/ucsd-progsys/liquidhaskell/pull/2648)+- Migrate from cmdargs to base:System.Console.GetOpt+ [#2672](https://github.com/ucsd-progsys/liquidhaskell/pull/2672)+ [#2677](https://github.com/ucsd-progsys/liquidhaskell/pull/2677)+ [#2678](https://github.com/ucsd-progsys/liquidhaskell/pull/2678)+- Avoid name resolution errors in define annotations+ [#2604](https://github.com/ucsd-progsys/liquidhaskell/pull/2667)+ ## 0.9.14.1 (2026-05-06) - Upgrade to GHC 9.14.1 [#2604](https://github.com/ucsd-progsys/liquidhaskell/pull/2604)
liquidhaskell.cabal view
@@ -1,6 +1,6 @@ cabal-version: 2.4 name: liquidhaskell-version: 0.9.14.1+version: 0.9.14.1.1 synopsis: Liquid Types for Haskell description: Liquid Types for Haskell. license: BSD-3-Clause@@ -79,7 +79,7 @@ hs-source-dirs: src build-depends: base >= 4.11.1.0 && < 5,- liquidhaskell-boot == 0.9.14.1,+ liquidhaskell-boot == 0.9.14.1.1, bytestring, containers, ghc-prim